removed OWL2 RL non-compliant structures
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Tue, 21 Feb 2012 14:00:54 +0000
changeset 1631 e5f16b3e3be2
parent 1630 f2ce339343b3
child 1632 4101bb370912
removed OWL2 RL non-compliant structures
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Tue Feb 21 11:25:43 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Tue Feb 21 14:00:54 2012 +0000
@@ -495,12 +495,6 @@
     <!-- http://www.w3.org/ns/prov#ActivityInvolvement -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#ActivityInvolvement">
-        <owl:equivalentClass>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#activity"/>
-                <owl:someValuesFrom rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-            </owl:Restriction>
-        </owl:equivalentClass>
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
         <owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
         <rdfs:comment>An instance of prov:ActivityInvolvement is used to provide additional descriptions of a binary relation from any instance to an instance of prov:Activity.</rdfs:comment>
@@ -523,12 +517,6 @@
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#AgentInvolvement">
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#entity"/>
-                <owl:allValuesFrom rdf:resource="http://www.w3.org/ns/prov#Agent"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
     </owl:Class>
     
 
@@ -606,12 +594,6 @@
     <!-- http://www.w3.org/ns/prov#EntityInvolvement -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#EntityInvolvement">
-        <owl:equivalentClass>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#entity"/>
-                <owl:someValuesFrom rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-            </owl:Restriction>
-        </owl:equivalentClass>
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
         <rdfs:comment>An instance of EntityInvolvement is used to provide additional descriptions of a binary relation from any instance to an instance of Entity.</rdfs:comment>
     </owl:Class>
@@ -640,20 +622,6 @@
     <!-- http://www.w3.org/ns/prov#Involvement -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Involvement">
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#hadTemporalExtent"/>
-                <owl:onClass rdf:resource="http://www.w3.org/ns/prov#TimeInstant"/>
-                <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#hadSpatialExtent"/>
-                <owl:onClass rdf:resource="http://www.w3.org/ns/prov#Location"/>
-                <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
-            </owl:Restriction>
-        </rdfs:subClassOf>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association</rdfs:seeAlso>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Generation</rdfs:seeAlso>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility</rdfs:seeAlso>
@@ -763,20 +731,6 @@
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Start">
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#activity"/>
-                <owl:onClass rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-                <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#entity"/>
-                <owl:onClass rdf:resource="http://www.w3.org/ns/prov#Agent"/>
-                <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
-            </owl:Restriction>
-        </rdfs:subClassOf>
         <rdfs:comment rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Starting</rdfs:comment>
         <rdfs:comment rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again</rdfs:comment>
     </owl:Class>