entity disjoint with activity https://www.w3.org/2011/prov/track/issues/268
authorTim L <lebot@rpi.edu>
Mon, 05 Mar 2012 17:27:31 -0500
changeset 1766 787ce8e3531e
parent 1765 a3458ebc2d16
child 1767 1fcccd147926
entity disjoint with activity https://www.w3.org/2011/prov/track/issues/268
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Mon Mar 05 22:20:26 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Mon Mar 05 17:27:31 2012 -0500
@@ -13,12 +13,12 @@
 
 <rdf:RDF xmlns="http://example.com/"
      xml:base="http://example.com/"
-     xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
-     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
      xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
      xmlns:prov="http://www.w3.org/ns/prov#"
-     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
-     xmlns:owl="http://www.w3.org/2002/07/owl#">
+     xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+     xmlns:owl="http://www.w3.org/2002/07/owl#"
+     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
     <owl:Ontology rdf:about="http://www.w3.org/ns/prov#">
         <rdfs:label xml:lang="en">PROV Ontology</rdfs:label>
         <rdfs:comment rdf:datatype="&xsd;string">0.2</rdfs:comment>
@@ -39,10 +39,6 @@
     ///////////////////////////////////////////////////////////////////////////////////////
      -->
 
-    <owl:AnnotationProperty rdf:about="&prov;involvementProperty">
-        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
-    </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
     <owl:AnnotationProperty rdf:about="&prov;involvementClass">
         <rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
 
@@ -61,19 +57,12 @@
 Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;label"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
-    
-
-
-    <!-- 
-    ///////////////////////////////////////////////////////////////////////////////////////
-    //
-    // Datatypes
-    //
-    ///////////////////////////////////////////////////////////////////////////////////////
-     -->
-
+    <owl:AnnotationProperty rdf:about="&prov;involvementProperty">
+        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+    </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;label"/>
+    <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
     
 
 
@@ -98,8 +87,8 @@
 
     <owl:ObjectProperty rdf:about="&prov;actedOnBehalfOf">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+        <rdfs:domain rdf:resource="&prov;Agent"/>
         <rdfs:range rdf:resource="&prov;Agent"/>
-        <rdfs:domain rdf:resource="&prov;Agent"/>
         <prov:involvementClass rdf:resource="&prov;Responsibility"/>
         <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
@@ -141,8 +130,8 @@
         <rdfs:comment xml:lang="en">Another prov:Entity that characterizes the same thing as this prov:Entity, potentially in a different manner.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#AlternateOf"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:range rdf:resource="&prov;Entity"/>
-        <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:seeAlso rdf:resource="&prov;specializationOf"/>
     </owl:ObjectProperty>
     
@@ -194,8 +183,8 @@
     <owl:ObjectProperty rdf:about="&prov;hadOriginalSource">
         <rdfs:comment xml:lang="en">how is this different from wasDerivedFrom?</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
         <rdfs:domain rdf:resource="&prov;Entity"/>
-        <rdfs:range rdf:resource="&prov;Entity"/>
         <prov:involvementClass rdf:resource="&prov;Source"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
@@ -274,8 +263,8 @@
 prov:involved should not be used without also using the subproperty.
 
 Subproperties of prov:involved may also be asserted directly without being qualified.</rdfs:comment>
+        <rdfs:domain rdf:resource="&prov;Element"/>
         <rdfs:range rdf:resource="&prov;Element"/>
-        <rdfs:domain rdf:resource="&prov;Element"/>
         <prov:involvementClass rdf:resource="&prov;Involvement"/>
     </owl:ObjectProperty>
     
@@ -305,8 +294,8 @@
     <!-- http://www.w3.org/ns/prov#qualified -->
 
     <owl:ObjectProperty rdf:about="&prov;qualified">
+        <rdfs:comment>This one property is used to associate a prov:Element (prov:Entity or prov:Activity) with an instance of any subclass of prov:Involvement, which will provide additional descriptions about the binary prov:involved relation. For example, :baking prov:used :pan, :egg; prov:wasAssociatedWith :baker; prov:generated :dirty_pan; prov:qualified [ a prov:Usage; prov:entity :egg; prov:role :ingredient], [ a prov:Association; prov:entity :baker; prov:role :leader ] .</rdfs:comment>
         <rdfs:comment>The subproperties here can be deleted without concern. For example, :element prov:qualified [ a prov:Usage ] handles the case of prov:hadQualifiedUsage . http://www.w3.org/2011/prov/track/issues/255</rdfs:comment>
-        <rdfs:comment>This one property is used to associate a prov:Element (prov:Entity or prov:Activity) with an instance of any subclass of prov:Involvement, which will provide additional descriptions about the binary prov:involved relation. For example, :baking prov:used :pan, :egg; prov:wasAssociatedWith :baker; prov:generated :dirty_pan; prov:qualified [ a prov:Usage; prov:entity :egg; prov:role :ingredient], [ a prov:Association; prov:entity :baker; prov:role :leader ] .</rdfs:comment>
         <rdfs:domain rdf:resource="&prov;Element"/>
         <rdfs:range rdf:resource="&prov;Involvement"/>
     </owl:ObjectProperty>
@@ -318,8 +307,8 @@
     <owl:ObjectProperty rdf:about="&prov;specializationOf">
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#SpecializationOf"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:range rdf:resource="&prov;Entity"/>
-        <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:seeAlso rdf:resource="&prov;alternateOf"/>
     </owl:ObjectProperty>
     
@@ -379,8 +368,8 @@
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
         <rdfs:domain rdf:resource="&prov;Activity"/>
         <rdfs:range rdf:resource="&prov;Agent"/>
+        <rdfs:seeAlso rdf:resource="&prov;Association"/>
         <prov:involvementClass rdf:resource="&prov;Association"/>
-        <rdfs:seeAlso rdf:resource="&prov;Association"/>
         <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
@@ -467,8 +456,8 @@
     <owl:ObjectProperty rdf:about="&prov;wasQuotedFrom">
         <rdfs:comment xml:lang="en">Different from wasAttributedTo?</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:range rdf:resource="&prov;Entity"/>
-        <rdfs:domain rdf:resource="&prov;Entity"/>
         <prov:involvementClass rdf:resource="&prov;Quotation"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
@@ -479,8 +468,8 @@
 
     <owl:ObjectProperty rdf:about="&prov;wasRevisionOf">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
         <rdfs:domain rdf:resource="&prov;Entity"/>
-        <rdfs:range rdf:resource="&prov;Entity"/>
         <prov:involvementClass rdf:resource="&prov;Revision"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
@@ -502,8 +491,8 @@
 
     <owl:ObjectProperty rdf:about="&prov;wasStartedByActivity">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
+        <rdfs:range rdf:resource="&prov;Activity"/>
         <rdfs:domain rdf:resource="&prov;Activity"/>
-        <rdfs:range rdf:resource="&prov;Activity"/>
         <prov:involvementClass rdf:resource="&prov;StartByActivity"/>
         <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
@@ -558,6 +547,7 @@
                 <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
             </owl:Restriction>
         </rdfs:subClassOf>
+        <owl:disjointWith rdf:resource="&prov;Entity"/>
         <rdfs:comment xml:lang="en">Activity is defined to be &#39;an identifiable activity, which performs a piece of work.&#39;</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
     </owl:Class>
@@ -931,5 +921,5 @@
 
 
 
-<!-- Generated by the OWL API (version 3.2.3.22702) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->