updated prov:value and prov:wasDerivedFrom's out-of-date definitions to suit PROV-DM.
--- a/ontology/ProvenanceOntology.owl Tue Feb 12 09:00:10 2013 -0500
+++ b/ontology/ProvenanceOntology.owl Tue Feb 12 09:19:36 2013 -0500
@@ -87,10 +87,10 @@
<rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</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#specializationOf">
<rdfs:label>specializationOf</rdfs:label>
<constraints rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#prov-dm-constraints-fig</constraints>
@@ -848,8 +848,8 @@
</owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
+ <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN wasInfluencedBy(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>
- <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN wasInfluencedBy(e2,ag1) also holds. </definition>
<owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
<owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
@@ -862,7 +862,7 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
<rdfs:label>wasDerivedFrom</rdfs:label>
<inverse>hadDerivation</inverse>
- <definition xml:lang="en">A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one.</definition>
+ <definition xml:lang="en">A derivation is a transformation of an entity into another, an update of an entity resulting in a new one, or the construction of a new entity based on a pre-existing entity.</definition>
<category>starting-point</category>
<rdfs:comment xml:lang="en">The more specific subproperties of prov:wasDerivedFrom (i.e., prov:wasQuotedFrom, prov:wasRevisionOf, prov:hadPrimarySource) should be used when applicable.</rdfs:comment>
<component>derivations</component>
@@ -948,6 +948,15 @@
<qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Influence"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Influence"/>
<qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedInfluence"/>
+ <rdfs:domain>
+ <owl:Class>
+ <owl:unionOf rdf:parseType="Collection">
+ <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
+ <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
+ <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
+ </owl:unionOf>
+ </owl:Class>
+ </rdfs:domain>
<rdfs:range>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
@@ -957,20 +966,11 @@
</owl:unionOf>
</owl:Class>
</rdfs:range>
- <rdfs:domain>
- <owl:Class>
- <owl:unionOf rdf:parseType="Collection">
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
- <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
- </owl:unionOf>
- </owl:Class>
- </rdfs:domain>
</owl:ObjectProperty>
<owl:Axiom>
- <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
+ <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
<dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
- <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
+ <owl:annotatedProperty rdf:resource="&rdfs;range"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
<owl:annotatedTarget>
<owl:Class>
@@ -984,8 +984,8 @@
</owl:Axiom>
<owl:Axiom>
<dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
- <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
- <owl:annotatedProperty rdf:resource="&rdfs;range"/>
+ <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
+ <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
<owl:annotatedTarget>
<owl:Class>
@@ -1227,9 +1227,8 @@
<dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value</dm>
<category>expanded</category>
<editorialNote>The editor's definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue</editorialNote>
+ <definition xml:lang="en">Provides a value that is a direct representation of an entity.</definition>
<component>entities-activities</component>
- <rdfs:comment xml:lang="en">Provides a value for an Entity.</rdfs:comment>
- <editorsDefinition xml:lang="en">The main value (if there is one) of a structured value.</editorsDefinition>
<editorialNote xml:lang="en">This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, 'may be used in describing structured values').</editorialNote>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
--- a/ontology/prov-o.ttl Tue Feb 12 09:00:10 2013 -0500
+++ b/ontology/prov-o.ttl Tue Feb 12 09:19:36 2013 -0500
@@ -1031,15 +1031,14 @@
:value
a owl:DatatypeProperty ;
- rdfs:comment "Provides a value for an Entity."@en ;
rdfs:domain :Entity ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:label "value" ;
:category "expanded" ;
:component "entities-activities" ;
+ :definition "Provides a value that is a direct representation of an entity."@en ;
:dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value"^^xsd:anyURI ;
- :editorialNote "The editor's definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue", "This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, 'may be used in describing structured values')."@en ;
- :editorsDefinition "The main value (if there is one) of a structured value."@en .
+ :editorialNote "The editor's definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue", "This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, 'may be used in describing structured values')."@en .
:wasAssociatedWith
a owl:ObjectProperty ;
@@ -1087,7 +1086,7 @@
) ;
:category "starting-point" ;
:component "derivations" ;
- :definition "A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one."@en ;
+ :definition "A derivation is a transformation of an entity into another, an update of an entity resulting in a new one, or the construction of a new entity based on a pre-existing entity."@en ;
:inverse "hadDerivation" ;
:qualifiedForm :Derivation, :qualifiedDerivation .
@@ -1276,6 +1275,20 @@
[]
a owl:Axiom ;
+ owl:annotatedProperty rdfs:range ;
+ owl:annotatedSource :wasInfluencedBy ;
+ owl:annotatedTarget [
+ a owl:Class ;
+ owl:unionOf (:Activity
+ :Agent
+ :Entity
+ )
+ ] ;
+ :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
+ :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence" .
+
+[]
+ a owl:Axiom ;
owl:annotatedProperty rdfs:domain ;
owl:annotatedSource :wasInfluencedBy ;
owl:annotatedTarget [
@@ -1290,20 +1303,6 @@
[]
a owl:Axiom ;
- owl:annotatedProperty rdfs:range ;
- owl:annotatedSource :wasInfluencedBy ;
- owl:annotatedTarget [
- a owl:Class ;
- owl:unionOf (:Activity
- :Agent
- :Entity
- )
- ] ;
- :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
- :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence" .
-
-[]
- a owl:Axiom ;
rdfs:comment "Quotation is a particular case of derivation (see http://www.w3.org/TR/prov-dm/#term-quotation) in which an entity is derived from an original entity by copying, or \"quoting\", some or all of it. " ;
owl:annotatedProperty rdfs:subPropertyOf ;
owl:annotatedSource :wasQuotedFrom ;