--- a/ontology/ProvenanceOntology.owl Tue Jul 17 15:03:58 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Tue Jul 17 15:05:37 2012 -0400
@@ -52,14 +52,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"/>
@@ -74,19 +74,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>
@@ -937,6 +937,15 @@
<component>agents-responsibility</component>
<rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
<sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Influence"/>
+ <rdfs:range>
+ <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:range>
<rdfs:domain>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
@@ -946,20 +955,11 @@
</owl:unionOf>
</owl:Class>
</rdfs:domain>
- <rdfs:range>
- <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: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>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>
@@ -973,8 +973,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>
@@ -1615,6 +1615,7 @@
<dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Association</dm>
<n rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Association</n>
<definition>A plan is an entity that represents a set of actions or steps intended by one or more agents to achieve some goals.</definition>
+ <category>expanded</category>
<rdfs:comment xml:lang="en">There exist no prescriptive requirement on the nature of plans, their representation, the actions or steps they consist of, or their intended goals. Since plans may evolve over time, it may become necessary to track their provenance, so plans themselves are entities. Representing the plan explicitly in the provenance can be useful for various tasks: for example, to validate the execution as represented in the provenance record, to manage expectation failures, or to provide explanations.</rdfs:comment>
<category>qualified</category>
<component>agents-responsibility</component>
--- a/ontology/prov.ttl Tue Jul 17 15:03:58 2012 -0400
+++ b/ontology/prov.ttl Tue Jul 17 15:05:37 2012 -0400
@@ -50,7 +50,7 @@
:ActivityInfluence
a owl:Class ;
- rdfs:comment "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)."@en, "It is not recommended that the type ActivityInfluence be asserted without also asserting one of its more specific subclasses."@en ;
+ rdfs:comment "ActivityInfluence is intended to be a general subclass of Influence of an Activity. It is a superclass for more specific kinds of Influences (e.g. Generation, Communication, and Invalidation)."@en, "It is not recommended that the type ActivityInfluence be asserted without also asserting one of its more specific subclasses."@en ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:label "ActivityInfluence" ;
rdfs:seeAlso :activity ;
@@ -76,7 +76,7 @@
:AgentInfluence
a owl:Class ;
- rdfs:comment "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)."@en, "It is not recommended that the type AgentInfluence be asserted without also asserting one of its more specific subclasses."@en ;
+ rdfs:comment "AgentInfluence is intended to be a general subclass of Influence of an Agenty. It is a superclass for more specific kinds of Influences (e.g. Association, Attribution, Delegation)."@en, "It is not recommended that the type AgentInfluence be asserted without also asserting one of its more specific subclasses."@en ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:label "AgentInfluence" ;
rdfs:seeAlso :agent ;
@@ -214,7 +214,7 @@
:EntityInfluence
a owl:Class ;
- rdfs:comment "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)."@en, "It is not recommended that the type EntityInfluence be asserted without also asserting one of its more specific subclasses."@en ;
+ rdfs:comment "EntityInfluence is intended to be a general subclass of Influence of an Entity. It is a superclass for more specific kinds of Influences (e.g. Usage, Derivation, Source)."@en, "It is not recommended that the type EntityInfluence be asserted without also asserting one of its more specific subclasses."@en ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:label "EntityInfluence" ;
rdfs:seeAlso :entity ;
@@ -310,7 +310,7 @@
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:label "Plan" ;
rdfs:subClassOf :Entity ;
- :category "qualified" ;
+ :category "expanded", "qualified" ;
:component "agents-responsibility" ;
:definition "A plan is an entity that represents a set of actions or steps intended by one or more agents to achieve some goals." ;
:dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Association"^^xsd:anyURI ;
@@ -678,7 +678,7 @@
:hadRole
a owl:ObjectProperty ;
- rdfs:comment "The _optional_ Role that an Entity assumes in the context of an Activity. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ]."@en ;
+ rdfs:comment "The _optional_ Role that an Entity assumed in the context of an Activity. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ]."@en ;
rdfs:domain :Influence, [
a owl:Class ;
owl:unionOf (:Association
@@ -1128,7 +1128,6 @@
:wasGeneratedBy
a owl:ObjectProperty ;
- rdfs:comment "wasGeneratedBy links Entitites with Activity representing that entity was generated as a result of Activity"@en ;
rdfs:domain :Entity ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:label "wasGeneratedBy" ;
@@ -1283,6 +1282,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 [
@@ -1297,20 +1310,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 ;