Removed Durable b/c not mentioned in DM
authorTim L <lebot@rpi.edu>
Tue, 06 Mar 2012 10:15:48 -0500
changeset 17751317e302e11e
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
     1.1 --- a/ontology/ProvenanceOntology.owl	Tue Mar 06 15:03:16 2012 +0000
     1.2 +++ b/ontology/ProvenanceOntology.owl	Tue Mar 06 10:15:48 2012 -0500
     1.3 @@ -230,7 +230,6 @@
     1.4          <prov:category>qualified</prov:category>
     1.5          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribute"/>
     1.6          <rdfs:range rdf:resource="&prov;Role"/>
     1.7 -        <rdfs:domain rdf:resource="&prov;Roled"/>
     1.8      </owl:ObjectProperty>
     1.9      
    1.10  
    1.11 @@ -253,7 +252,6 @@
    1.12  
    1.13      <owl:ObjectProperty rdf:about="&prov;hadTemporalExtent">
    1.14          <prov:category>core</prov:category>
    1.15 -        <rdfs:range rdf:resource="&prov;TemporalEntity"/>
    1.16      </owl:ObjectProperty>
    1.17      
    1.18  
    1.19 @@ -297,10 +295,7 @@
    1.20  
    1.21      <!-- http://www.w3.org/ns/prov#occurredDuring -->
    1.22  
    1.23 -    <owl:ObjectProperty rdf:about="&prov;occurredDuring">
    1.24 -        <rdfs:domain rdf:resource="&prov;Durable"/>
    1.25 -        <rdfs:range rdf:resource="&prov;TimeInterval"/>
    1.26 -    </owl:ObjectProperty>
    1.27 +    <owl:ObjectProperty rdf:about="&prov;occurredDuring"/>
    1.28      
    1.29  
    1.30  
    1.31 @@ -559,7 +554,6 @@
    1.32      <!-- http://www.w3.org/ns/prov#Activity -->
    1.33  
    1.34      <owl:Class rdf:about="&prov;Activity">
    1.35 -        <rdfs:subClassOf rdf:resource="&prov;Durable"/>
    1.36          <rdfs:subClassOf rdf:resource="&prov;Element"/>
    1.37          <owl:disjointWith rdf:resource="&prov;Entity"/>
    1.38          <prov:category>core</prov:category>
    1.39 @@ -584,8 +578,8 @@
    1.40  
    1.41      <owl:Class rdf:about="&prov;Agent">
    1.42          <rdfs:subClassOf rdf:resource="&prov;Entity"/>
    1.43 +        <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
    1.44          <prov:category>core</prov:category>
    1.45 -        <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
    1.46          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent"/>
    1.47      </owl:Class>
    1.48      
    1.49 @@ -595,7 +589,6 @@
    1.50  
    1.51      <owl:Class rdf:about="&prov;AgentInvolvement">
    1.52          <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
    1.53 -        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
    1.54      </owl:Class>
    1.55      
    1.56  
    1.57 @@ -616,8 +609,8 @@
    1.58  
    1.59      <owl:Class rdf:about="&prov;Attribution">
    1.60          <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
    1.61 +        <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>
    1.62          <prov:category>qualified</prov:category>
    1.63 -        <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>
    1.64          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
    1.65          <prov:involvementProperty rdf:resource="&prov;wasAttributedTo"/>
    1.66      </owl:Class>
    1.67 @@ -627,6 +620,7 @@
    1.68      <!-- http://www.w3.org/ns/prov#Bundle -->
    1.69  
    1.70      <owl:Class rdf:about="&prov;Bundle">
    1.71 +        <rdfs:subClassOf rdf:resource="&prov;Entity"/>
    1.72          <rdfs:comment xml:lang="en">A prov:Bundle is a group of PROV statements.</rdfs:comment>
    1.73          <rdfs:comment xml:lang="en">prov:Bundles are best modeled using sd:NamedGraphs.</rdfs:comment>
    1.74          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Bundle"/>
    1.75 @@ -647,12 +641,6 @@
    1.76      
    1.77  
    1.78  
    1.79 -    <!-- http://www.w3.org/ns/prov#Durable -->
    1.80 -
    1.81 -    <owl:Class rdf:about="&prov;Durable"/>
    1.82 -    
    1.83 -
    1.84 -
    1.85      <!-- http://www.w3.org/ns/prov#Element -->
    1.86  
    1.87      <owl:Class rdf:about="&prov;Element">
    1.88 @@ -681,8 +669,8 @@
    1.89  
    1.90      <owl:Class rdf:about="&prov;Entity">
    1.91          <rdfs:subClassOf rdf:resource="&prov;Element"/>
    1.92 +        <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
    1.93          <prov:category>core</prov:category>
    1.94 -        <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
    1.95          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Entity"/>
    1.96      </owl:Class>
    1.97      
    1.98 @@ -703,9 +691,8 @@
    1.99      <owl:Class rdf:about="&prov;Generation">
   1.100          <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
   1.101          <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
   1.102 -        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
   1.103 +        <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>
   1.104          <prov:category>core</prov:category>
   1.105 -        <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>
   1.106          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
   1.107          <prov:involvementProperty rdf:resource="&prov;wasGeneratedBy"/>
   1.108      </owl:Class>
   1.109 @@ -716,7 +703,6 @@
   1.110  
   1.111      <owl:Class rdf:about="&prov;Inform">
   1.112          <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
   1.113 -        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
   1.114          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
   1.115          <prov:involvementProperty rdf:resource="&prov;wasInformedBy"/>
   1.116      </owl:Class>
   1.117 @@ -732,8 +718,8 @@
   1.118      <!-- http://www.w3.org/ns/prov#Involvement -->
   1.119  
   1.120      <owl:Class rdf:about="&prov;Involvement">
   1.121 +        <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>
   1.122          <prov:category>qualified</prov:category>
   1.123 -        <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>
   1.124          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
   1.125          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
   1.126          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
   1.127 @@ -799,8 +785,8 @@
   1.128  
   1.129      <owl:Class rdf:about="&prov;Quotation">
   1.130          <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
   1.131 +        <rdfs:comment xml:lang="en">TODO: Shouldn&#39;t Quotation be a subtype of Derivation (and same for the binary relations?) -Tim</rdfs:comment>
   1.132          <prov:category>additional</prov:category>
   1.133 -        <rdfs:comment xml:lang="en">TODO: Shouldn&#39;t Quotation be a subtype of Derivation (and same for the binary relations?) -Tim</rdfs:comment>
   1.134          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
   1.135          <prov:involvementProperty rdf:resource="&prov;wasQuotedFrom"/>
   1.136      </owl:Class>
   1.137 @@ -811,8 +797,8 @@
   1.138  
   1.139      <owl:Class rdf:about="&prov;Responsibility">
   1.140          <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
   1.141 +        <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>
   1.142          <prov:category>qualified</prov:category>
   1.143 -        <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>
   1.144          <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
   1.145          <prov:involvementProperty rdf:resource="&prov;actedOnBehalfOf"/>
   1.146      </owl:Class>
   1.147 @@ -839,15 +825,6 @@
   1.148      
   1.149  
   1.150  
   1.151 -    <!-- http://www.w3.org/ns/prov#Roled -->
   1.152 -
   1.153 -    <owl:Class rdf:about="&prov;Roled">
   1.154 -        <rdfs:label>Roled</rdfs:label>
   1.155 -        <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>
   1.156 -    </owl:Class>
   1.157 -    
   1.158 -
   1.159 -
   1.160      <!-- http://www.w3.org/ns/prov#SoftwareAgent -->
   1.161  
   1.162      <owl:Class rdf:about="&prov;SoftwareAgent">
   1.163 @@ -874,8 +851,8 @@
   1.164      <owl:Class rdf:about="&prov;Start">
   1.165          <rdfs:subClassOf rdf:resource="&prov;Association"/>
   1.166          <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
   1.167 +        <rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
   1.168          <prov:category>qualified</prov:category>
   1.169 -        <rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
   1.170          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
   1.171          <prov:involvementProperty rdf:resource="&prov;wasStartedBy"/>
   1.172      </owl:Class>
   1.173 @@ -886,7 +863,6 @@
   1.174  
   1.175      <owl:Class rdf:about="&prov;StartByActivity">
   1.176          <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
   1.177 -        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
   1.178          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
   1.179          <prov:involvementProperty rdf:resource="&prov;wasStartedByActivity"/>
   1.180      </owl:Class>
   1.181 @@ -904,18 +880,11 @@
   1.182      
   1.183  
   1.184  
   1.185 -    <!-- http://www.w3.org/ns/prov#TemporalEntity -->
   1.186 -
   1.187 -    <owl:Class rdf:about="&prov;TemporalEntity">
   1.188 -        <rdfs:comment>Either an instant or an interval.</rdfs:comment>
   1.189 -    </owl:Class>
   1.190 -    
   1.191 -
   1.192 -
   1.193      <!-- http://www.w3.org/ns/prov#TimeInstant -->
   1.194  
   1.195      <owl:Class rdf:about="&prov;TimeInstant">
   1.196 -        <rdfs:subClassOf rdf:resource="&prov;TemporalEntity"/>
   1.197 +        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
   1.198 +        <rdfs:comment>deprecate in favor of InstantaneousEvent? -Tim 6 march 2012</rdfs:comment>
   1.199          <rdfs:comment xml:lang="en">&#39;Instants are, intuitively, point-like in that they have no interior points&#39;
   1.200  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>
   1.201          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
   1.202 @@ -926,14 +895,6 @@
   1.203      
   1.204  
   1.205  
   1.206 -    <!-- http://www.w3.org/ns/prov#TimeInterval -->
   1.207 -
   1.208 -    <owl:Class rdf:about="&prov;TimeInterval">
   1.209 -        <rdfs:subClassOf rdf:resource="&prov;TemporalEntity"/>
   1.210 -    </owl:Class>
   1.211 -    
   1.212 -
   1.213 -
   1.214      <!-- http://www.w3.org/ns/prov#Trace -->
   1.215  
   1.216      <owl:Class rdf:about="&prov;Trace">
   1.217 @@ -952,7 +913,6 @@
   1.218      <owl:Class rdf:about="&prov;Usage">
   1.219          <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
   1.220          <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
   1.221 -        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
   1.222          <prov:category>core</prov:category>
   1.223          <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
   1.224          <prov:involvementProperty rdf:resource="&prov;used"/>