--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInfluence.ttl Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_ActivityInfluence.ttl Sat Jun 30 19:52:09 2012 -0400
@@ -4,4 +4,17 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# TODO
+:bar_chart
+ a prov:Entity;
+ prov:wasGeneratedBy :illustrating;
+ prov:qualifiedGeneration :making-bar-chart;
+.
+
+:making-bar-chart
+ a prov:Generation,
+ prov:ActivityInfluence; ## Instances of Generation, Invalidation, and Communication qualify
+ prov:activity :illustrating; ## the influence of an Activity (cited by prov:activity)
+ rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
+.
+
+:illustrating a prov:Activity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_AgentInvolvement.ttl Sat Jun 30 19:52:09 2012 -0400
@@ -9,8 +9,8 @@
prov:wasAssociatedWith :derek;
prov:qualifiedAssociation [
a prov:Association,
- prov:AgentInvolvement; ## Instances of Generation, Invalidation, and Communication qualify
- prov:agent :derek; ## the involvement of an Agent (cited by prov:agent)
+ prov:AgentInfluence; ## Instances of Generation, Invalidation, and Communication qualify
+ prov:agent :derek; ## the influence of an Agent (cited by prov:agent)
prov:hadRole :illustrationist
];
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl Sat Jun 30 19:52:09 2012 -0400
@@ -11,7 +11,7 @@
prov:Entity;
prov:derivedByRemovalFrom :c1;
prov:qualifiedRemoval [
- a prov:Removal, prov:DictionaryInvolvement;
+ a prov:Removal, prov:DictionaryInfluence;
prov:dictionary :c1;
prov:removedKey "k1"^^xsd:string;
];
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInvolvement.ttl Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EntityInvolvement.ttl Sat Jun 30 19:52:09 2012 -0400
@@ -4,22 +4,22 @@
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix : <http://example.com/> .
-# EntityInvolvement is intended to be an 'abstract' subclass of Involvement
-# for Involvements that reference an entity. It is a superclass for concrete Involvements
+# EntityInfluence is intended to be an 'abstract' subclass of Influence
+# for Influence that reference an entity. It is a superclass for concrete Influences
# (e.g. Usage, Derivation, Source)
-# It is not recommended that the type EntityInvolvement be used without also declaring
+# It is not recommended that the type EntityInfluence be used without also declaring
# one of its concrete subclasses.
-# By definition, all instances of prov:Usage are also instances of prov:EntityInvolvement.
+# By definition, all instances of prov:Usage are also instances of prov:EntityInfluence.
:sortActivity
a prov:Activity;
prov:used :datasetA;
prov:qualifiedUsage [
a prov:Usage,
- prov:EntityInvolvement; ## Instances of Start, End, Usage, and Derivation qualify
- prov:entity :datasetA; ## the involvement of an Entity (cited by prov:entity)
+ prov:EntityInfluence; ## Instances of Start, End, Usage, and Derivation qualify
+ prov:entity :datasetA; ## the influencd of an Entity (cited by prov:entity)
prov:hadRole :inputToBeSorted;
];
prov:generated :datasetB;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl Sat Jun 30 19:52:09 2012 -0400
@@ -2,6 +2,28 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix my: <http://example.com/ontology#> .
@prefix : <http://example.com/> .
-# TODO
+# Although a domain extension (e.g. ':wasConductedBy') is not defined by PROV-O,
+# the relation between a surgery and an agent can still be qualified
+# by reusing prov:Influence and one of its three subclasses
+# (depending on the type of the instance involved):
+# AgentInfluence, EntityInfluence, and ActivityInfluence.
+
+my:wasConductedBy rdfs:subPropertyOf prov:wasAssociatedWith .
+
+:conductingSurgery_1
+ a prov:Activity;
+ my:wasConductedBy :bob; # This unqualified involvement is unknown in PROV, this would be a subproperty of wasAssocitedWith
+ prov:qualifiedAssociation [ # Even though PROV systems do not understand :wasConductedBy,
+ a prov:Association, # they can recognize that the unknonw relation is being qualified wtih hadRole.
+ prov:AgentInfluence, # Inferred
+ prov:Influence; # Inferred
+ prov:agent :bob; # The object of :wasConductedBy
+ prov:hadRole :surgeon;
+ ];
+.
+
+:bob a prov:Agent .
+my:surgeon a prov:Role .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Involvement.ttl Sat Jun 30 19:47:26 2012 -0400
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix my: <http://example.com/ontology#> .
-@prefix : <http://example.com/> .
-
-# Although a domain extension (e.g. ':wasConductedBy') is not defined by PROV-O,
-# the relation between a surgery and an agent can still be qualified
-# by reusing prov:Involvement and one of its three subclasses
-# (depending on the type of the instance involved):
-# AgentInvolvement, EntityInvolvement, and ActivityInvolement.
-
-my:wasConductedBy rdfs:subPropertyOf prov:wasAssociatedWith .
-
-:conductingSurgery_1
- a prov:Activity;
- my:wasConductedBy :bob; # This unqualified involvement is unknown in PROV, this would be a subproperty of wasAssocitedWith
- prov:qualifiedAssociation [ # Even though PROV systems do not understand :wasConductedBy,
- a prov:Association, # they can recognize that the unknonw relation is being qualified wtih hadRole.
- prov:AgentInvolvement, # Inferred
- prov:Involvement; # Inferred
- prov:agent :bob; # The object of :wasConductedBy
- prov:hadRole :surgeon;
- ];
-.
-
-:bob a prov:Agent .
-my:surgeon a prov:Role .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl Sat Jun 30 19:52:09 2012 -0400
@@ -11,7 +11,7 @@
prov:Entity;
prov:derivedByRemovalFrom :c1;
prov:qualifiedRemoval [
- a prov:Removal, prov:DictionaryInvolvement;
+ a prov:Removal, prov:DictionaryInfluence;
prov:dictionary :c1;
prov:removedKey "k1"^^xsd:string,
"k2"^^xsd:string;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_activity.ttl Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_activity.ttl Sat Jun 30 19:52:09 2012 -0400
@@ -6,7 +6,7 @@
:making-bar-chart
a prov:Generation,
- prov:ActivityInvolvement;
+ prov:ActivityInfluence;
prov:activity :illustrating;
rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl Sat Jun 30 19:52:09 2012 -0400
@@ -10,7 +10,7 @@
a prov:Dictionary, prov:Entity;
prov:derivedByRemovalFrom :c1;
prov:qualifiedRemoval [
- a prov:Removal, prov:DictionaryInvolvement;
+ a prov:Removal, prov:DictionaryInfluence;
prov:dictionary :c1;
prov:removedKey "k1"^^xsd:string,
"k2"^^xsd:string;
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removed.ttl Sat Jun 30 19:47:26 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removed.ttl Sat Jun 30 19:52:09 2012 -0400
@@ -10,7 +10,7 @@
prov:derivedByRemovalFrom :c1;
prov:qualifiedRemoval [
a prov:Removal,
- prov:DictionaryInvolvement;
+ prov:DictionaryInfluence;
prov:dictionary :c1;
prov:removed "k1"^^xsd:string,
1337,