--- a/ontology/ProvenanceOntology.owl Wed May 30 19:35:22 2012 -0400
+++ b/ontology/ProvenanceOntology.owl Wed May 30 19:52:28 2012 -0400
@@ -148,6 +148,7 @@
<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"/>
<rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
</owl:ObjectProperty>
@@ -165,6 +166,7 @@
<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"/>
+ <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
<rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
</owl:ObjectProperty>
@@ -267,6 +269,7 @@
<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"/>
<rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
</owl:ObjectProperty>
@@ -281,6 +284,7 @@
<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"/>
+ <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
<rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involvee"/>
</owl:ObjectProperty>
@@ -377,6 +381,7 @@
<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"/>
</owl:ObjectProperty>
@@ -1505,13 +1510,13 @@
<owl:Class rdf:about="http://www.w3.org/ns/prov#InstantaneousEvent">
<rdfs:label>InstantaneousEvent</rdfs:label>
- <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#section-time-event</prov-dm-constraints>
<prov-n></prov-n>
<component>entities-activities</component>
<prov-dm></prov-dm>
<definition>An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous.</definition>
<rdfs:comment xml:lang="en">An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous.</rdfs:comment>
<category>qualified</category>
+ <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#event-ordering</prov-dm-constraints>
</owl:Class>
@@ -1618,9 +1623,9 @@
<prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Association</prov-dm-constraints>
<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>
<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>
- <prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-types-entities-agents</prov-dm>
<prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Association</prov-n>
<category>qualified</category>
+ <prov-dm>http://www.w3.org/TR/prov-dm/#association.plan</prov-dm>
<component>agents-responsibility</component>
</owl:Class>
--- a/ontology/prov.ttl Wed May 30 19:35:22 2012 -0400
+++ b/ontology/prov.ttl Wed May 30 19:52:28 2012 -0400
@@ -264,7 +264,7 @@
:component "entities-activities" ;
:definition "An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous." ;
:prov-dm "" ;
- :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#section-time-event" ;
+ :prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#event-ordering" ;
:prov-n "" .
:Invalidation
@@ -340,7 +340,7 @@
:category "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." ;
- :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-types-entities-agents" ;
+ :prov-dm "http://www.w3.org/TR/prov-dm/#association.plan" ;
:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Association" ;
:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Association" .
@@ -494,7 +494,8 @@
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 "activityInvolvement" ;
+ :sharesDefinitionWith :ActivityInvolvement .
:agent
a owl:FunctionalProperty, owl:ObjectProperty ;
@@ -505,7 +506,8 @@
: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 "agentInvolvement" ;
+ :sharesDefinitionWith :AgentInvolvement .
:alternateOf
a owl:ObjectProperty ;
@@ -589,7 +591,8 @@
: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 "dictionaryInvolvement" ;
+ :sharesDefinitionWith :DictionaryInvolvement .
:editorialNote
a owl:AnnotationProperty ;
@@ -612,7 +615,8 @@
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 "entityInvolvement" ;
+ :sharesDefinitionWith :EntityInvolvement .
:generated
a owl:ObjectProperty ;
@@ -680,7 +684,8 @@
rdfs:range :Plan ;
:category "qualified" ;
:component "agents-responsibility" ;
- :inverse "wasPlanFor" .
+ :inverse "wasPlanFor" ;
+ :sharesDefinitionWith :Plan .
:hadRole
a owl:IrreflexiveProperty, owl:ObjectProperty ;