--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl Sat Jun 30 19:56:37 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Derivation.ttl Sat Jun 30 20:09:18 2012 -0400
@@ -18,7 +18,7 @@
:foo :bar; # Arbitrary domain-specific descriptions are permitted.
- # Derivations can cite the Activity involved in doing the derivation.
+ # Derivations can cite the influencing Activity in doing the derivation.
prov:hadActivity :illustration_activity;
# They can also cite the Usage and Generation that the Activity performed to generate :bar_chart.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl Sat Jun 30 19:56:37 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Influence.ttl Sat Jun 30 20:09:18 2012 -0400
@@ -8,19 +8,19 @@
# 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):
+# (depending on the type of influencer):
# 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.
+ my:wasConductedBy :bob; # This unqualified influence is unknown in PROV, but would be a subproperty of wasAssociatedWith.
+ prov:qualifiedAssociation [ # Even though PROV systems do not understand my:wasConductedBy,
+ a prov:Association, # they can recognize that the unknown relation is being qualified with a prov:hadRole.
prov:AgentInfluence, # Inferred
prov:Influence; # Inferred
- prov:agent :bob; # The object of :wasConductedBy
+ prov:agent :bob; # The object of my:wasConductedBy
prov:hadRole :surgeon;
];
.
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_influencer.ttl Sat Jun 30 19:56:37 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_influencer.ttl Sat Jun 30 20:09:18 2012 -0400
@@ -13,20 +13,20 @@
:usage_1
a prov:Usage;
- prov:entity :aggregatedByRegions;
- prov:involvee :aggregatedByRegions; # Inferred
+ prov:entity :aggregatedByRegions;
+ prov:influencer :aggregatedByRegions; # Inferred
.
:association_1
a prov:Association;
- prov:agent :derek;
- prov:involvee :derek; # - - - - - - - Inferred
+ prov:agent :derek;
+ prov:influencer :derek; # - - - - - - - Inferred
.
:communication_1
a prov:Communication;
- prov:activity :aggregationActivity;
- prov:involvee :aggregationActivity; # Inferred
+ prov:activity :aggregationActivity;
+ prov:influencer :aggregationActivity; # Inferred
.
:aggregationActivity a prov:Activity .
--- a/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInfluence.ttl Sat Jun 30 19:56:37 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInfluence.ttl Sat Jun 30 20:09:18 2012 -0400
@@ -2,6 +2,24 @@
@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 influencing object):
+# AgentInfluence, EntityInfluence, and ActivityInfluence.
+
+:conductingSurgery_1
+ a prov:Activity;
+ prov:wasInfluencedBy :bob; # This unqualified influence is unknown in PROV, this would be a subproperty of wasAssociatedWith
+ prov:qualifiedInfluence [ # Even though PROV systems do not understand :wasConductedBy,
+ a 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/property_wasInfluencedBy.ttl Sat Jun 30 19:56:37 2012 -0400
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_wasInfluencedBy.ttl Sat Jun 30 20:09:18 2012 -0400
@@ -13,9 +13,9 @@
:illustrationActivity
a prov:Activity;
- prov:involved :aggregatedByRegions, # prov:involved is a superproperty of
- :derek, # many of the direct binary
- :aggregationActivity; # PROV-O properties.
+ prov:wasInfluencedBy :aggregatedByRegions, # prov:wasInfluencedBy is a superproperty of
+ :derek, # many of the direct binary
+ :aggregationActivity; # PROV-O properties.
.
:aggregationActivity a prov:Activity .