--- a/ontology/ProvenanceOntology.owl Wed Jul 11 12:26:55 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Wed Jul 11 12:28:50 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="&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="&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#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://dvcs.w3.org/hg/prov/raw-file/default/model/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://dvcs.w3.org/hg/prov/raw-file/default/model/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"/>
@@ -672,12 +672,12 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
<rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <category>expanded</category>
<component>collections</component>
+ <category>qualified</category>
<rdfs:comment xml:lang="en">The collection included the specified membership of keys-values.</rdfs:comment>
<editorialNote xml:lang="en">This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership.</editorialNote>
<inverse>membershipOf</inverse>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
</owl:ObjectProperty>
@@ -854,8 +854,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"/>
@@ -971,9 +971,9 @@
</rdfs:range>
</owl:ObjectProperty>
<owl:Axiom>
- <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
+ <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
<dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
- <owl:annotatedProperty rdf:resource="&rdfs;range"/>
+ <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
<owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
<owl:annotatedTarget>
<owl:Class>
@@ -986,9 +986,9 @@
</owl:annotatedTarget>
</owl:Axiom>
<owl:Axiom>
+ <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>
- <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
- <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>
@@ -1420,9 +1420,9 @@
<owl:Class rdf:about="http://www.w3.org/ns/prov#CompleteCollection">
<rdfs:label xml:lang="en">CompleteMembership</rdfs:label>
<rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+ <component xml:lang="en">collections</component>
<category>expanded</category>
<rdfs:comment xml:lang="en">Indicates that no other member belongs to the collection, that is all the prov:member stated for this CompleteMembership constitutes all members of the collection.</rdfs:comment>
- <component xml:lang="en">collections</component>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</owl:Class>
@@ -1470,11 +1470,11 @@
<owl:Class rdf:about="http://www.w3.org/ns/prov#EmptyCollection">
<rdfs:label xml:lang="en">EmptyCollection</rdfs:label>
<rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+ <category>expanded</category>
<component>collections</component>
+ <definition xml:lang="en">An empty collection is a collection without members.</definition>
<rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <category>expanded</category>
- <definition xml:lang="en">An empty collection is a collection without members.</definition>
</owl:Class>
@@ -1618,9 +1618,9 @@
<rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInfluence"/>
<editorsDefinition xml:lang="en">An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary.</editorsDefinition>
<rdfs:comment xml:lang="en">The descriptions on this Membership applies to the memberships of all KeyValuePairs cited by prov:pair.</rdfs:comment>
+ <category>qualified</category>
+ <component>collections</component>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <category>expanded</category>
- <component>collections</component>
<unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
</owl:Class>
@@ -1810,11 +1810,12 @@
<owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#EmptyCollection">
<rdfs:label xml:lang="en">EmptyCollection</rdfs:label>
+ <category>expanded</category>
<component>collections</component>
<prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
+ <definition xml:lang="en">An empty collection is a collection without members.</definition>
<rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
- <category>expanded</category>
- <definition xml:lang="en">An empty collection is a collection without members.</definition>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
</owl:NamedIndividual>
</rdf:RDF>
--- a/ontology/prov.ttl Wed Jul 11 12:26:55 2012 -0400
+++ b/ontology/prov.ttl Wed Jul 11 12:28:50 2012 -0400
@@ -298,7 +298,7 @@
rdfs:comment "The descriptions on this Membership applies to the memberships of all KeyValuePairs cited by prov:pair."@en ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:subClassOf :EntityInfluence ;
- :category "expanded" ;
+ :category "qualified" ;
:component "collections" ;
:editorsDefinition "An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary."@en ;
:unqualifiedForm :hadMember .
@@ -952,7 +952,7 @@
rdfs:domain :Collection ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:label "qualifiedMembership"@en ;
- :category "expanded" ;
+ :category "qualified" ;
:component "collections" ;
:editorialNote "This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership."@en ;
:inverse "membershipOf" ;
@@ -1315,6 +1315,20 @@
[]
a owl:Axiom ;
+ owl:annotatedProperty rdfs:domain ;
+ owl:annotatedSource :wasInfluencedBy ;
+ owl:annotatedTarget [
+ a owl:Class ;
+ owl:unionOf (:Activity
+ :Agent
+ :Entity
+ )
+ ] ;
+ :definition "influencee: an identifier (o2) for an entity, activity, or agent; " ;
+ :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence" .
+
+[]
+ a owl:Axiom ;
owl:annotatedProperty rdfs:range ;
owl:annotatedSource :wasInfluencedBy ;
owl:annotatedTarget [
@@ -1329,20 +1343,6 @@
[]
a owl:Axiom ;
- owl:annotatedProperty rdfs:domain ;
- owl:annotatedSource :wasInfluencedBy ;
- owl:annotatedTarget [
- a owl:Class ;
- owl:unionOf (:Activity
- :Agent
- :Entity
- )
- ] ;
- :definition "influencee: an identifier (o2) for an entity, activity, or agent; " ;
- :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 ;