diff --git a/ontology/uco/action/action.ttl b/ontology/uco/action/action.ttl index c2da040a..e065d278 100644 --- a/ontology/uco/action/action.ttl +++ b/ontology/uco/action/action.ttl @@ -37,7 +37,7 @@ action:Action owl:Class , sh:NodeShape ; - rdfs:subClassOf core:UcoObject ; + rdfs:subClassOf core:Perdurant ; rdfs:label "Action"@en ; rdfs:comment "An action is something that may be done or performed."@en ; owl:disjointWith core:Event ; diff --git a/ontology/uco/core/core.ttl b/ontology/uco/core/core.ttl index e061bd54..9b4dda7a 100644 --- a/ontology/uco/core/core.ttl +++ b/ontology/uco/core/core.ttl @@ -1,5 +1,6 @@ @prefix action: . @prefix core: . +@prefix dct: . @prefix owl: . @prefix rdf: . @prefix rdfs: . @@ -177,12 +178,35 @@ core:EnclosingCompilation sh:targetClass core:EnclosingCompilation ; . +core:Endurant + a + owl:Class , + sh:NodeShape + ; + rdfs:subClassOf core:UcoThing ; + rdfs:label "Endurant"@en ; + rdfs:comment "A UcoObject that endures in time and may change qualitatively while keeping its identity. Also termed 'continuant' in the philosophical literature."@en ; + dct:description "Examples include: ordinary objects of everyday experience, such as a person, a house, and a car; reified relationships, such as a marriage, a rental contract, and a person's love for another; and existentially-dependent aspects of objects, such as a car's weight, a person's language skills, and a house's color."@en ; + dct:source ; + owl:disjointWith core:Perdurant ; + sh:targetClass core:Endurant ; + . + +core:Endurant-disjointWith-Perdurant + a sh:NodeShape ; + sh:not [ + a sh:NodeShape ; + sh:class core:Perdurant ; + ] ; + sh:targetClass core:Endurant ; + . + core:Event a owl:Class , sh:NodeShape ; - rdfs:subClassOf core:UcoObject ; + rdfs:subClassOf core:Perdurant ; rdfs:label "Event"@en ; rdfs:comment "An Event is a noteworthy occurrence (something that happens or might happen)."@en ; owl:disjointWith action:Action ; @@ -279,7 +303,10 @@ core:IdentityAbstraction owl:Class , sh:NodeShape ; - rdfs:subClassOf core:UcoObject ; + rdfs:subClassOf + core:Endurant , + core:UcoObject + ; rdfs:label "IdentityAbstraction"@en ; rdfs:comment "An identity abstraction is a grouping of identifying characteristics unique to an individual or organization. This class is an ontological structural abstraction for this concept. Implementations of this concept should utilize the identity:Identity class."@en ; sh:targetClass core:IdentityAbstraction ; @@ -290,7 +317,10 @@ core:Item owl:Class , sh:NodeShape ; - rdfs:subClassOf core:UcoObject ; + rdfs:subClassOf + core:Endurant , + core:UcoObject + ; rdfs:label "Item"@en ; rdfs:comment "An item is a distinct article or unit."@en ; sh:targetClass core:Item ; @@ -318,6 +348,23 @@ core:ModusOperandi sh:targetClass core:ModusOperandi ; . +core:Perdurant + a + owl:Class , + sh:NodeShape + ; + rdfs:subClassOf core:UcoObject ; + rdfs:label "Perdurant"@en ; + rdfs:comment "A UcoObject that 'occurs' or 'happens' in time, or 'unfold' over time. They may be instantaneous or long-running, and represent those 'things that happen to or are performed by' (Casati and Varzi, 2015) endurants or otherwise can count endurants as their participants. Also termed 'happening', 'occurrence', or 'occurrent' in the philosophical literature."@en ; + dct:description "Examples include actions and processes, such as a business meeting, a communicative act, a soccer match, a goal kick, the clicking of a mouse button; as well as natural occurrences such as an earthquake, the fall of the meteor that caused the extinction of the dinosaurs."@en ; + dct:source + "Casati, R. & Varzi, A. (2015). Events. In E.N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Winter 2015 ed.). 19 Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/win2015/entries/events/"@en , + + ; + owl:disjointWith core:Endurant ; + sh:targetClass core:Perdurant ; + . + core:Relationship a owl:Class , @@ -631,6 +678,16 @@ core:hasFacet-shape sh:targetObjectsOf core:hasFacet ; . +core:hasParticipant + a owl:ObjectProperty ; + rdfs:label "hasParticipant"@en ; + rdfs:comment "Identifies a core:Endurant that participates in the core:Perdurant"@en ; + dct:description "Examples include the participation of Freddy Mercury in Queen's Live Aid Concert and the participation of an airplane in a flight."@en ; + dct:source ; + rdfs:domain core:Perdurant ; + rdfs:range core:Endurant ; + . + core:isDirectional a owl:DatatypeProperty ; rdfs:label "isDirectional"@en ; @@ -638,6 +695,16 @@ core:isDirectional rdfs:range xsd:boolean ; . +core:isPerdurantProperPartOf + a owl:ObjectProperty ; + rdfs:label "isPerdurantProperPartOf"@en ; + rdfs:comment "Identifies a core:Perdurant of which the endurant is part."@en ; + dct:description "For example, Cristiano Ronaldo's penalty kick is an event proper part of the 2016 FIFA Club World Cup Final, having ocurred in the 60th minute of that match. That match is itself an event proper part of the 2016 FIFA Club World Cup. The match can be decomposed in different ways. For example, we can identify the participation of each player in the match or decomposed the match using some temporal segmentation (each minute of the match, each of which is a proper part of the match)."@en ; + dct:source ; + rdfs:domain core:Perdurant ; + rdfs:range core:Perdurant ; + . + core:kindOfRelationship a owl:DatatypeProperty ; rdfs:label "kindOfRelationship"@en ; diff --git a/ontology/uco/location/location.ttl b/ontology/uco/location/location.ttl index a7ce761b..a971368c 100644 --- a/ontology/uco/location/location.ttl +++ b/ontology/uco/location/location.ttl @@ -90,7 +90,10 @@ location:Location owl:Class , sh:NodeShape ; - rdfs:subClassOf core:UcoObject ; + rdfs:subClassOf + core:Endurant , + core:UcoObject + ; rdfs:label "Location"@en ; rdfs:comment "A location is a geospatial place, site, or position."@en ; sh:targetClass location:Location ; diff --git a/ontology/uco/observable/observable.ttl b/ontology/uco/observable/observable.ttl index fe9d3419..fe19ef3d 100644 --- a/ontology/uco/observable/observable.ttl +++ b/ontology/uco/observable/observable.ttl @@ -5040,6 +5040,7 @@ observable:ObservablePattern sh:NodeShape ; rdfs:subClassOf + core:Endurant , observable:Observable , pattern:Pattern ; diff --git a/ontology/uco/pattern/pattern.ttl b/ontology/uco/pattern/pattern.ttl index 02173140..3472e2d6 100644 --- a/ontology/uco/pattern/pattern.ttl +++ b/ontology/uco/pattern/pattern.ttl @@ -22,7 +22,10 @@ pattern:LogicalPattern owl:Class , sh:NodeShape ; - rdfs:subClassOf pattern:Pattern ; + rdfs:subClassOf + core:Endurant , + pattern:Pattern + ; rdfs:label "LogicalPattern"@en ; rdfs:comment "A logical pattern is a grouping of characteristics unique to an informational pattern expressed via a structured pattern expression following the rules of logic."@en ; sh:property [