Mercurial > hg > prov / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset
Removed Durable b/c not mentioned in DM
authorTim L <lebot@rpi.edu>
Tue, 06 Mar 2012 10:15:48 -0500
changeset 1775 1317e302e11e
parent 1774 dbbaf8c64384
child 1776 a488af865377
Removed Durable b/c not mentioned in DM
Moved Bundle to an Entity - if it is every mentioned by PROV-O, it is providing provenance of provenance.
Removed TimeInterval b/c DM doesn't mention it
Removed superclass TemporalEntity because only TimeInstant exists.
Removed Roled because it was too much clutter to work around RL's lack of someValuesFrom
ontology/ProvenanceOntology.owl 
--- a/ontology/ProvenanceOntology.owl	Tue Mar 06 15:03:16 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Tue Mar 06 10:15:48 2012 -0500
@@ -230,7 +230,6 @@
         <prov:category>qualified</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribute"/>
         <rdfs:range rdf:resource="&prov;Role"/>
-        <rdfs:domain rdf:resource="&prov;Roled"/>
     </owl:ObjectProperty>
     
 
@@ -253,7 +252,6 @@
 
     <owl:ObjectProperty rdf:about="&prov;hadTemporalExtent">
         <prov:category>core</prov:category>
-        <rdfs:range rdf:resource="&prov;TemporalEntity"/>
     </owl:ObjectProperty>
     
 
@@ -297,10 +295,7 @@
 
     <!-- http://www.w3.org/ns/prov#occurredDuring -->
 
-    <owl:ObjectProperty rdf:about="&prov;occurredDuring">
-        <rdfs:domain rdf:resource="&prov;Durable"/>
-        <rdfs:range rdf:resource="&prov;TimeInterval"/>
-    </owl:ObjectProperty>
+    <owl:ObjectProperty rdf:about="&prov;occurredDuring"/>
     
 
 
@@ -559,7 +554,6 @@
     <!-- http://www.w3.org/ns/prov#Activity -->
 
     <owl:Class rdf:about="&prov;Activity">
-        <rdfs:subClassOf rdf:resource="&prov;Durable"/>
         <rdfs:subClassOf rdf:resource="&prov;Element"/>
         <owl:disjointWith rdf:resource="&prov;Entity"/>
         <prov:category>core</prov:category>
@@ -584,8 +578,8 @@
 
     <owl:Class rdf:about="&prov;Agent">
         <rdfs:subClassOf rdf:resource="&prov;Entity"/>
+        <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
         <prov:category>core</prov:category>
-        <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent"/>
     </owl:Class>
     
@@ -595,7 +589,6 @@
 
     <owl:Class rdf:about="&prov;AgentInvolvement">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
-        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
     </owl:Class>
     
 
@@ -616,8 +609,8 @@
 
     <owl:Class rdf:about="&prov;Attribution">
         <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+        <rdfs:comment>An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from a prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ].</rdfs:comment>
         <prov:category>qualified</prov:category>
-        <rdfs:comment>An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from a prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ].</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
         <prov:involvementProperty rdf:resource="&prov;wasAttributedTo"/>
     </owl:Class>
@@ -627,6 +620,7 @@
     <!-- http://www.w3.org/ns/prov#Bundle -->
 
     <owl:Class rdf:about="&prov;Bundle">
+        <rdfs:subClassOf rdf:resource="&prov;Entity"/>
         <rdfs:comment xml:lang="en">A prov:Bundle is a group of PROV statements.</rdfs:comment>
         <rdfs:comment xml:lang="en">prov:Bundles are best modeled using sd:NamedGraphs.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Bundle"/>
@@ -647,12 +641,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#Durable -->
-
-    <owl:Class rdf:about="&prov;Durable"/>
-    
-
-
     <!-- http://www.w3.org/ns/prov#Element -->
 
     <owl:Class rdf:about="&prov;Element">
@@ -681,8 +669,8 @@
 
     <owl:Class rdf:about="&prov;Entity">
         <rdfs:subClassOf rdf:resource="&prov;Element"/>
+        <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
         <prov:category>core</prov:category>
-        <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Entity"/>
     </owl:Class>
     
@@ -703,9 +691,8 @@
     <owl:Class rdf:about="&prov;Generation">
         <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
-        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
+        <rdfs:comment xml:lang="de">An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualified [ a prov:Generation; prov:entity :baking; :foo :bar ].</rdfs:comment>
         <prov:category>core</prov:category>
-        <rdfs:comment xml:lang="de">An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualified [ a prov:Generation; prov:entity :baking; :foo :bar ].</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
         <prov:involvementProperty rdf:resource="&prov;wasGeneratedBy"/>
     </owl:Class>
@@ -716,7 +703,6 @@
 
     <owl:Class rdf:about="&prov;Inform">
         <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
-        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
         <prov:involvementProperty rdf:resource="&prov;wasInformedBy"/>
     </owl:Class>
