--- a/ontology/ProvenanceOntology.owl Mon Jun 04 12:42:11 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Mon Jun 04 20:59:26 2012 -0400
@@ -54,23 +54,23 @@
<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="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#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="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"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
</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>
@@ -78,6 +78,7 @@
<rdfs:comment xml:lang="en">A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept.</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
</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>
<rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#definition"/>
@@ -128,8 +129,8 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#actedOnBehalfOf">
<rdfs:comment xml:lang="en">An object property to express the accountability of an agent towards another agent. The subordinate agent acted on behalf of the responsible agent in an actual activity. </rdfs:comment>
- <inverse>responsibleFor</inverse>
<category>starting-point</category>
+ <inverse>hadDelegate</inverse>
<component>agents-responsibility</component>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Agent"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
@@ -150,8 +151,8 @@
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment xml:lang="en">The property used by an prov:ActivityInvolvement to cite the prov:Activity that was involved with either an Activity or Entity. It can be used to refer to the activity involved in generating an entity, informing another activity, or starting another activity.</rdfs:comment>
<editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
+ <inverse>activityOfInvolvement</inverse>
<category>qualified</category>
- <inverse>activityInvolvement</inverse>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Activity"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#ActivityInvolvement"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#ActivityInvolvement"/>
@@ -165,9 +166,9 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#agent">
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<component>alternate</component>
+ <inverse>agentOfInvolvement</inverse>
<editorialNote>This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
<rdfs:comment xml:lang="en">The property used by a prov:AgentInvolvement to cite the Agent that was prov:involved with either an Activity or Entity. It can be used to express the agent involved in being responsible for an activity, being attributed to an entity, starting or ending an activity, or being responsible for another subordinate agent in an activity.</rdfs:comment>
- <inverse>agentInvolvement</inverse>
<category>qualified</category>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
@@ -180,14 +181,17 @@
<!-- http://www.w3.org/ns/prov#alternateOf -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#alternateOf">
+ <rdf:type rdf:resource="&owl;ReflexiveProperty"/>
+ <rdf:type rdf:resource="&owl;SymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;TransitiveProperty"/>
<prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Alternate</prov-dm-constraints>
<category>expanded</category>
+ <component>alternate</component>
<prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-alternate</prov-n>
- <component>alternate</component>
<prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-alternate</prov-dm>
+ <inverse>alternateOf</inverse>
<definition xml:lang="en">An entity is alternate of another if they are both a specialization of some common entity. The common entity does not need to be identified.</definition>
<rdfs:comment xml:lang="en">An entity is alternate of another if they are both a specialization of some common entity. The common entity does not need to be identified.</rdfs:comment>
- <inverse>alternateOf</inverse>
<rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -267,11 +271,11 @@
<!-- http://www.w3.org/ns/prov#dictionary -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#dictionary">
+ <inverse>dictionaryOfInvolvement</inverse>
<rdfs:comment xml:lang="en">The property used by a prov:DictionaryInvolvement to cite the prov:Dictionary that was prov:involved in insertion or removal of elements of a collection. </rdfs:comment>
<component>collections</component>
<category>collections</category>
<editorialNote>This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
- <inverse>dictionaryInvolvement</inverse>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#DictionaryInvolvement"/>
@@ -284,8 +288,8 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#entity">
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <inverse>entityInvolvement</inverse>
<rdfs:comment xml:lang="en">The property used by an prov:EntityInvolvement to cite the Entity that was prov:involved with either an Activity or Entity. It can be used to refer to the entity involved in deriving another entity, being quoted or revised from, being the source of another entity, or being used in an activity. </rdfs:comment>
+ <inverse>entityOfInvolvement</inverse>
<editorialNote xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</editorialNote>
<category>qualified</category>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -386,8 +390,8 @@
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<category>qualified</category>
<component>agents-responsibility</component>
+ <inverse>wasPlanOf</inverse>
<rdfs:comment xml:lang="en">The _optional_ Plan adopted by an Agent in Association with some Activity. Plan specifications are out of the scope of this specification.</rdfs:comment>
- <inverse>wasPlanFor</inverse>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Association"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Plan"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Plan"/>
@@ -526,7 +530,7 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<rdfs:comment xml:lang="en">If this Activity prov:wasAssociatedWith Agent :ag, then it can qualify the Association using prov:qualifiedAssociation [ a prov:Association; prov:agent :ag; :foo :bar ].</rdfs:comment>
<component>agents-responsibility</component>
- <inverse>associatedActivity</inverse>
+ <inverse>qualifiedAssociationOf</inverse>
<category>qualified</category>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Association"/>
@@ -542,7 +546,7 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<category>qualified</category>
<component>agents-responsibility</component>
- <inverse>attributedEntity</inverse>
+ <inverse>qualifiedAttributionOf</inverse>
<rdfs:comment xml:lang="en">If this Entity prov:wasAttributedTo Agent :ag, then it can qualify how it was using prov:qualifiedAttribution [ a prov:Attribution; prov:agent :ag; :foo :bar ].</rdfs:comment>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Attribution"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Attribution"/>
@@ -558,8 +562,8 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<component>entities-activities</component>
<rdfs:comment xml:lang="en">If this Activity prov:wasInformedBy Activity :a, then it can qualify how it was Inform[ed] using prov:qualifiedCommunication [ a prov:Communication; prov:activity :a; :foo :bar ].</rdfs:comment>
+ <inverse>qualifiedCommunicationOf</inverse>
<category>qualified</category>
- <inverse>informedActivity</inverse>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Communication"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Communication"/>
@@ -573,7 +577,7 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedDelegation">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<category>qualified</category>
- <inverse>responsibleAgent</inverse>
+ <inverse>qualifiedDelegationOf</inverse>
<rdfs:comment xml:lang="en">If this Agent prov:actedOnBehalfOf Agent :ag, then it can qualify how with prov:qualifiedResponsibility [ a prov:Responsibility; prov:agent :ag; :foo :bar ].</rdfs:comment>
<component>agents-responsibility</component>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Agent"/>
@@ -589,9 +593,9 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedDerivation">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<rdfs:comment xml:lang="en">If this Entity prov:wasDerivedFrom Entity :e, then it can qualify how it was derived using prov:qualifiedDerivation [ a prov:Derivation; prov:entity :e; :foo :bar ].</rdfs:comment>
+ <inverse>qualifiedDerivationOf</inverse>
<component>derivations</component>
<category>qualified</category>
- <inverse>derivedEntity</inverse>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -605,8 +609,8 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedEnd">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<category>qualified</category>
+ <inverse>qualifiedEndOf</inverse>
<component>entities-activities</component>
- <inverse>endedActivity</inverse>
<rdfs:comment xml:lang="en">If this Activity prov:wasEndedBy Entity :e1, then it can qualify how it was ended using prov:qualifiedEnd [ a prov:End; prov:entity :e1; :foo :bar ].</rdfs:comment>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#End"/>
@@ -621,8 +625,8 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedGeneration">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<rdfs:comment xml:lang="en">If this Activity prov:generated Entity :e, then it can qualify how it did performed the Generation using prov:qualifiedGeneration [ a prov:Generation; prov:entity :e; :foo :bar ].</rdfs:comment>
+ <inverse>qualifiedGenerationOf</inverse>
<component>entities-activities</component>
- <inverse>generatedEntity</inverse>
<category>qualified</category>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Generation"/>
@@ -636,8 +640,8 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion">
<component>collections</component>
+ <inverse>qualifiedInsertionOf</inverse>
<category>collections</category>
- <inverse>insertedToDictionary</inverse>
<rdfs:comment xml:lang="en">If this Dictionary prov:derivedByInsertionFrom another Dictionary :e, then it can qualify how it did perform the Insertion using prov:qualifiedInsertion [ a prov:Insertion; prov:dictionary :e; prov:inserted [a prov:KeyValuePair; prov:key "k1"^^xsd:string; prov:value :foo] ].</rdfs:comment>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
@@ -654,6 +658,7 @@
<rdfs:comment xml:lang="en">If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :a; :foo :bar ].</rdfs:comment>
<component>entities-activities</component>
<category>qualified</category>
+ <inverse>qualifiedInvalidationOf</inverse>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Invalidation"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Invalidation"/>
@@ -666,8 +671,8 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedQuotation">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
- <inverse>quotedByEntity</inverse>
<category>qualified</category>
+ <inverse>qualifiedQuotationOf</inverse>
<rdfs:comment xml:lang="en">If this Entity prov:wasQuotedFrom Entity :e, then it can qualify how using prov:qualifiedQuotation [ a prov:Quotation; prov:entity :e; :foo :bar ].</rdfs:comment>
<component>derivations</component>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -715,7 +720,7 @@
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<component>derivations</component>
<category>qualified</category>
- <inverse>sourcingEntity</inverse>
+ <inverse>qualifiedSourceOf</inverse>
<rdfs:comment xml:lang="en">If this Entity prov:hadOriginalSource Entity :e, then it can qualify how using prov:qualifiedSource [ a prov:Source; prov:entity :e; :foo :bar ].</rdfs:comment>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Source"/>
@@ -729,7 +734,7 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedStart">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
- <inverse>startedActivity</inverse>
+ <inverse>qualifiedStartOf</inverse>
<category>qualified</category>
<component>entities-activities</component>
<rdfs:comment xml:lang="en">If this Activity prov:wasStartedBy Entity :e1, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start; prov:entity :e1; :foo :bar ].</rdfs:comment>
@@ -745,10 +750,10 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedTrace">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
+ <inverse>qualifiedTraceOf</inverse>
<category>qualified</category>
<rdfs:comment xml:lang="en">If this prov:wasAttributedTo Entity :e, then it can qualify how using prov:qualifiedTrace [ a prov:Trace; prov:entity :e; :foo :bar ]. If this prov:wasAttributedTo Activity :a, then it can qualify how using prov:qualifiedTrace [ a prov:Trace; prov:activity :a; :foo :bar ].</rdfs:comment>
<component>derivations</component>
- <inverse>tracedEntity</inverse>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Trace"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Trace"/>
@@ -761,8 +766,8 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedUsage">
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
- <inverse>consumingActivity</inverse>
<category>qualified</category>
+ <inverse>qualifiedUsingActivity</inverse>
<component>entities-activities</component>
<rdfs:comment xml:lang="en">If this Activity prov:used Entity :e, then it can qualify how it used it using prov:qualifiedUsage [ a prov:Usage; prov:entity :e; :foo :bar ].</rdfs:comment>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
@@ -776,18 +781,21 @@
<!-- http://www.w3.org/ns/prov#specializationOf -->
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#specializationOf">
+ <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdf:type rdf:resource="&owl;TransitiveProperty"/>
<component>alternate</component>
<category>expanded</category>
<prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-specialization</prov-dm>
<definition>An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified.</definition>
<inverse>generalizationOf</inverse>
- <rdfs:comment xml:lang="en">An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified.</rdfs:comment>
<prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-specialization</prov-n>
+ <rdfs:comment xml:lang="en">An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified.</rdfs:comment>
<prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Specialization</prov-dm-constraints>
- <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#alternateOf"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#alternateOf"/>
</owl:ObjectProperty>
@@ -875,8 +883,8 @@
</owl:ObjectProperty>
<owl:Axiom>
<prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference</prov-dm-constraints>
+ <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 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>
<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"/>
@@ -889,12 +897,12 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<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>
<rdfs:comment 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.</rdfs:comment>
<category>starting-point</category>
<component>derivations</component>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -1002,8 +1010,8 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasQuotedFrom">
<category>expanded</category>
<component>derivations</component>
- <inverse>wasQuotedBy</inverse>
<rdfs:comment xml:lang="en">An entity is derived from an original entity by copying, or "quoting", some or all of it.</rdfs:comment>
+ <inverse>quotedAs</inverse>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Quotation"/>
--- a/ontology/prov.ttl Mon Jun 04 12:42:11 2012 -0400
+++ b/ontology/prov.ttl Mon Jun 04 20:59:26 2012 -0400
@@ -8,6 +8,9 @@
a owl:AnnotationProperty ;
rdfs:comment ""@en .
+rdfs:isDefinedBy
+ a owl:AnnotationProperty .
+
rdfs:label
a owl:AnnotationProperty ;
rdfs:comment ""@en .
@@ -483,7 +486,7 @@
) ;
:category "starting-point" ;
:component "agents-responsibility" ;
- :inverse "responsibleFor" ;
+ :inverse "hadDelegate" ;
:qualifiedForm :Delegation, :qualifiedDelegation .
:activity
@@ -494,7 +497,7 @@
rdfs:subPropertyOf :involvee ;
:category "qualified" ;
:editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple."@en ;
- :inverse "activityInvolvement" ;
+ :inverse "activityOfInvolvement" ;
:sharesDefinitionWith :ActivityInvolvement .
:agent
@@ -506,11 +509,11 @@
:category "qualified" ;
:component "alternate" ;
:editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple." ;
- :inverse "agentInvolvement" ;
+ :inverse "agentOfInvolvement" ;
:sharesDefinitionWith :AgentInvolvement .
:alternateOf
- a owl:ObjectProperty ;
+ a owl:ObjectProperty, owl:ReflexiveProperty, owl:SymmetricProperty, owl:TransitiveProperty ;
rdfs:comment "An entity is alternate of another if they are both a specialization of some common entity. The common entity does not need to be identified."@en ;
rdfs:domain :Entity ;
rdfs:range :Entity ;
@@ -592,7 +595,7 @@
:category "collections" ;
:component "collections" ;
:editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple." ;
- :inverse "dictionaryInvolvement" ;
+ :inverse "dictionaryOfInvolvement" ;
:sharesDefinitionWith :DictionaryInvolvement .
:editorialNote
@@ -621,7 +624,7 @@
rdfs:subPropertyOf :involvee ;
:category "qualified" ;
:editorialNote "This property behaves in spirit like rdf:object; it references the object of a prov:involved triple."@en ;
- :inverse "entityInvolvement" ;
+ :inverse "entityOfInvolvement" ;
:sharesDefinitionWith :EntityInvolvement .
:generated
@@ -693,7 +696,7 @@
rdfs:range :Plan ;
:category "qualified" ;
:component "agents-responsibility" ;
- :inverse "wasPlanFor" ;
+ :inverse "wasPlanOf" ;
:sharesDefinitionWith :Plan .
:hadRole
@@ -827,7 +830,7 @@
rdfs:range :Association ;
:category "qualified" ;
:component "agents-responsibility" ;
- :inverse "associatedActivity" ;
+ :inverse "qualifiedAssociationOf" ;
:sharesDefinitionWith :Association ;
:unqualifiedForm :wasAssociatedWith .
@@ -838,7 +841,7 @@
rdfs:range :Attribution ;
:category "qualified" ;
:component "agents-responsibility" ;
- :inverse "attributedEntity" ;
+ :inverse "qualifiedAttributionOf" ;
:sharesDefinitionWith :Attribution ;
:unqualifiedForm :wasAttributedTo .
@@ -849,7 +852,7 @@
rdfs:range :Communication ;
:category "qualified" ;
:component "entities-activities" ;
- :inverse "informedActivity" ;
+ :inverse "qualifiedCommunicationOf" ;
:qualifiedForm :Communication ;
:sharesDefinitionWith :Communication .
@@ -860,7 +863,7 @@
rdfs:range :Delegation ;
:category "qualified" ;
:component "agents-responsibility" ;
- :inverse "responsibleAgent" ;
+ :inverse "qualifiedDelegationOf" ;
:sharesDefinitionWith :Delegation ;
:unqualifiedForm :actedOnBehalfOf .
@@ -871,7 +874,7 @@
rdfs:range :Derivation ;
:category "qualified" ;
:component "derivations" ;
- :inverse "derivedEntity" ;
+ :inverse "qualifiedDerivationOf" ;
:sharesDefinitionWith :Derivation ;
:unqualifiedForm :wasDerivedFrom .
@@ -882,7 +885,7 @@
rdfs:range :End ;
:category "qualified" ;
:component "entities-activities" ;
- :inverse "endedActivity" ;
+ :inverse "qualifiedEndOf" ;
:sharesDefinitionWith :End ;
:unqualifiedForm :wasEndedBy .
@@ -912,7 +915,7 @@
rdfs:range :Generation ;
:category "qualified" ;
:component "entities-activities" ;
- :inverse "generatedEntity" ;
+ :inverse "qualifiedGenerationOf" ;
:sharesDefinitionWith :Generation ;
:unqualifiedForm :wasGeneratedBy .
@@ -923,7 +926,7 @@
rdfs:range :Insertion ;
:category "collections" ;
:component "collections" ;
- :inverse "insertedToDictionary" ;
+ :inverse "qualifiedInsertionOf" ;
:sharesDefinitionWith :Insertion ;
:unqualifiedForm :derivedByInsertionFrom .
@@ -934,6 +937,7 @@
rdfs:range :Invalidation ;
:category "qualified" ;
:component "entities-activities" ;
+ :inverse "qualifiedInvalidationOf" ;
:sharesDefinitionWith :Invalidation ;
:unqualifiedForm :wasInvalidatedBy .
@@ -944,7 +948,7 @@
rdfs:range :Quotation ;
:category "qualified" ;
:component "derivations" ;
- :inverse "quotedByEntity" ;
+ :inverse "qualifiedQuotationOf" ;
:sharesDefinitionWith :Quotation ;
:unqualifiedForm :wasQuotedFrom .
@@ -977,7 +981,7 @@
rdfs:range :Source ;
:category "qualified" ;
:component "derivations" ;
- :inverse "sourcingEntity" ;
+ :inverse "qualifiedSourceOf" ;
:sharesDefinitionWith :Source ;
:unqualifiedForm :hadOriginalSource .
@@ -988,7 +992,7 @@
rdfs:range :Start ;
:category "qualified" ;
:component "entities-activities" ;
- :inverse "startedActivity" ;
+ :inverse "qualifiedStartOf" ;
:sharesDefinitionWith :Start ;
:unqualifiedForm :wasStartedBy .
@@ -999,7 +1003,7 @@
rdfs:range :Trace ;
:category "qualified" ;
:component "derivations" ;
- :inverse "tracedEntity" ;
+ :inverse "qualifiedTraceOf" ;
:sharesDefinitionWith :Trace ;
:unqualifiedForm :tracedTo .
@@ -1010,7 +1014,7 @@
rdfs:range :Usage ;
:category "qualified" ;
:component "entities-activities" ;
- :inverse "consumingActivity" ;
+ :inverse "qualifiedUsingActivity" ;
:sharesDefinitionWith :Usage ;
:unqualifiedForm :used .
@@ -1027,12 +1031,12 @@
rdfs:subPropertyOf rdfs:seeAlso .
:specializationOf
- a owl:ObjectProperty ;
+ a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty, owl:TransitiveProperty ;
rdfs:comment "An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified."@en ;
rdfs:domain :Entity ;
rdfs:range :Entity ;
rdfs:seeAlso :alternateOf ;
- rdfs:subPropertyOf owl:topObjectProperty ;
+ rdfs:subPropertyOf :alternateOf ;
:category "expanded" ;
:component "alternate" ;
:definition "An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified." ;
@@ -1210,7 +1214,7 @@
) ;
:category "expanded" ;
:component "derivations" ;
- :inverse "wasQuotedBy" ;
+ :inverse "quotedAs" ;
:qualifiedForm :Quotation, :qualifiedQuotation .
:wasRevisionOf