Skip to content

Commit

Permalink
Insert disjoint classes Endurant and Perdurant into hierarchy
Browse files Browse the repository at this point in the history
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:
* #544

Signed-off-by: Alex Nelson <[email protected]>
  • Loading branch information
ajnelson-nist committed Nov 7, 2023
1 parent c0dee5a commit eb01f64
Show file tree
Hide file tree
Showing 5 changed files with 55 additions and 6 deletions.
2 changes: 1 addition & 1 deletion ontology/uco/action/action.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
47 changes: 45 additions & 2 deletions ontology/uco/core/core.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -171,6 +171,25 @@ core:EnclosingCompilation
sh:targetClass core:EnclosingCompilation ;
.

core:Endurant
a
owl:Class ,
sh:NodeShape
;
rdfs:subClassOf core:UcoObject ;
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 ,
Expand Down Expand Up @@ -234,7 +253,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 ;
Expand All @@ -245,7 +264,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 ;
Expand Down Expand Up @@ -273,6 +292,16 @@ core:ModusOperandi
sh:targetClass core:ModusOperandi ;
.

core:Perdurant
a
owl:Class ,
sh:NodeShape
;
rdfs:subClassOf core:UcoObject ;
owl:disjointWith core:Endurant ;
sh:targetClass core:Perdurant ;
.

core:Relationship
a
owl:Class ,
Expand Down Expand Up @@ -565,13 +594,27 @@ 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 ;
rdfs:comment "A specification whether or not a relationship assertion is limited to the context FROM a source object(s) TO a target object."@en ;
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 ;
Expand Down
2 changes: 1 addition & 1 deletion ontology/uco/location/location.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -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 ;
Expand Down
5 changes: 4 additions & 1 deletion ontology/uco/observable/observable.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -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 ;
Expand Down
5 changes: 4 additions & 1 deletion ontology/uco/pattern/pattern.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -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 [
Expand Down

0 comments on commit eb01f64

Please sign in to comment.