Talk:OntoCleanPaper example
From semanticweb.org
Contents |
[edit] Representation and inheritance of metaproperties
There is a need to sort out a way to represent the metaproperties and the modifiers so that they can be inherited. There is a template (Template:OntoClean) but it is labelled as not working.
--John 15:17, 13 February 2008 (CET)
I have done something for the representation in terms of a metaproperty assignment which includes each metaproperty and each metaproperty modifier. See example of Entity. I realise that I have left off the -D which most things have in the OntoCleanPaper.
Perhaps what is needed is to make the metaproperty assignment a compound object with each metaproperty and corresponding metaproperty modifier abbreviation handled as separate string pairs, which would prepare for inheritance and decoding to the full string.
--John 01:05, 15 February 2008 (CET)
[edit] Group
I have renamed the OntoCleanPaper term group as collection as group is used on Ontoworld with the mathematical meaning.
--John 14:05, 16 February 2008 (CET)
[edit] Location
A page for this already existed and I have added to it. It seems to me that some of the content already there contains confusion between location and country, which is exactly the sort of semantic problem which the ideas of OntoClean are designed to solve. Interesting.
--John 15:49, 16 February 2008 (CET)
[edit] Country
The OntoCleanPaper has this one name for a place recognized by convention as having a certain political status. I want to have more flexibilty than this to be able to include parts of countries, and countries contained in one another e.g. England and United Kingdom. So I need a term which includes Country and all similar things e.g. State Province County which imply a physical location with a political boundary (at least in theory even if the boundary is not completely defined).
I do not want to use something derived from Location as the OntoCleanPaper makes it clear that a location is unchanging (+R) (except on geological timescale) while a country may change both its name and its boundary from time to time (~R) but has dependence on the location (+D). This is an important point to make clear, although this is not the conclusion reached at the end in OntoCleanPaper where the final value for Country is (+R). I am going to differ on this point.
As this decends from Social entity I am going to use the term Political entity.
--- I can't see why the final value for Country is (+R) in the OntoCleanPaper. I am with you on this. Naomi
[edit] Geographical region
The geographical region as defined in the OntoCleanPaper is implictly land as it is associated with political entities such as countries. I would like to define a corresponding thing for areas of water, both marine (sea) and inland (lake). In both cases there may be associated political control e.g. ownership of a lake, control of sea near to a coast, which will need to be handled as a political entity.
To stay with region I will use Aquatic region.
--John 17:17, 16 February 2008 (CET)
I have made considerable progress on this. I have worked carefully on the distinction between a Political entity and a geographical region. Using the query system to generate tables I have begun to see how the inheritance system works with categories on Ontoworld, so that there is no need to give everything the highest level category, as long as the inheritance chain is there. There are still some problems e.g. with France which is inconveniently only partly in Europe and the Schengen zone. This needs more work as I have treated France (European part) as a country for some purposes.
--John 00:51, 17 February 2008 (CET)
[edit] Amount of matter
I made water a member of the category for Amount of matter as any amount of water is matter, regardless of the amount and it will remain the same amount of matter even of it is subject to chemical reaction and changes form.
--John 00:14, 22 February 2008 (CET)
[edit] Agent
When I have been building Agent I have also been thinking about the corresponding Event which does not appear in the OntoCleanPaper example. I think something does need to be included. I have also put in the example of the moon as the agent of the tides in the oceans of the earth. This leads to the notion of a collection of events.
--John 01:07, 22 February 2008 (CET)
I have now developed the idea of a natural cause which is part of a chain of cause and effect, so that specific events e.g. an earthquake can be considered both an event and also a natural cause of the consequences, e.g. a tsunami.
--John 15:23, 26 February 2008 (CET)
[edit] Comments
This work is starting to impinge on the data in the wiki and so far it has been consistent with the standards being set. I am removing rather than adding to deprecated ways of doing things. I think this justifies the claims made for OntoClean.
--John 00:51, 17 February 2008 (CET)
I have now implemented all of the top level objects defined in the OntoCleanPaper. I have not done much with metaproperty assignment and nothing yet in inheritance of metaproperties. I am attempting to collect all the discussion here as I go along.
--John 01:27, 22 February 2008 (CET)
The OntoClean methodology forces a lot of thought. Where does a City fit into it? On this wiki a city is a member of category Settlement which looks like a Geographical region or a location, but also is a group or collection of people, or political entity. This needs some thought.
--John 18:01, 26 February 2008 (CET)
One solution is to make the category for City a subcategory of both Geographical region and political entity. Actually doing this caused problems as the city tended to show up as having a larger political entity, so I have restricted it to being a political entity.
--John 13:49, 14 March 2008 (CET)
If you did what you state above you would be falling into the trap clearly laid out in the OntoCleanPaper.
--Naomiw 16:41, 8 April 2008 (BST)
What are you saying? It should be both or just one? In other cases e.g. England I have used more than one category, in that case it is the object which belongs to more than one, rather than the category. Is that the mistake?
Light dawns. Birmingham can be in category City as representing its political status and needs to be in another category to recoginise the geographical entity. Thus the categories are not entangled.
--John 17:23, 8 April 2008 (CEST)
See Birmingham now.
--John 17:34, 8 April 2008 (CEST)
