--- a/ontology/ProvenanceOntology.owl Tue May 29 14:31:51 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Tue May 29 15:51:54 2012 -0400
@@ -51,22 +51,22 @@
<owl:AnnotationProperty rdf:about="http://www.w3.org/ns/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="http://www.w3.org/ns/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="http://www.w3.org/ns/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="http://www.w3.org/ns/prov#category">
<rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including 'starting-point', 'qualifed', and 'extended'. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
</owl:AnnotationProperty>
@@ -834,9 +834,9 @@
</owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
+ <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. </definition>
<rdfs:comment>Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
<prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference</prov-dm-constraints>
- <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. </definition>
<owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
<owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
@@ -940,8 +940,8 @@
<!-- http://www.w3.org/ns/prov#wasInvalidatedBy -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasInvalidatedBy">
- <category>starting-point</category>
<inverse>invalidated</inverse>
+ <category>expanded</category>
<component>entities-activities</component>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Activity"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -1211,7 +1211,7 @@
<rdfs:comment xml:lang="en">An activity is something that occurs over a period of time and acts upon or with entities. This action can take multiple forms: consuming, processing, transforming, modifying, relocating, using, generating, or being associated with entities. Activities that operate on digital entities may for example move, copy, or duplicate them.</rdfs:comment>
<category>starting-point</category>
<prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Activity</prov-dm-constraints>
- <definition>An activity is something that occurs over a period of time and acts upon or with entities. This action can take multiple forms: consuming, processing, transforming, modifying, relocating, using, generating, or being associated with entities. Activities that operate on digital entities may for example move, copy, or duplicate them.</definition>
+ <definition>An activity is something that occurs over a period of time and acts upon or with entities; it may include consuming, processing, transforming, modifying, relocating, using, or generating entities.</definition>
</owl:Class>
@@ -1240,8 +1240,8 @@
<owl:Class rdf:about="http://www.w3.org/ns/prov#Agent">
<rdfs:label>Agent</rdfs:label>
<owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#InstantaneousEvent"/>
- <definition>An agent is a type of entity that bears some form of responsibility for an activity taking place.</definition>
<prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Agent</prov-dm-constraints>
+ <definition xml:lang="en">An agent is something that bears some form of responsibility for an activity taking place or for the existence of an entity.</definition>
<prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Agent</prov-n>
<category>starting-point</category>
<rdfs:comment xml:lang="en">An agent is a type of entity that bears some form of responsibility for an activity taking place.</rdfs:comment>
--- a/ontology/prov.ttl Tue May 29 14:31:51 2012 -0400
+++ b/ontology/prov.ttl Tue May 29 15:51:54 2012 -0400
@@ -69,7 +69,7 @@
owl:disjointWith :Entity ;
:category "starting-point" ;
:component "entities-activities" ;
- :definition "An activity is something that occurs over a period of time and acts upon or with entities. This action can take multiple forms: consuming, processing, transforming, modifying, relocating, using, generating, or being associated with entities. Activities that operate on digital entities may for example move, copy, or duplicate them." ;
+ :definition "An activity is something that occurs over a period of time and acts upon or with entities; it may include consuming, processing, transforming, modifying, relocating, using, or generating entities." ;
:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity"^^xsd:anyURI ;
:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Activity" ;
:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Activity" .
@@ -94,7 +94,7 @@
owl:disjointWith :InstantaneousEvent ;
:category "starting-point" ;
:component "agents-responsibility" ;
- :definition "An agent is a type of entity that bears some form of responsibility for an activity taking place." ;
+ :definition "An agent is something that bears some form of responsibility for an activity taking place or for the existence of an entity."@en ;
:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Agent" ;
:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Agent" ;
:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Agent" .
@@ -1147,7 +1147,7 @@
owl:propertyChainAxiom (:qualifiedInvalidation
:activity
) ;
- :category "starting-point" ;
+ :category "expanded" ;
:component "entities-activities" ;
:inverse "invalidated" .