@@ -732,8 +718,8 @@
     <!-- http://www.w3.org/ns/prov#Involvement -->
 
     <owl:Class rdf:about="&prov;Involvement">
+        <rdfs:comment xml:lang="en">An instance of prov:Involvement is used to provide additional descriptions of a prov:qualifiable binary involvement. A description (via prov:Involvement) of the binary involvement implies the assertion of the binary involvement.</rdfs:comment>
         <prov:category>qualified</prov:category>
-        <rdfs:comment xml:lang="en">An instance of prov:Involvement is used to provide additional descriptions of a prov:qualifiable binary involvement. A description (via prov:Involvement) of the binary involvement implies the assertion of the binary involvement.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
@@ -799,8 +785,8 @@
 
     <owl:Class rdf:about="&prov;Quotation">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+        <rdfs:comment xml:lang="en">TODO: Shouldn&#39;t Quotation be a subtype of Derivation (and same for the binary relations?) -Tim</rdfs:comment>
         <prov:category>additional</prov:category>
-        <rdfs:comment xml:lang="en">TODO: Shouldn&#39;t Quotation be a subtype of Derivation (and same for the binary relations?) -Tim</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
         <prov:involvementProperty rdf:resource="&prov;wasQuotedFrom"/>
     </owl:Class>
@@ -811,8 +797,8 @@
 
     <owl:Class rdf:about="&prov;Responsibility">
         <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+        <rdfs:comment xml:lang="en">An instance of prov:Responsibility provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualified [ a prov:Responsiblity; prov:entity :mother; :foo :bar ].</rdfs:comment>
         <prov:category>qualified</prov:category>
-        <rdfs:comment xml:lang="en">An instance of prov:Responsibility provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualified [ a prov:Responsiblity; prov:entity :mother; :foo :bar ].</rdfs:comment>
         <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
         <prov:involvementProperty rdf:resource="&prov;actedOnBehalfOf"/>
     </owl:Class>
@@ -839,15 +825,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#Roled -->
-
-    <owl:Class rdf:about="&prov;Roled">
-        <rdfs:label>Roled</rdfs:label>
-        <rdfs:comment>To maintain OWL-RL, we cannot place [ on hasRole min 0 allValuesFrom Role ] restrictions on AgentInvolvement, Generation, Inform, StartByActivity, and Usage. So, prov:Roled is made explicit and set to the domain of hasRole. Then, the classes are subclasses of Roled. This doesn&#39;t pin it down entirely with the semantics, but can guide developers.</rdfs:comment>
-    </owl:Class>
-    
-
-
     <!-- http://www.w3.org/ns/prov#SoftwareAgent -->
 
     <owl:Class rdf:about="&prov;SoftwareAgent">
@@ -874,8 +851,8 @@
     <owl:Class rdf:about="&prov;Start">
         <rdfs:subClassOf rdf:resource="&prov;Association"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+        <rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
         <prov:category>qualified</prov:category>
-        <rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
         <prov:involvementProperty rdf:resource="&prov;wasStartedBy"/>
     </owl:Class>
@@ -886,7 +863,6 @@
 
     <owl:Class rdf:about="&prov;StartByActivity">
         <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
-        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
         <prov:involvementProperty rdf:resource="&prov;wasStartedByActivity"/>
     </owl:Class>
@@ -904,18 +880,11 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#TemporalEntity -->
-
-    <owl:Class rdf:about="&prov;TemporalEntity">
-        <rdfs:comment>Either an instant or an interval.</rdfs:comment>
-    </owl:Class>
-    
-
-
     <!-- http://www.w3.org/ns/prov#TimeInstant -->
 
     <owl:Class rdf:about="&prov;TimeInstant">
-        <rdfs:subClassOf rdf:resource="&prov;TemporalEntity"/>
+        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+        <rdfs:comment>deprecate in favor of InstantaneousEvent? -Tim 6 march 2012</rdfs:comment>
         <rdfs:comment xml:lang="en">&#39;Instants are, intuitively, point-like in that they have no interior points&#39;
 reusing notion from W3C OWL-Time Working Draft (http://www.w3.org/TR/owl-time/), but not associating to it directly because it is not a Recommendation.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
@@ -926,14 +895,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#TimeInterval -->
-
-    <owl:Class rdf:about="&prov;TimeInterval">
-        <rdfs:subClassOf rdf:resource="&prov;TemporalEntity"/>
-    </owl:Class>
-    
-
-
     <!-- http://www.w3.org/ns/prov#Trace -->
 
     <owl:Class rdf:about="&prov;Trace">
@@ -952,7 +913,6 @@
     <owl:Class rdf:about="&prov;Usage">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
-        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
         <prov:category>core</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
         <prov:involvementProperty rdf:resource="&prov;used"/>
prov

Hosted by W3C Systems Team, please report bugs to sysreq@w3.org