--- a/ontology/ProvenanceOntology.owl Wed Jul 11 09:28:59 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Wed Jul 11 12:24:14 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>
@@ -221,11 +221,11 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#asInBundle">
<rdfs:label>asInBundle</rdfs:label>
+ <inverse>contextOf</inverse>
+ <category>expanded</category>
<rdfs:comment xml:lang="en">The prov:mentionOf and prov:asInBundle properties are "at risk" (http://www.w3.org/2005/10/Process-20051014/tr#cfi) and may be removed from this specification based on feedback. Please send feedback to public-prov-comments@w3.org.
These two properties are used to encode the PROV-DM's Mention construct (http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-mention), which might be removed from PROV if implementation experience reveals problems with supporting this construct. </rdfs:comment>
- <inverse>contextOf</inverse>
- <category>expanded</category>
<rdfs:comment xml:lang="en">When :x prov:mentionOf :y and :y is described in Bundle :b, the triple :x prov:asInBundle :b is also asserted to cite the Bundle in which :y was described.</rdfs:comment>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Bundle"/>
@@ -342,8 +342,8 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadMember">
<rdfs:label>hadMember</rdfs:label>
- <component>collections</component>
<category>expanded</category>
+ <component>expanded</component>
<inverse>wasMemberOf</inverse>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Collection"/>
@@ -351,8 +351,8 @@
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
</owl:ObjectProperty>
<owl:Axiom>
+ <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>
- <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>
<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"/>
@@ -668,6 +668,21 @@
+ <!-- http://www.w3.org/ns/prov#qualifiedMembership -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
+ <rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
+ <category>expanded</category>
+ <component>collections</component>
+ <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:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
+ <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#qualifiedQuotation -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedQuotation">
@@ -794,19 +809,6 @@
</owl:ObjectProperty>
- <!-- http://www.w3.org/ns/prov#qualifiedMembership -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedMembership">
- <rdfs:label xml:lang="en">qualifiedMembership</rdfs:label>
- <category>collections</category>
- <component>collections</component>
- <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:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
- <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
- </owl:ObjectProperty>
-
<!-- http://www.w3.org/ns/prov#wasAssociatedWith -->
@@ -968,8 +970,8 @@
</rdfs:range>
</owl:ObjectProperty>
<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>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>
@@ -1203,6 +1205,12 @@
+ <!-- http://www.w3.org/ns/prov#prov-dm -->
+
+ <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#prov-dm"/>
+
+
+
<!-- http://www.w3.org/ns/prov#startedAtTime -->
<owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#startedAtTime">
@@ -1245,48 +1253,13 @@
///////////////////////////////////////////////////////////////////////////////////////
-->
-
<!-- http://www.w3.org/2002/07/owl#Thing -->
<owl:Class rdf:about="&owl;Thing"/>
-
-
-<!-- http://www.w3.org/ns/prov#Membership -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#Membership">
- <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>collections</category>
- <component>collections</component>
- <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
- </owl:Class>
-
-
- <!-- http://www.w3.org/ns/prov#EmptyCollection -->
-
- <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"/>
- <component>collections</component>
- <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
- <category>collections</category>
- <definition xml:lang="en">An empty collection is a collection without members.</definition>
- <rdfs:comment xml:lang="en">An empty dictionary.</rdfs:comment>
- </owl:Class>
-
- <!-- http://www.w3.org/ns/prov#CompleteCollection -->
-
- <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"/>
- <category>collections</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>
- </owl:Class>
+
<!-- http://www.w3.org/ns/prov#Activity -->
@@ -1441,6 +1414,18 @@
+ <!-- http://www.w3.org/ns/prov#CompleteCollection -->
+
+ <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"/>
+ <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>
+ </owl:Class>
+
+
+
<!-- http://www.w3.org/ns/prov#Delegation -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Delegation">
@@ -1478,6 +1463,19 @@
+ <!-- http://www.w3.org/ns/prov#EmptyCollection -->
+
+ <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"/>
+ <component>collections</component>
+ <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>
+ </owl:Class>
+
+
+
<!-- http://www.w3.org/ns/prov#End -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#End">
@@ -1611,6 +1609,19 @@
+ <!-- http://www.w3.org/ns/prov#Membership -->
+
+ <owl:Class rdf:about="http://www.w3.org/ns/prov#Membership">
+ <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>expanded</category>
+ <component>collections</component>
+ <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
+ </owl:Class>
+
+
+
<!-- http://www.w3.org/ns/prov#Organization -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Organization">
@@ -1777,6 +1788,30 @@
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#used"/>
</owl:Class>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Individuals
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.w3.org/ns/prov#EmptyCollection -->
+
+ <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#EmptyCollection">
+ <rdfs:label xml:lang="en">EmptyCollection</rdfs:label>
+ <component>collections</component>
+ <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary</prov-dm>
+ <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>
+ </owl:NamedIndividual>
</rdf:RDF>
--- a/ontology/prov.ttl Wed Jul 11 09:28:59 2012 -0400
+++ b/ontology/prov.ttl Wed Jul 11 12:24:14 2012 -0400
@@ -153,7 +153,7 @@
rdfs:comment "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."@en ;
rdfs:label "CompleteMembership"@en ;
rdfs:subClassOf :Collection ;
- :category "collections" ;
+ :category "expanded" ;
:component "collections"@en .
:Delegation
@@ -186,11 +186,11 @@
:unqualifiedForm :wasDerivedFrom .
:EmptyCollection
- a owl:Class ;
+ a owl:Class, owl:NamedIndividual ;
rdfs:comment "An empty dictionary."@en ;
rdfs:label "EmptyCollection"@en ;
rdfs:subClassOf :Collection ;
- :category "collections" ;
+ :category "expanded" ;
:component "collections" ;
:definition "An empty collection is a collection without members."@en ;
:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-dictionary" .
@@ -295,7 +295,7 @@
a owl:Class ;
rdfs:comment "The descriptions on this Membership applies to the memberships of all KeyValuePairs cited by prov:pair."@en ;
rdfs:subClassOf :EntityInfluence ;
- :category "collections" ;
+ :category "expanded" ;
:component "collections" ;
:editorsDefinition "An optional set of descriptions about the membership of KeyValuePairs in a prov:Dictionary."@en ;
:unqualifiedForm :hadMember .
@@ -661,7 +661,7 @@
rdfs:label "hadMember" ;
rdfs:range :Entity ;
:category "expanded" ;
- :component "collections" ;
+ :component "expanded" ;
:inverse "wasMemberOf" ;
:sharesDefinitionWith :Collection .
@@ -800,6 +800,9 @@
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:subPropertyOf rdfs:seeAlso .
+:prov-dm
+ a owl:DatatypeProperty .
+
:qualifiedAssociation
a owl:ObjectProperty ;
rdfs:comment "If this Activity prov:wasAssociatedWith Agent :ag, then it can qualify the Association using prov:qualifiedAssociation [ a prov:Association; prov:agent :ag; :foo :bar ]."@en ;
@@ -945,7 +948,7 @@
rdfs:comment "The collection included the specified membership of keys-values."@en ;
rdfs:domain :Collection ;
rdfs:label "qualifiedMembership"@en ;
- :category "collections" ;
+ :category "expanded" ;
: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" ;