note: the medieval idea of the Great Chain of Being was an ontological one, but we cover it in Indexing Schemes because in content, if not in goal, it was similar to modern indexing schemes.
in this chapter we ignore many important distinctions between ontologies, instead only concentrating on the list of 'top level nodes' in (upper) ontologies
in this chapter, so far, we have been interested only in categorizations of entities/things/objects, rather than of relations. TODO: list most common/important/fundamental relations/categories of relations.
todo [1] (if any)
http://techwiki.umbel.org/index.php/UMBEL_Specification#Terminology_Challenges
"The UMBEL Vocabulary defines three classes: RefConcept?, SuperType?, and Qualifier; and 38 properties: correspondsTo, isAbout, isRelatedTo, relatesToXXX (31 variants), isLike, hasMapping, hasCharacteristic and isCharacteristicOf." -- http://techwiki.umbel.org/index.php/UMBEL_Vocabulary
"Reference Concepts are a distinct subset of the more broadly understood concept such as used in the SKOS RDFS controlled vocabulary or formal concept analysis or the very general or abstract concepts common to some upper ontologies. Reference Concepts are selected for their use as concrete, subject-related or commonly used notions for describing tangible ideas and referents in human experience and language. Reference Concepts are classes, the members of which are nameable instances or named entities, which by definition are held as distinct from these concepts. The UMBEL ontology is a coherently organized structure (or reference "backbone") of these Reference Concepts.
SuperTypes? are a collection of (mostly) similar Reference Concepts. Most of the SuperType? classes have been designed to be (mostly) disjoint from the other SuperType? classes. SuperTypes? thus provide a higher-level of clustering and organization of Reference Concepts for use in user interfaces and for reasoning purposes.
The Qualifier class is a set of descriptions that indicate the method used in order to establish an isAbout or correspondsTo relationship between an UMBEL reference concept (RC) and an external entity. This description should be complete enough to aid understanding of the nature and reliability of the "aboutness" assertion and to be usable for filtering or user interface information. The descriptions may be literal strings or may refer to literal numeric values resulting from an automated alignment technique. " -- http://techwiki.umbel.org/index.php/UMBEL_Vocabulary
umbel 32 'SuperType?'s in 9 clusters ('dimensions'):
http://techwiki.umbel.org/index.php/UMBEL_Specification#SuperType_Dimensions
Note the last two dimensions (and four SuperTypes?) are by definition non-disjoint.
http://virtual.cvut.cz/kifb/en/toc/118.html :
root node: entity
http://ifomis.uni-saarland.de/bfo/txt from http://ifomis.uni-saarland.de/bfo/
root node 'Entity'
https://en.wikipedia.org/wiki/General_formal_ontology
root node: entity
http://schema.org/docs/gs.html#schemaorg_types
commonly used types:
http://schema.org/docs/full.html
(only root node and level 2 shown)
root node Thing.
http://www.meteck.org/files/ESWC11KeetFoundOntoExp.pdf fig. 1
DOLCE-lite_mini:
root node: thing subroot node: particular
bigger (also has eg Fact):
http://www.ontology4.us/Ontologies/Upper-Ontologies/Dolce%20Ontology/index.html
^DolceOntology? <>Aggregate ^Abstract ^DolceOntology? <>Aggregate ^AbstractQuality? ^DolceOntology? <>Aggregate ^AbstractRegion? ^DolceOntology? <>Aggregate ^Accomplishment ^DolceOntology? <>Aggregate ^Achievement ^DolceOntology? <>Aggregate ^AgentivePhysicalObject? ^DolceOntology? <>Aggregate ^AmountOfMatter? ^DolceOntology? <>Aggregate ^ArbitrarySum? ^DolceOntology? <>Aggregate ^Endurant ^DolceOntology? <>Aggregate ^Entity ^DolceOntology? <>Aggregate ^Event ^DolceOntology? <>Aggregate ^Fact ^DolceOntology? <>Aggregate ^Feature ^DolceOntology? <>Aggregate ^MentalObject? ^DolceOntology? <>Aggregate ^NonAgentivePhysicalObject? ^DolceOntology? <>Aggregate ^NonPhysicalEndurant? ^DolceOntology? <>Aggregate ^NonPhysicalObject? ^DolceOntology? <>Aggregate ^Perdurant ^DolceOntology? <>Aggregate ^PhysicalEndurant? ^DolceOntology? <>Aggregate ^PhysicalObject? ^DolceOntology? <>Aggregate ^PhysicalQuality? ^DolceOntology? <>Aggregate ^PhysicalRegion? ^DolceOntology? <>Aggregate ^Process ^DolceOntology? <>Aggregate ^Quality ^DolceOntology? <>Aggregate ^Region ^DolceOntology? <>Aggregate ^Set ^DolceOntology? <>Aggregate ^SocialAgent? ^DolceOntology? <>Aggregate ^SocialObject? ^DolceOntology? <>Aggregate ^Society ^DolceOntology? <>Aggregate ^SpaceRegion? ^DolceOntology? <>Aggregate ^SpatialLocation? ^DolceOntology? <>Aggregate ^Stative ^DolceOntology? <>Aggregate ^TemporalLocation? ^DolceOntology? <>Aggregate ^TemporalQuality? ^DolceOntology? <>Aggregate ^TemporalRegion? ^DolceOntology? <>Aggregate ^TimeInterval? ^Process <>Aggregate ^ProcessStep?
Resource-Event-Agent
maybe too abstract for our purposes here? but pretty interesting
http://ceur-ws.org/Vol-125/paper2.pdf see also http://www.academia.edu/8160016/Some_Applications_of_a_Unified_Foundational_Ontology_in_Business_Modeling
UFO is organized into three layers, UFO-A at the bottom, then UFO-B and then UFO-C on top.
UFO-A:
defn of type: "an entity that has an extension (...a set of entities that are instances of it) and an intension, (...applicability criterion for determining if an entity is an instance of it); and which is captured by means of an axiomatic specification, that is, a set of axioms that may involve a number of other entity types representing its essential features. A type is a space-time independent pattern of features, which can be realized in a number of different individuals". My comment: i guess they want types to be crisp/discrete/unambiguous, but my feeling is that cognitive psychology and linguistics have shown that humans don't always use axiomatic specifications to define categories, which means that a number of common categories would not be 'types' under this definition; i would prefer to drop the 'captured by axiomatic spec' part and to allow types defined by mixtures of definitions and prototype (see https://en.wikipedia.org/wiki/Prototype_theory ); and perhaps to have a subtype of 'type' which is a 'clearly-defined-type' which has an axiomatic spec. Note that for a type which is not a clearly-defined-type there may be 'edge cases' where different speakers disagree (or don't care) whether or not certain entities fall within the extension of the type.
types of types:
kinds of individuals:
my opinion: the perdurant/endurant distinction seems somewhat subjective or at least context-dependent; at one time, one might view a person as an endurant, but then later in the same conversation one might view the same person as a process existing in time, a perdurant, similar to a storm. Similarly, one might take an endurant perspective on a storm. Perhaps this is only similar to the way that, in Aristotle's Categories, a particular person is a substance, which is distinct from a quality like a color, but one could grammatically and conceptually think of a color as the subject of a sentence, and ascribe predicates to it; in Aristotle, a color is not a substance just because it can be predicated upon subjects, but this does not imply that it cannot itself be a subject. Contrast to the distinction between an atomic event and a person; these things are objectively different, because a person exists (or at least, might exist) in more than one point in time.
relations:
non-primitive relations:
UFO-B:
perdurants:
relations:
UFO-C:
http://www.ontology4.us/english/Ontologies/Upper-Ontologies/Cyc%2520Ontology/index.html
<>BinaryRelation? <>is <>FixedArityRelation? <>FixedArityRelation? <>is <>Relation <>Relation <>is <> <>Relation <>is <>Relation <>Relation <>is ^MathematicalObject? <>Role <>is <>Relation <>Role <>is <>Relation ^AttributeValue? <>is ^IntangibleIndividual? ^BinaryPredicate? <>is ^Predicate ^BinaryRolePredicate? <>is ^BinaryPredicate? ^BinaryRolePredicate? <>is ^ObjectPredicate? ^BinaryRolePredicate? <>is ^Role ^Collection <>is ^Set ^Collection <>is ^SetOrCollection? ^CompositeTangibleAndIntangibleObject? <>is ^PartiallyIntangibleIndividual? ^CompositeTangibleAndIntangibleObject? <>is ^PartiallyTangible? ^Configuration <>is ^SpatialThingLocalized? ^Configuration <>is ^StaticSituation? ^Event <>is ^ActivityConcept? ^Event <>is ^Perdurant ^Event <>is ^SituationTemporal? ^Event <>is ^TimeConcept? ^FunctionalDenotational? <>is ^FunctionalRelation? ^Individual <>is ^RealityConcept? ^Individual <>is ^Thing ^Intangible <>is ^PartiallyIntangible? ^IntangibleExistingThing? <>is ^IntangibleIndividual? ^IntangibleExistingThing? <>is ^SomethingExisting? ^IntangibleIndividual? <>is ^Intangible ^IntangibleIndividual? <>is ^PartiallyIntangibleIndividual? ^LogicalConnective? <>is ^TruthFunction? ^MathematicalObject? <>is ^IntangibleIndividual? ^MathematicalObject? <>is ^MathematicalThing? ^MathematicalOrComputationalThing? <>is ^PartiallyIntangible? ^MathematicalThing? <>is ^MathematicalOrComputationalThing? ^ObjectPredicate? <>is ^Predicate ^PartiallyIntangible? <>is ^Thing ^PartiallyIntangibleIndividual? <>is ^PartiallyIntangible? ^PartiallyTangible? <>is ^SomethingExisting? ^PartiallyTangible? <>is ^SpatialThingLocalized? ^PhysicalEvent? <>is ^Event ^PhysicalEvent? <>is ^SpatialThingLocalized? ^Predicate <>is ^TruthFunction? ^Quantifier <>is ^ScopingRelation? ^Quantifier <>is ^TruthFunction? ^Role <>is ^Class ^Role <>is ^ModellingConcept? ^Role <>is ^Predicate ^Role <>is ^Property ^ScopingRelation? <>is ^Relation ^SetMathematical? <>is ^SetOrCollection? ^SetOrCollection? <>is ^MathematicalThing? ^Situation <>is ^IntangibleIndividual? ^SituationTemporal? <>is ^Situation ^SomethingExisting? <>is ^TemporalThing? ^SpatialThing? <>is ^Individual ^SpatialThingLocalized? <>is ^SpatialThing? ^StaticSituation? <>is ^SituationTemporal? ^TangibleThing? <>is ^PartiallyTangible? ^TemporalThing? <>is ^Individual ^TimeInterval? <>is ^TemporalThing? ^TimeInterval? <>is ^IntangibleIndividual? ^TimeInterval? <>is ^TemporalRegion? ^TruthFunction? <>is ^Relation ^UpperOntology? <>is ^Ontology
todo
http://ontologydesignpatterns.org/wiki/Ontology:DOLCE+DnS_Ultralite
http://www.thezfiles.co.za/pubs/KEOD13FullPaper.pdf
Table 4: Equivalence alignments for classes between DOLCE-Lite and GFO ontologies; the alignments num- bered in bold font can also be mapped. DOLCE-Lite GFO 1. particular Individual 2. endurant Presential 3. physical-endurant Discrete presential 4. physical-object Material object 5. amount-of-matter Amount of substrate 6. perdurant Occurrent 7. process Process 8. state State 9. abstract Abstract 10. set Set 11. quality Property 12. quale Property value 13. quality-space Value space 14. time-interval Chronoid 15. space-region Spatial Region 16. temporal-region Temporal Region
Table 5: Common alignments between DOLCE-Lite, BFO and GFO. DOLCE-Lite BFORO GFO Class 1. endurant Independent Continuant Presential 2. physical-object Object Material object 3. perdurant Occurrent Occurrent 4. process Process Process 5. quality Quality Property 6. space-region SpatialRegion? Spatial region 7. temporal- region Temporal- Region Temporal region
Table 8: False positives caused by syntactic matching gen- erated by the alignment tools; the terms in italics represent the strings that are common between aligned entities. DOLCE-Lite BFO physical- region ConnectedSpatio? Temporal Region non-physical- object Object region SpatioTemporal? Region BFO GFO Independent Continuant Independent Sit e Sit uoid Continu ant Continu ous GFO DOLCE-Lite has sequence constituent generic- constituent has- part part Space quality- spac
http://www.ontology4.us/english/Ontologies/Upper-Ontologies/Upper-Levels/index.html
http://www.ontology4.us/english/Ontologies/Upper-Ontologies/Comparison/index.html
Subject Name Object ^O4Ontology <>OC_Abstract ^Abstract >NSM <>OC_Activity ^ActionsAndEvents? ^SowaOntology? <>OC_Actuality ^Actuality ^SumoOntology? <>OC_Agent ^Agent ^Bfo <>OC_Aggregate <>Aggregate ^SumoOntology? <>OC_Attribute ^Attribute ^CycOntology? <>OC_AttributeValue? ^AttributeValue? ^SumoOntology? <>OC_Class ^Class ^Gfo <>OC_Configuration ^Configuration ^Gfo <>OC_Continuant ^PresentialOrPersistant? ^O4Ontology <>OC_DataType? ^DataType? >NSM <>OC_Death ^Death >NSM <>OC_Descriptor ^Descriptor >NSM <>OC_Determiner ^Determiner ^O4Ontology <>OC_Entity ^Entity ^Gfo <>OC_Event ^DiscreteProcess? >NSM <>OC_Existence ^Existence ^Bfo <>OC_Function °Function ^SowaOntology? <>OC_Independent ^Independent ^SowaOntology? <>OC_Instance ^Physical >NSM <>OC_IntensifierConcept? ^IntensifierConcept? ^O4Ontology <>OC_Intention ^Intention ^Bfo <>OC_Intervall ^Intervall >NSM <>OC_Life ^Life ^Gfo <>OC_Location ^Region >NSM <>OC_LogicalConcept? ^LogicalConcept? >NSM <>OC_MentalPredicate? ^MentalPredicate? ^SumoOntology? <>OC_Object ^Object ^DolceOntology? <>OC_Occurrent ^Perdurant ^Bfo <>OC_Part ^Part ^O4Ontology <>OC_Participation <>Participation ^O4Ontology <>OC_Passivity °Passivity ^SumoOntology? <>OC_Period ^TimeInterval? ^O4Ontology <>OC_Person ^Person ^SowaOntology? <>OC_Physical ^Physical >NSM <>OC_Possession ^Possession ^SumoOntology? <>OC_Process ^Process ^SowaOntology? <>OC_ProcessInstance? >°ProcessInstance ^Gfo <>OC_Proposition ^Instantiation >NSM <>OC_Quality ^Evaluator ^SumoOntology? <>OC_Quantity ^Quantity >NSM <>OC_Relation ^RelationalSubstantive? ^O4Ontology <>OC_Role <>Role ^O4Ontology <>OC_Script ^Script >NSM <>OC_SimilarityConcept? ^SimilarityConcept? ^CycOntology? <>OC_Situation ^Situation ^SumoOntology? <>OC_Space ^Region >NSM <>OC_Specification ^Specification >NSM <>OC_SpeechConcept? ^SpeechConcept? ^Gfo <>OC_State ^State ^O4Ontology <>OC_Subject ^Subject ^O4Ontology <>OC_Taxoverby ° >NSM <>OC_Time ^Time
Subject Name Object Value ^AristotleOntology? <>Aggregate ^Agere ^AristotleOntology? <>Aggregate ^Habitus ^AristotleOntology? <>Aggregate ^Pati ^AristotleOntology? <>Aggregate ^Qualitas ^AristotleOntology? <>Aggregate ^Quando ^AristotleOntology? <>Aggregate ^Quantitas ^AristotleOntology? <>Aggregate ^Quiditas ^AristotleOntology? <>Aggregate ^Relativum ^AristotleOntology? <>Aggregate ^Situ ^AristotleOntology? <>Aggregate ^Ubi ^DolceOntology? <>Aggregate ^Abstract ^DolceOntology? <>Aggregate ^AbstractQuality? ^DolceOntology? <>Aggregate ^AbstractRegion? ^DolceOntology? <>Aggregate ^Accomplishment ^DolceOntology? <>Aggregate ^Achievement ^DolceOntology? <>Aggregate ^AgentivePhysicalObject? ^DolceOntology? <>Aggregate ^AmountOfMatter? ^DolceOntology? <>Aggregate ^ArbitrarySum? ^DolceOntology? <>Aggregate ^Endurant ^DolceOntology? <>Aggregate ^Entity ^DolceOntology? <>Aggregate ^Event ^DolceOntology? <>Aggregate ^Fact ^DolceOntology? <>Aggregate ^Feature ^DolceOntology? <>Aggregate ^MentalObject? ^DolceOntology? <>Aggregate ^NonAgentivePhysicalObject? ^DolceOntology? <>Aggregate ^NonPhysicalEndurant? ^DolceOntology? <>Aggregate ^NonPhysicalObject? ^DolceOntology? <>Aggregate ^Perdurant ^DolceOntology? <>Aggregate ^PhysicalEndurant? ^DolceOntology? <>Aggregate ^PhysicalObject? ^DolceOntology? <>Aggregate ^PhysicalQuality? ^DolceOntology? <>Aggregate ^PhysicalRegion? ^DolceOntology? <>Aggregate ^Process ^DolceOntology? <>Aggregate ^Quality ^DolceOntology? <>Aggregate ^Region ^DolceOntology? <>Aggregate ^Set ^DolceOntology? <>Aggregate ^SocialAgent? ^DolceOntology? <>Aggregate ^SocialObject? ^DolceOntology? <>Aggregate ^Society ^DolceOntology? <>Aggregate ^SpaceRegion? ^DolceOntology? <>Aggregate ^SpatialLocation? ^DolceOntology? <>Aggregate ^Stative ^DolceOntology? <>Aggregate ^TemporalLocation? ^DolceOntology? <>Aggregate ^TemporalQuality? ^DolceOntology? <>Aggregate ^TemporalRegion? ^DolceOntology? <>Aggregate ^TimeInterval? ^GFO <>GfoSubCategory? ^AbstractIndividual? ^GFO <>GfoSubCategory? ^Category ^GFO <>GfoSubCategory? ^ConcreteIndividual? ^GFO <>GfoSubCategory? ^Entity ^GFO <>GfoSubCategory? ^Individual ^GFO <>GfoSubCategory? ^Item ^GFO <>GfoSubCategory? ^Layer ^GFO <>GfoSubCategory? ^Set ^GFO <>GfoSubCategory? ^Space-Time-Entity ^O4TopOntology? <>Aggregate <>Relation ^O4TopOntology? <>Aggregate >Instance ^O4TopOntology? <>Aggregate >°ProcessInstance ^O4TopOntology? <>Aggregate ^Class ^O4TopOntology? <>Aggregate ^Continuant ^O4TopOntology? <>Aggregate ^Occurrent ^O4TopOntology? <>Aggregate ^Property ^O4TopOntology? <>Aggregate ^Universal ^O4TopOntology? <>Aggregate _PropertyInstance? ^O4TopOntology? <>Aggregate °Activity ^O4TopOntology? <>Aggregate °Passivity ^O4TopOntology? <>Aggregate °Process ^schema.org <>SchemaOrgSubCategory? ^DataType? ^schema.org <>SchemaOrgSubCategory? ^Thing ^T <>SowaSubCategory? ^Abstract ^T <>SowaSubCategory? ^Continuant ^T <>SowaSubCategory? ^Independent ^T <>SowaSubCategory? ^Mediating ^T <>SowaSubCategory? ^Occurrent ^T <>SowaSubCategory? ^Physical ^T <>SowaSubCategory? ^Relative ^Abstract <>SowaSubCategory? ^Intention ^Abstract <>SowaSubCategory? ^Form ^Event <>SchemaOrgSubCategory? ^BusinessEvent? ^Event <>SchemaOrgSubCategory? ^ChildrensEvent? ^Event <>SchemaOrgSubCategory? ^ComedyEvent? ^Event <>SchemaOrgSubCategory? ^DanceEvent? ^Event <>SchemaOrgSubCategory? ^EducationEvent? ^Event <>SchemaOrgSubCategory? ^Festival ^Event <>SchemaOrgSubCategory? ^FoodEvent? ^Event <>SchemaOrgSubCategory? ^LiteraryEvent? ^Event <>SchemaOrgSubCategory? ^MusicEvent? ^Event <>SchemaOrgSubCategory? ^SaleEvent? ^Event <>SchemaOrgSubCategory? ^SocialEvent? ^Event <>SchemaOrgSubCategory? ^SportsEvent? ^Event <>SchemaOrgSubCategory? ^TheaterEvent? ^Event <>SchemaOrgSubCategory?