removed InstantaneousEvent disjoint Activity
authorTim L <lebot@rpi.edu>
Mon, 14 May 2012 21:13:09 -0400
changeset 2815 4514e7f6caf5
parent 2814 02b4e7bdefea
child 2816 951544210da0
removed InstantaneousEvent disjoint Activity
ontology/ProvenanceOntology.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Mon May 14 20:56:37 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Mon May 14 21:13:09 2012 -0400
@@ -57,22 +57,22 @@
     <owl:AnnotationProperty rdf:about="&prov;definition">
         <rdfs:comment xml:lang="en">A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term.</rdfs:comment>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;label">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;editorialNote">
         <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;label">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;inverse">
         <rdfs:comment xml:lang="en">PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used.</rdfs:comment>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;comment">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="&prov;category">
         <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
     </owl:AnnotationProperty>
@@ -1239,7 +1239,6 @@
     <owl:Class rdf:about="&prov;Activity">
         <rdfs:label>Activity</rdfs:label>
         <owl:disjointWith rdf:resource="&prov;Entity"/>
-        <owl:disjointWith rdf:resource="&prov;InstantaneousEvent"/>
         <prov:prov-dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity</prov:prov-dm>
         <prov:component>entities-activities</prov:component>
         <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Activity</prov:prov-n>
--- a/ontology/prov.ttl	Mon May 14 20:56:37 2012 -0400
+++ b/ontology/prov.ttl	Mon May 14 21:13:09 2012 -0400
@@ -90,6 +90,7 @@
     a owl:Class ;
     rdfs:comment "An agent is a type of entity that bears some form of responsibility for an activity taking place."@en ;
     rdfs:label "Agent" ;
+    owl:disjointWith prov:InstantaneousEvent ;
     prov:category "starting-point" ;
     prov:component "agents-responsibility" ;
     prov:definition "An agent is a type of entity that bears some form of responsibility for an activity taking place." ;
@@ -208,6 +209,7 @@
     a owl:Class ;
     rdfs:comment "An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary."@en ;
     rdfs:label "Entity" ;
+    owl:disjointWith prov:InstantaneousEvent ;
     prov:category "starting-point" ;
     prov:component "entities-activities" ;
     prov:definition "An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary."@en ;
@@ -698,26 +700,6 @@
     prov:component "agents-responsibility" ;
     prov:inverse "wasPlanFor" .
 
-prov:hadQuoted
-    a owl:ObjectProperty ;
-    rdfs:comment "The agent who attributed to the original entity."@en ;
-    rdfs:domain prov:Quotation ;
-    rdfs:range prov:Agent ;
-    rdfs:subPropertyOf owl:topObjectProperty ;
-    prov:category "qualified" ;
-    prov:component "derivations" ;
-    prov:inverse "wasQuotedIn" .
-
-prov:hadQuoter
-    a owl:ObjectProperty ;
-    rdfs:comment "The agent who is doing the quoting."@en ;
-    rdfs:domain prov:Quotation ;
-    rdfs:range prov:Agent ;
-    rdfs:subPropertyOf owl:topObjectProperty ;
-    prov:category "qualified" ;
-    prov:component "derivations" ;
-    prov:inverse "wasQuotingIn" .
-
 prov:hadRole
     a owl:IrreflexiveProperty, owl:ObjectProperty ;
     rdfs:comment "When an instance of prov:Involvement uses the prov:hadRole property to cite a prov:Role, it is providing a role for the instance referenced by the prov:entity or the prov:activity properties. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ]."@en ;
@@ -776,9 +758,9 @@
 
 prov:involved
     a owl:ObjectProperty ;
-    rdfs:comment """Subproperties of prov:involved may be be qualified by creating instances of a corresponding prov:Involvement class. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualified [ a prov:Usage; prov:entity :baking; :foo :bar ]
+    rdfs:comment """The relation specified by the object properties, which are sub-properties of  prov:involved, can also be specified using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualified [ a prov:Usage; prov:entity :baking; :foo :bar ]
 
-prov:involved should not be used without also using one of its subproperties.
+prov:involved should not be used without also using one of its subproperties. 
 
 Subproperties of prov:involved may also be asserted directly without being qualified."""@en ;
     prov:category "qualified" ;
@@ -1097,16 +1079,6 @@
     prov:component "collections" ;
     prov:inverse "valueOf" .
 
-prov:wasApprovedBy
-    a owl:ObjectProperty ;
-    rdfs:comment "The agent who approved the revision."@en ;
-    rdfs:domain prov:Revision ;
-    rdfs:range prov:Agent ;
-    prov:category "qualified" ;
-    prov:component "derivations" ;
-    prov:definition "responsibility: an optional identifier (ag) for the agent who approved the newer entity as a variant of the older"@en ;
-    prov:inverse "approvedRevision"@en .
-
 prov:wasAssociatedWith
     a owl:ObjectProperty ;
     rdfs:comment "An prov:Agent that had some (unspecified) responsibility for the occurrence of this prov:Activity."@en ;