From f93c5ccf372598dc5efd26ab1478cff8ce32fd37 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Tue, 7 Nov 2023 17:11:09 -0500 Subject: [PATCH 1/8] Insert disjoint classes Endurant and Perdurant into hierarchy This patch also adds the relating properties `core:hasParticipant` and `core:isPerdurantProperPartOf`, as suggested in Issue 544. No effects were observed on Make-managed files. References: * https://github.com/ucoProject/UCO/issues/544 Signed-off-by: Alex Nelson --- ontology/uco/action/action.ttl | 2 +- ontology/uco/core/core.ttl | 49 ++++++++++++++++++++++++-- ontology/uco/location/location.ttl | 2 +- ontology/uco/observable/observable.ttl | 5 ++- ontology/uco/pattern/pattern.ttl | 5 ++- 5 files changed, 57 insertions(+), 6 deletions(-) diff --git a/ontology/uco/action/action.ttl b/ontology/uco/action/action.ttl index d5a5bf26..e2783889 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 ; sh:property diff --git a/ontology/uco/core/core.ttl b/ontology/uco/core/core.ttl index aaa52614..2ddbaf3b 100644 --- a/ontology/uco/core/core.ttl +++ b/ontology/uco/core/core.ttl @@ -171,6 +171,26 @@ core:EnclosingCompilation sh:targetClass core:EnclosingCompilation ; . +core:Endurant + a + owl:Class , + sh:NodeShape + ; + rdfs:subClassOf core:UcoObject ; + rdfs:label "Endurant"@en ; + 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:ExternalReference a owl:Class , @@ -234,7 +254,7 @@ core:IdentityAbstraction owl:Class , sh:NodeShape ; - rdfs:subClassOf core:UcoObject ; + rdfs:subClassOf core:Endurant ; 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 ; @@ -245,7 +265,7 @@ core:Item owl:Class , sh:NodeShape ; - rdfs:subClassOf core:UcoObject ; + rdfs:subClassOf core:Endurant ; rdfs:label "Item"@en ; rdfs:comment "An item is a distinct article or unit."@en ; sh:targetClass core:Item ; @@ -273,6 +293,17 @@ core:ModusOperandi sh:targetClass core:ModusOperandi ; . +core:Perdurant + a + owl:Class , + sh:NodeShape + ; + rdfs:subClassOf core:UcoObject ; + rdfs:label "Perdurant"@en ; + owl:disjointWith core:Endurant ; + sh:targetClass core:Perdurant ; + . + core:Relationship a owl:Class , @@ -565,6 +596,13 @@ core:hasFacet-shape sh:targetObjectsOf core:hasFacet ; . +core:hasParticipant + a owl:ObjectProperty ; + rdfs:label "hasParticipant"@en ; + rdfs:domain core:Perdurant ; + rdfs:range core:Endurant ; + . + core:isDirectional a owl:DatatypeProperty ; rdfs:label "isDirectional"@en ; @@ -572,6 +610,13 @@ core:isDirectional rdfs:range xsd:boolean ; . +core:isPerdurantProperPartOf + a owl:ObjectProperty ; + rdfs:label "isPerdurantProperPartOf"@en ; + 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 c713430c..1ebaf702 100644 --- a/ontology/uco/location/location.ttl +++ b/ontology/uco/location/location.ttl @@ -90,7 +90,7 @@ location:Location owl:Class , sh:NodeShape ; - rdfs:subClassOf core:UcoObject ; + rdfs:subClassOf core:Endurant ; 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 050119f7..fe4273ff 100644 --- a/ontology/uco/observable/observable.ttl +++ b/ontology/uco/observable/observable.ttl @@ -5038,7 +5038,10 @@ observable:ObservablePattern owl:Class , sh:NodeShape ; - rdfs:subClassOf observable:Observable ; + rdfs:subClassOf + core:Endurant , + observable:Observable + ; rdfs:label "ObservablePattern"@en ; rdfs:comment "An observable pattern is a grouping of characteristics unique to a logical pattern composed of observable object and observable action properties."@en ; sh:targetClass observable:ObservablePattern ; diff --git a/ontology/uco/pattern/pattern.ttl b/ontology/uco/pattern/pattern.ttl index de7163c8..04f2a899 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 [ From 2a751e6b4d042630e8ee3dc963531939b6ee236c Mon Sep 17 00:00:00 2001 From: Paul Brandt Date: Fri, 10 Nov 2023 16:28:22 +0100 Subject: [PATCH 2/8] Add definitions, sources and descriptions to core:Endurant & core:Perdurant --- ontology/uco/core/core.ttl | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/ontology/uco/core/core.ttl b/ontology/uco/core/core.ttl index 2ddbaf3b..1201d9cd 100644 --- a/ontology/uco/core/core.ttl +++ b/ontology/uco/core/core.ttl @@ -5,6 +5,7 @@ @prefix sh: . @prefix types: . @prefix xsd: . +@prefix dct: . a owl:Ontology ; @@ -178,6 +179,9 @@ core:Endurant ; rdfs:subClassOf core:UcoObject ; rdfs:label "Endurant"@en ; + rdfs:comment "An 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 ; . @@ -300,6 +304,10 @@ core:Perdurant ; 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 ; + 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 ; . From 0025ffa185c1029c3510d4dbddc0d7a0aa13860e Mon Sep 17 00:00:00 2001 From: Paul Brandt Date: Fri, 10 Nov 2023 16:53:39 +0100 Subject: [PATCH 3/8] Add definition, source and description to core:isPerdurantProperPartOf --- ontology/uco/core/core.ttl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ontology/uco/core/core.ttl b/ontology/uco/core/core.ttl index 1201d9cd..dfc5e109 100644 --- a/ontology/uco/core/core.ttl +++ b/ontology/uco/core/core.ttl @@ -607,6 +607,9 @@ core:hasFacet-shape 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 ; . @@ -621,6 +624,9 @@ core:isDirectional 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 ; . From c84c8b750251adbd7b458d5ec7d09b06ba575191 Mon Sep 17 00:00:00 2001 From: Paul Brandt Date: Mon, 13 Nov 2023 09:29:27 +0100 Subject: [PATCH 4/8] Correct syntax --- ontology/uco/core/core.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ontology/uco/core/core.ttl b/ontology/uco/core/core.ttl index dfc5e109..c7679cce 100644 --- a/ontology/uco/core/core.ttl +++ b/ontology/uco/core/core.ttl @@ -307,7 +307,7 @@ core:Perdurant 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 ; - 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 + 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 ; . From b5aaed14787bf210f4284b6334954fce07048727 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Mon, 13 Nov 2023 06:27:54 -0500 Subject: [PATCH 5/8] Normalize Signed-off-by: Alex Nelson --- ontology/uco/core/core.ttl | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/ontology/uco/core/core.ttl b/ontology/uco/core/core.ttl index c7679cce..c8daed2c 100644 --- a/ontology/uco/core/core.ttl +++ b/ontology/uco/core/core.ttl @@ -1,11 +1,11 @@ @prefix core: . +@prefix dct: . @prefix owl: . @prefix rdf: . @prefix rdfs: . @prefix sh: . @prefix types: . @prefix xsd: . -@prefix dct: . a owl:Ontology ; @@ -180,7 +180,7 @@ core:Endurant rdfs:subClassOf core:UcoObject ; rdfs:label "Endurant"@en ; rdfs:comment "An 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: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 ; @@ -305,9 +305,11 @@ core:Perdurant 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 ; - 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 ; + 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 ; . From 1f50a2942b00f95ddded5e8671bb66e2ab98e9d5 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Fri, 8 Dec 2023 14:04:23 -0500 Subject: [PATCH 6/8] Designate Event a subclass of Perdurant No effects were observed on Make-managed files. References: * https://github.com/ucoProject/UCO/issues/541 * https://github.com/ucoProject/UCO/issues/544 Signed-off-by: Alex Nelson --- ontology/uco/core/core.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ontology/uco/core/core.ttl b/ontology/uco/core/core.ttl index 90fbd800..54a3b1a8 100644 --- a/ontology/uco/core/core.ttl +++ b/ontology/uco/core/core.ttl @@ -206,7 +206,7 @@ core:Event 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 ; From 16a6b3de35679cc482d1e17145dbe30c7a584492 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Fri, 8 Dec 2023 14:13:49 -0500 Subject: [PATCH 7/8] Fix typo Signed-off-by: Alex Nelson --- ontology/uco/core/core.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ontology/uco/core/core.ttl b/ontology/uco/core/core.ttl index 54a3b1a8..c10dc750 100644 --- a/ontology/uco/core/core.ttl +++ b/ontology/uco/core/core.ttl @@ -185,7 +185,7 @@ core:Endurant ; rdfs:subClassOf core:UcoObject ; rdfs:label "Endurant"@en ; - rdfs:comment "An UcoObject that endures in time and may change qualitatively while keeping its identity. Also termed 'continuant' in the philosophical literature."@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 ; From 8fa859f51bb0e96d06bbfdc275f6fb06832b357a Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Fri, 2 Feb 2024 17:25:06 -0500 Subject: [PATCH 8/8] Shift Endurant to be subclass of UcoThing This covers the potential for Qualities (under proposal in Issue 535), which in multiple foundational ontologies are acknowledged as endurants, but in UCO would be inherent characterization things. No effects were observed on Make-managed files. References: * https://github.com/ucoProject/UCO/issues/535 * https://github.com/ucoProject/UCO/issues/544 Signed-off-by: Alex Nelson --- ontology/uco/core/core.ttl | 12 +++++++++--- ontology/uco/location/location.ttl | 5 ++++- 2 files changed, 13 insertions(+), 4 deletions(-) diff --git a/ontology/uco/core/core.ttl b/ontology/uco/core/core.ttl index 228194aa..9b4dda7a 100644 --- a/ontology/uco/core/core.ttl +++ b/ontology/uco/core/core.ttl @@ -183,7 +183,7 @@ core:Endurant owl:Class , sh:NodeShape ; - rdfs:subClassOf core:UcoObject ; + 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 ; @@ -303,7 +303,10 @@ core:IdentityAbstraction owl:Class , sh:NodeShape ; - rdfs:subClassOf core:Endurant ; + 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 ; @@ -314,7 +317,10 @@ core:Item owl:Class , sh:NodeShape ; - rdfs:subClassOf core:Endurant ; + 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 ; diff --git a/ontology/uco/location/location.ttl b/ontology/uco/location/location.ttl index 4b4e2601..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:Endurant ; + 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 ;