owl:Axiom confuses Protege 4
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Wed, 22 Feb 2012 09:23:51 +0000
changeset 1642 e878e740de73
parent 1641 bf4e990c7722
child 1643 a687f83f8b1e
child 1644 1d43e9992f42
owl:Axiom confuses Protege 4
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Wed Feb 22 09:07:24 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Wed Feb 22 09:23:51 2012 +0000
@@ -360,13 +360,6 @@
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Ending"/>
         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasAssociatedWith"/>
     </owl:ObjectProperty>
-    <owl:Axiom>
-        <rdfs:comment>TODO justify</rdfs:comment>
-        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
-        <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasAssociatedWith"/>
-        <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasEndedBy"/>
-    </owl:Axiom>
-    
 
 
     <!-- http://www.w3.org/ns/prov#wasGeneratedBy -->
@@ -724,7 +717,7 @@
     <!-- http://www.w3.org/ns/prov#Start -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Start">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Association"/>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Inform"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
     </owl:Class>