--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInfluence.ttl Tue Jul 10 17:23:52 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInfluence.ttl Tue Jul 10 17:53:58 2012 -0400
@@ -4,22 +4,13 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# EntityInfluence is intended to be an 'abstract' subclass of Influence
-# for Influence that reference an entity. It is a superclass for concrete Influences
-# (e.g. Usage, Derivation, Source)
-
-# It is not recommended that the type EntityInfluence be used without also declaring
-# one of its concrete subclasses.
-
-# By definition, all instances of prov:Usage are also instances of prov:EntityInfluence.
-
:sortActivity
a prov:Activity;
prov:used :datasetA;
prov:qualifiedUsage [
a prov:Usage,
- prov:EntityInfluence; ## Instances of Start, End, Usage, and Derivation qualify
- prov:entity :datasetA; ## the influencd of an Entity (cited by prov:entity)
+ prov:EntityInfluence; ## Instances of Start, End, Usage, Derivation, and Invalidation
+ prov:entity :datasetA; ## qualify the influenced of an Entity (cited by prov:entity).
prov:hadRole :inputToBeSorted;
];
prov:generated :datasetB;
--- a/ontology/ProvenanceOntology.owl Tue Jul 10 17:23:52 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Tue Jul 10 17:53:58 2012 -0400
@@ -53,14 +53,14 @@
<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>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</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>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&rdfs;label">
<rdfs:comment xml:lang="en"></rdfs:comment>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</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>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- </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>
<rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
@@ -75,19 +75,19 @@
<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#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>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#dm">
<rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</owl:AnnotationProperty>
- <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>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&rdfs;isDefinedBy"/>
<owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorsDefinition">
<rdfs:comment xml:lang="en">When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one.</rdfs:comment>
@@ -351,8 +351,8 @@
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
</owl:ObjectProperty>
<owl:Axiom>
+ <dm>http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-collection</dm>
<rdfs:comment xml:lang="en">A collection is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the collections.</rdfs:comment>
- <dm>http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-collection</dm>
<owl:annotatedProperty rdf:resource="&rdfs;range"/>
<owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
@@ -839,8 +839,8 @@
</owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Axiom>
+ <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>
- <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>
<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"/>
@@ -957,8 +957,8 @@
</owl:ObjectProperty>
<owl:Axiom>
<dm>http://www.w3.org/TR/2012/WD-prov-dm-20120703/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>
@@ -972,8 +972,8 @@
</owl:Axiom>
<owl:Axiom>
<dm>http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence</dm>
- <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
- <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
+ <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
+ <owl:annotatedProperty rdf:resource="&rdfs;range"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
<owl:annotatedTarget>
<owl:Class>
@@ -1271,7 +1271,9 @@
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
+ <rdfs:comment xml:lang="en">ActivityInfluence is intended to be an general subclass of Influence of an Activity. It is a superclass for more specific kinds of Influences (e.g. Generation, Communication, and Invalidation).</rdfs:comment>
<editorsDefinition xml:lang="en">ActivityInfluence provides additional descriptions of an Activity's binary influence upon any other kind of resource. Instances of ActivityInfluence use the prov:activity property to cite the influencing Activity.</editorsDefinition>
+ <rdfs:comment xml:lang="en">It is not recommended that the type ActivityInfluence be asserted without also asserting one of its more specific subclasses.</rdfs:comment>
<category>qualified</category>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#activity"/>
@@ -1299,8 +1301,10 @@
<owl:Class rdf:about="http://www.w3.org/ns/prov#AgentInfluence">
<rdfs:label>AgentInfluence</rdfs:label>
<rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Influence"/>
+ <rdfs:comment xml:lang="en">AgentInfluence is intended to be an general subclass of Influence of an Agenty. It is a superclass for more specific kinds of Influences (e.g. Association, Attribution, Delegation).</rdfs:comment>
<editorsDefinition xml:lang="en">AgentInfluence provides additional descriptions of an Agent's binary influence upon any other kind of resource. Instances of AgentInfluence use the prov:agent property to cite the influencing Agent.</editorsDefinition>
<category>qualified</category>
+ <rdfs:comment xml:lang="en">It is not recommended that the type AgentInfluence be asserted without also asserting one of its more specific subclasses.</rdfs:comment>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#agent"/>
</owl:Class>
@@ -1468,8 +1472,10 @@
<owl:Class rdf:about="http://www.w3.org/ns/prov#EntityInfluence">
<rdfs:label>EntityInfluence</rdfs:label>
<rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Influence"/>
+ <rdfs:comment xml:lang="en">EntityInfluence is intended to be an general subclass of Influence of an Entity. It is a superclass for more specific kinds of Influences (e.g. Usage, Derivation, Source).</rdfs:comment>
<category>qualified</category>
<editorsDefinition xml:lang="en">EntityInfluence provides additional descriptions of an Entity's binary influence upon any other kind of resource. Instances of EntityInfluence use the prov:entity property to cite the influencing Entity.</editorsDefinition>
+ <rdfs:comment xml:lang="en">It is not recommended that the type EntityInfluence be asserted without also asserting one of its more specific subclasses.</rdfs:comment>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#entity"/>
</owl:Class>