From bc2eee1363012d48fb1902a87d95f9886dd0fe4a Mon Sep 17 00:00:00 2001 From: Mark Jensen Date: Sun, 5 Mar 2023 20:56:49 -0500 Subject: [PATCH] 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 ;