From 6894b6f6f9e8e57695d88d2da41e978e1f040d84 Mon Sep 17 00:00:00 2001 From: Mark Jensen Date: Wed, 1 Mar 2023 14:13:53 -0500 Subject: [PATCH 1/5] adding asserted parent to axiom --- AgentOntology.ttl | 70 +++++++++++++++++++++++++++++++++-------------- 1 file changed, 49 insertions(+), 21 deletions(-) diff --git a/AgentOntology.ttl b/AgentOntology.ttl index b589b2c..162dfb3 100644 --- a/AgentOntology.ttl +++ b/AgentOntology.ttl @@ -1147,9 +1147,13 @@ cco:AllegianceRole rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/AlliedPerson cco:AlliedPerson rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty obo:RO_0000087 ; - owl:someValuesFrom cco:AllyRole + owl:equivalentClass [ owl:intersectionOf ( cco:Person + [ rdf:type owl:Restriction ; + owl:onProperty obo:RO_0000087 ; + owl:someValuesFrom cco:AllyRole + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:Person ; cco:definition "A Person who is the bearer of some Ally Role."@en ; @@ -1221,9 +1225,13 @@ cco:CarrierAirWing rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/Citizen cco:Citizen rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty obo:RO_0000087 ; - owl:someValuesFrom cco:CitizenRole + owl:equivalentClass [ owl:intersectionOf ( cco:Person + [ rdf:type owl:Restriction ; + owl:onProperty obo:RO_0000087 ; + owl:someValuesFrom cco:CitizenRole + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:Person ; cco:definition "A Person who is the bearer of some Citizen Role."@en ; @@ -1333,9 +1341,13 @@ cco:EducationalOrganization rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/Enemy cco:Enemy rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty obo:RO_0000087 ; - owl:someValuesFrom cco:EnemyRole + owl:equivalentClass [ owl:intersectionOf ( cco:Person + [ rdf:type owl:Restriction ; + owl:onProperty obo:RO_0000087 ; + owl:someValuesFrom cco:EnemyRole + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:Person ; cco:definition "A Person who is the bearer of some Enemy Role."@en ; @@ -1657,9 +1669,13 @@ cco:Organization rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/OrganizationCapability cco:OrganizationCapability rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:capability_of ; - owl:someValuesFrom cco:Organization + owl:equivalentClass [ owl:intersectionOf ( cco:AgentCapability + [ rdf:type owl:Restriction ; + owl:onProperty cco:capability_of ; + owl:someValuesFrom cco:Organization + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:AgentCapability ; cco:definition "An Agent Capability that inheres in an Organization to the extent of that Organization's capacity to realize it in Intentional Acts of a certain type."@en ; @@ -1669,9 +1685,13 @@ cco:OrganizationCapability rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/OrganizationMember cco:OrganizationMember rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty obo:RO_0000087 ; - owl:someValuesFrom cco:OrganizationMemberRole + owl:equivalentClass [ owl:intersectionOf ( cco:Person + [ rdf:type owl:Restriction ; + owl:onProperty obo:RO_0000087 ; + owl:someValuesFrom cco:OrganizationMemberRole + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:Person , [ rdf:type owl:Restriction ; @@ -1806,9 +1826,13 @@ cco:SetOfEyes rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/Skill cco:Skill rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:capability_of ; - owl:someValuesFrom cco:Person + owl:equivalentClass [ owl:intersectionOf ( cco:AgentCapability + [ rdf:type owl:Restriction ; + owl:onProperty cco:capability_of ; + owl:someValuesFrom cco:Person + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:AgentCapability ; cco:definition "An Agent Capability that inheres in a Person to the extent of that Person's capacity to realize it in Intentional Acts of a certain type."@en ; @@ -1844,9 +1868,13 @@ cco:Tattoo rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/UnalliedPerson cco:UnalliedPerson rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty obo:RO_0000087 ; - owl:someValuesFrom cco:NeutralRole + owl:equivalentClass [ owl:intersectionOf ( cco:Person + [ rdf:type owl:Restriction ; + owl:onProperty obo:RO_0000087 ; + owl:someValuesFrom cco:NeutralRole + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:Person ; cco:definition "A Person who is the bearer of some Neutral Role."@en ; From 3e20b42ebb69bd8a5e1dae05a8bd08d78c4b597c Mon Sep 17 00:00:00 2001 From: Mark Jensen Date: Fri, 3 Mar 2023 14:11:02 -0500 Subject: [PATCH 2/5] Fix EQ axiom for Agent --- AgentOntology.ttl | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/AgentOntology.ttl b/AgentOntology.ttl index 162dfb3..c1eb613 100644 --- a/AgentOntology.ttl +++ b/AgentOntology.ttl @@ -1111,11 +1111,7 @@ cco:Affordance rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/Agent cco:Agent rdf:type owl:Class ; - owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Class ; - owl:unionOf ( cco:Animal - cco:Organization - ) - ] + owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000040 [ rdf:type owl:Restriction ; owl:onProperty cco:agent_in ; owl:someValuesFrom obo:BFO_0000015 @@ -1877,9 +1873,10 @@ cco:UnalliedPerson rdf:type owl:Class ; rdf:type owl:Class ] ; rdfs:subClassOf cco:Person ; + cco:alternative_label "Unallied Person" ; cco:definition "A Person who is the bearer of some Neutral Role."@en ; cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AgentOntology"^^xsd:anyURI ; - rdfs:label "Neutral"@en . + rdfs:label "Neutral Person"@en . -### Generated by the OWL API (version 4.5.6) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi From bc2eee1363012d48fb1902a87d95f9886dd0fe4a Mon Sep 17 00:00:00 2001 From: Mark Jensen Date: Sun, 5 Mar 2023 20:56:49 -0500 Subject: [PATCH 3/5] Updating equivalency axioms to include superclass --- ArtifactOntology.ttl | 40 ++++++++++++++++++++++++++++------------ 1 file changed, 28 insertions(+), 12 deletions(-) diff --git a/ArtifactOntology.ttl b/ArtifactOntology.ttl index b59cb5e..c33da40 100644 --- a/ArtifactOntology.ttl +++ b/ArtifactOntology.ttl @@ -210,9 +210,13 @@ cco:ArtifactFunction rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/ArtifactFunctionSpecification cco:ArtifactFunctionSpecification rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:prescribes ; - owl:someValuesFrom cco:ArtifactFunction + owl:equivalentClass [ owl:intersectionOf ( cco:DirectiveInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:prescribes ; + owl:someValuesFrom cco:ArtifactFunction + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:DirectiveInformationContentEntity ; cco:definition "A Directive Information Content Entity that prescribes some Artifact Function and which is part of some Artifact Model."@en ; @@ -230,9 +234,13 @@ cco:ArtifactHistory rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/ArtifactIdentifier cco:ArtifactIdentifier rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:designates ; - owl:someValuesFrom cco:Artifact + owl:equivalentClass [ owl:intersectionOf ( cco:DesignativeInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:designates ; + owl:someValuesFrom cco:Artifact + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:DesignativeInformationContentEntity ; cco:definition "A Designative Information Content Entity which designates some Artifact."@en ; @@ -266,9 +274,13 @@ cco:ArtifactModel rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/ArtifactModelName cco:ArtifactModelName rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:designates ; - owl:someValuesFrom cco:ArtifactModel + owl:equivalentClass [ owl:intersectionOf ( cco:DesignativeInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:designates ; + owl:someValuesFrom cco:ArtifactModel + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:DesignativeInformationContentEntity ; cco:definition "A Designative Information Content Entity that designates some Artifact Model."@en ; @@ -3571,9 +3583,13 @@ cco:QRCode rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/QualitySpecification cco:QualitySpecification rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:prescribes ; - owl:someValuesFrom obo:BFO_0000019 + owl:equivalentClass [ owl:intersectionOf ( cco:DirectiveInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:prescribes ; + owl:someValuesFrom obo:BFO_0000019 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:DirectiveInformationContentEntity ; cco:definition "A Directive Information Content Entity that prescribes some Quality."@en ; From e96488bfd8ee09f7d6bd653968701ada867ce1a0 Mon Sep 17 00:00:00 2001 From: Mark Jensen Date: Sun, 5 Mar 2023 21:05:24 -0500 Subject: [PATCH 4/5] Adding asserted parent to equivalency axiom --- EventOntology.ttl | 20 ++++++++++++++------ 1 file changed, 14 insertions(+), 6 deletions(-) diff --git a/EventOntology.ttl b/EventOntology.ttl index f095959..5739f2e 100644 --- a/EventOntology.ttl +++ b/EventOntology.ttl @@ -1259,9 +1259,13 @@ cco:BrillianceFrequency rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/Cause cco:Cause rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:is_cause_of ; - owl:someValuesFrom obo:BFO_0000003 + owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000015 + [ rdf:type owl:Restriction ; + owl:onProperty cco:is_cause_of ; + owl:someValuesFrom obo:BFO_0000003 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf obo:BFO_0000015 ; cco:definition "A Process that is the cause of or one of the causes of some other Process."@en ; @@ -1450,9 +1454,13 @@ cco:DeltaV rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/Effect cco:Effect rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:caused_by ; - owl:someValuesFrom obo:BFO_0000003 + owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000015 + [ rdf:type owl:Restriction ; + owl:onProperty cco:caused_by ; + owl:someValuesFrom obo:BFO_0000003 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf obo:BFO_0000015 ; cco:alternative_label "Consequence"@en ; From bddb2ac5f42c116dd1fd7cc2ddb1d35043100e49 Mon Sep 17 00:00:00 2001 From: Mark Jensen Date: Sun, 5 Mar 2023 21:26:01 -0500 Subject: [PATCH 5/5] Updating equivalency axioms to include superclass --- InformationEntityOntology.ttl | 160 ++++++++++++++++++++++++---------- 1 file changed, 112 insertions(+), 48 deletions(-) diff --git a/InformationEntityOntology.ttl b/InformationEntityOntology.ttl index 8c4397f..46fa43f 100644 --- a/InformationEntityOntology.ttl +++ b/InformationEntityOntology.ttl @@ -593,9 +593,13 @@ cco:DataRangeIntervalEstimateInformationContentEntity rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/DateIdentifier cco:DateIdentifier rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:designates ; - owl:someValuesFrom cco:Day + owl:equivalentClass [ owl:intersectionOf ( cco:TemporalIntervalIdentifier + [ rdf:type owl:Restriction ; + owl:onProperty cco:designates ; + owl:someValuesFrom cco:Day + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:TemporalIntervalIdentifier ; cco:alternative_label "Day Identifier"@en ; @@ -646,9 +650,13 @@ cco:DescriptiveInformationContentEntity rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/DesignativeInformationContentEntity cco:DesignativeInformationContentEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:designates ; - owl:someValuesFrom obo:BFO_0000001 + owl:equivalentClass [ owl:intersectionOf ( cco:InformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:designates ; + owl:someValuesFrom obo:BFO_0000001 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:InformationContentEntity ; owl:disjointWith cco:DirectiveInformationContentEntity ; @@ -698,9 +706,13 @@ cco:DiminutiveName rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/DirectiveInformationContentEntity cco:DirectiveInformationContentEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:prescribes ; - owl:someValuesFrom obo:BFO_0000001 + owl:equivalentClass [ owl:intersectionOf ( cco:InformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:prescribes ; + owl:someValuesFrom obo:BFO_0000001 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:InformationContentEntity ; cco:alternative_label "Directive ICE"@en ; @@ -779,9 +791,13 @@ cco:HourIdentifier rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/InformationBearingEntity cco:InformationBearingEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty obo:RO_0010002 ; - owl:someValuesFrom cco:InformationContentEntity + owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000030 + [ rdf:type owl:Restriction ; + owl:onProperty obo:RO_0010002 ; + owl:someValuesFrom cco:InformationContentEntity + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf obo:BFO_0000030 ; cco:alternative_label "IBE"@en ; @@ -793,9 +809,13 @@ cco:InformationBearingEntity rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/InformationContentEntity cco:InformationContentEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:is_about ; - owl:someValuesFrom obo:BFO_0000001 + owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000031 + [ rdf:type owl:Restriction ; + owl:onProperty cco:is_about ; + owl:someValuesFrom obo:BFO_0000001 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf obo:BFO_0000031 ; cco:alternative_label "ICE"@en ; @@ -841,9 +861,13 @@ cco:IntervalEstimateInformationContentEntity rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/IntervalMeasurementInformationContentEntity cco:IntervalMeasurementInformationContentEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:is_a_interval_measurement_of ; - owl:someValuesFrom obo:BFO_0000001 + owl:equivalentClass [ owl:intersectionOf ( cco:MeasurementInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:is_a_interval_measurement_of ; + owl:someValuesFrom obo:BFO_0000001 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:MeasurementInformationContentEntity ; owl:disjointWith cco:NominalMeasurementInformationContentEntity , @@ -953,9 +977,13 @@ cco:MeanPointEstimateInformationContentEntity rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/MeasurementInformationContentEntity cco:MeasurementInformationContentEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:is_a_measurement_of ; - owl:someValuesFrom obo:BFO_0000001 + owl:equivalentClass [ owl:intersectionOf ( cco:DescriptiveInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:is_a_measurement_of ; + owl:someValuesFrom obo:BFO_0000001 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:DescriptiveInformationContentEntity ; owl:disjointWith cco:RepresentationalInformationContentEntity ; @@ -1149,9 +1177,13 @@ cco:Nickname rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/NominalMeasurementInformationContentEntity cco:NominalMeasurementInformationContentEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:is_a_nominal_measurement_of ; - owl:someValuesFrom obo:BFO_0000001 + owl:equivalentClass [ owl:intersectionOf ( cco:MeasurementInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:is_a_nominal_measurement_of ; + owl:someValuesFrom obo:BFO_0000001 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:MeasurementInformationContentEntity ; owl:disjointWith cco:OrdinalMeasurementInformationContentEntity , @@ -1189,9 +1221,13 @@ cco:OrdinalDateIdentifier rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/OrdinalMeasurementInformationContentEntity cco:OrdinalMeasurementInformationContentEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:is_a_ordinal_measurement_of ; - owl:someValuesFrom obo:BFO_0000001 + owl:equivalentClass [ owl:intersectionOf ( cco:MeasurementInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:is_a_ordinal_measurement_of ; + owl:someValuesFrom obo:BFO_0000001 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:MeasurementInformationContentEntity ; owl:disjointWith cco:RatioMeasurementInformationContentEntity ; @@ -1299,9 +1335,13 @@ cco:ProportionalRatioMeasurementInformationContentEntity rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/RatioMeasurementInformationContentEntity cco:RatioMeasurementInformationContentEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:is_a_ratio_measurement_of ; - owl:someValuesFrom obo:BFO_0000001 + owl:equivalentClass [ owl:intersectionOf ( cco:MeasurementInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:is_a_ratio_measurement_of ; + owl:someValuesFrom obo:BFO_0000001 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:MeasurementInformationContentEntity ; cco:definition "A Measurement Information Content Entity that consists of a symbol that places a Quality of an Entity onto an interval scale having a true zero value."@en ; @@ -1337,9 +1377,13 @@ cco:ReliabilityMeasurementInformationContentEntity rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/RepresentationalInformationContentEntity cco:RepresentationalInformationContentEntity rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:represents ; - owl:someValuesFrom obo:BFO_0000001 + owl:equivalentClass [ owl:intersectionOf ( cco:DescriptiveInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:represents ; + owl:someValuesFrom obo:BFO_0000001 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:DescriptiveInformationContentEntity ; cco:definition "A Descriptive Information Content Entity that consists of a set of propositions or the content of an image that represents some Entity."@en ; @@ -1412,9 +1456,13 @@ cco:SpatialReferenceSystem rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/SpatialRegionIdentifier cco:SpatialRegionIdentifier rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:designates ; - owl:someValuesFrom obo:BFO_0000006 + owl:equivalentClass [ owl:intersectionOf ( cco:DesignativeInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:designates ; + owl:someValuesFrom obo:BFO_0000006 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:DesignativeInformationContentEntity ; cco:definition "A Designative Information Content Entity that designates some Spatial Region."@en ; @@ -1441,9 +1489,13 @@ cco:StandardTimeOfDayIdentifier rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/TemporalInstantIdentifier cco:TemporalInstantIdentifier rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:designates ; - owl:someValuesFrom obo:BFO_0000148 + owl:equivalentClass [ owl:intersectionOf ( cco:TemporalRegionIdentifier + [ rdf:type owl:Restriction ; + owl:onProperty cco:designates ; + owl:someValuesFrom obo:BFO_0000148 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:TemporalRegionIdentifier ; cco:alternative_label "Zero-Dimensional Temporal Region Identifier"@en ; @@ -1454,9 +1506,13 @@ cco:TemporalInstantIdentifier rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/TemporalIntervalIdentifier cco:TemporalIntervalIdentifier rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:designates ; - owl:someValuesFrom obo:BFO_0000038 + owl:equivalentClass [ owl:intersectionOf ( cco:TemporalRegionIdentifier + [ rdf:type owl:Restriction ; + owl:onProperty cco:designates ; + owl:someValuesFrom obo:BFO_0000038 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:TemporalRegionIdentifier ; cco:alternative_label "One-Dimensional Temporal Region Identifier"@en ; @@ -1477,9 +1533,13 @@ cco:TemporalReferenceSystem rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/TemporalRegionIdentifier cco:TemporalRegionIdentifier rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:designates ; - owl:someValuesFrom obo:BFO_0000008 + owl:equivalentClass [ owl:intersectionOf ( cco:DesignativeInformationContentEntity + [ rdf:type owl:Restriction ; + owl:onProperty cco:designates ; + owl:someValuesFrom obo:BFO_0000008 + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:DesignativeInformationContentEntity ; cco:definition "A Designative Information Content Entity that designates some Temporal Region."@en ; @@ -1489,9 +1549,13 @@ cco:TemporalRegionIdentifier rdf:type owl:Class ; ### http://www.ontologyrepository.com/CommonCoreOntologies/TimeOfDayIdentifier cco:TimeOfDayIdentifier rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty cco:designates ; - owl:someValuesFrom cco:TimeOfDay + owl:equivalentClass [ owl:intersectionOf ( cco:TemporalInstantIdentifier + [ rdf:type owl:Restriction ; + owl:onProperty cco:designates ; + owl:someValuesFrom cco:TimeOfDay + ] + ) ; + rdf:type owl:Class ] ; rdfs:subClassOf cco:TemporalInstantIdentifier ; cco:definition "A Temporal Instant Identifier that designates some Time of Day."@en ;