--- a/ontology/prov.ttl Sat Jun 30 19:46:14 2012 -0400
+++ b/ontology/prov.ttl Sat Jun 30 19:47:26 2012 -0400
@@ -239,8 +239,8 @@
rdfs:label "Influence", "Influence"@en ;
:category "qualified" ;
:component "derivations" ;
- :definition "Influenceability is the ability to link back an entity to another by means of derivation or responsibility relations, possibly repeatedly traversed." ;
- :editorialNote "For simplicity, the hierarchy 'stops' at the primary resources (Activity, Entity, Agent). Distinctions beyond the type of object involved are not necessary in PROV-O, but may be established by others." ;
+ :definition "Influence is the capacity an entity, activity, or agent to have an effect on the character, development, or behavior of another by means of usage, start, end, generation, invalidation, communication, derivation, attribution, association, or delegation. "@en ;
+ :editorialNote "Subclass distinctions beyond the type of influencing resource (Activity, Entity, Agent) are not necessary in PROV-O, but may be established by others."@en ;
:prov-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-traceability" ;
:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-traceability" ;
:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-traceability" ;
@@ -464,10 +464,9 @@
:asInBundle
a owl:ObjectProperty ;
- rdfs:comment "TODO: set asInBundle rdfs:domain [ a owl:Class; that is the domain of mentionOf ] (trying to avoid naming the class."@en ;
:category "expanded" ;
:inverse "contextOf" ;
- :sharesDefinitionWith :ContextualizedEntity .
+ :sharesDefinitionWith :mentionOf .
:atLocation
a owl:ObjectProperty ;
@@ -540,13 +539,13 @@
:generated
a owl:ObjectProperty ;
- rdfs:comment "This inverse of prov:wasGeneratedBy is defined so that Activities being described can reference their generated outputs directly without needing to 'stop' and start describing the Entity. This helps 'Activity-centric' modeling as opposed to 'Entity-centric' modeling." ;
rdfs:domain :Activity ;
rdfs:range :Entity ;
rdfs:subPropertyOf :influenced ;
owl:inverseOf :wasGeneratedBy ;
:category "expanded" ;
:component "entities-activities" ;
+ :editorialNote "prov:generated is the only inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions." ;
:inverse "wasGeneratedBy" ;
:sharesDefinitionWith :Generation .
@@ -675,14 +674,18 @@
:influenced
a owl:ObjectProperty ;
owl:inverseOf :wasInfluencedBy ;
- :category "expanded" .
+ :category "expanded" ;
+ :component "agents-responsibility" ;
+ :inverse "wasInfluencedBy" ;
+ :sharesDefinitionWith :Influence .
:influencer
a owl:ObjectProperty ;
rdfs:comment "Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used." ;
rdfs:domain :Influence ;
:category "qualified" ;
- :editorsDefinition "The rdf:object of the (binary) prov:involved relation (triple) that this Influence is qualifying (reifying) for further description (as an n-ary relation)."@en ;
+ :editorialNote "This property and its subproperties are used in the same way as the rdf:object property, i.e. to reference the object of an unqualified prov:wasInfluencedBy or prov:influenced triple."@en ;
+ :editorsDefinition "This property is used as part of the qualified influence pattern. Subclasses of prov:Influence use these subproperties to reference the resource (Entity, Agent, or Activity) whose influence is being qualified." ;
:inverse "involvement" .
:invalidatedAtTime
@@ -704,8 +707,9 @@
a owl:ObjectProperty ;
rdfs:subPropertyOf :specializationOf ;
:category "expanded" ;
+ :definition "The mention of an Entity in a Bundle (containing a description of this Entity) is another Entity that is a specialization of the former and that presents the Bundle as a further additional aspect. "@en ;
:inverse "hadMention" ;
- :sharesDefinitionWith :ContextualizedEntity .
+ :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-mention" .
:prov-aq
a owl:AnnotationProperty ;
@@ -1044,7 +1048,22 @@
:wasInfluencedBy
a owl:ObjectProperty ;
+ rdfs:domain [
+ a owl:Class ;
+ owl:unionOf (:Activity
+ :Agent
+ :Entity
+ )
+ ] ;
+ rdfs:range [
+ a owl:Class ;
+ owl:unionOf (:Activity
+ :Agent
+ :Entity
+ )
+ ] ;
:category "qualified" ;
+ :component "agents-responsibility" ;
:editorialNote """The relation the sub-properties of prov:involved can also be specified in more detail using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualifiedUsage [ a prov:Usage; prov:entity :baking; :foo :bar; prov:atLocation :kitchen ] .
Subproperties of prov:involved may also be asserted directly without being qualified.
@@ -1052,8 +1071,8 @@
prov:involved should not be used without also using one of its subproperties.
"""@en ;
- :editorsDefinition "The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved."@en ;
- :inverse "wasInvolvedWith" .
+ :inverse "influenced" ;
+ :sharesDefinitionWith :Influence .
:wasInformedBy
a owl:ObjectProperty ;
@@ -1158,6 +1177,34 @@
[]
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; " ;
+ :prov-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 [
+ 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;" ;
+ :prov-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 ;