--- a/ontology/ProvenanceFormalModel.html Fri Oct 14 00:16:40 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Sat Oct 15 19:02:24 2011 -0400
@@ -1407,7 +1407,8 @@
<section id="provenance-constraint-on-wasgeneratedby-generation-pe-ordering">
<h4>Provenance constraint on wasGeneratedBy (generation-pe-ordering)</h4>
<p>The second constraint on wasGeneratedBy associates an ordering of events associated with the generation of an Entity instance and the start, end time or event of the PE instance.</p>
- <div class='issue'>"Given an assertion wasGeneratedBy(x,pe,r) or wasGeneratedBy(x,pe,r,t), one can infer that the generation of the thing denoted by x precedes the end of pe and follows the beginning of pe." This is <a href="http://www.w3.org/2011/prov/track/issues/122">ISSUE-122</a> and <a href="http://www.w3.org/2011/prov/track/issues/105">ISSUE-105</a></div>
+ <div class='note'> Without an explicit association of <a href="#time">Time</a> with the <a href="#entity">Entity</a> instance and <a href="#processexecution">PE</a> instance, it is not possible to state or enforce this constraint in the PROV ontology schema and the corresponding RDF dataset.
+ </div>
</section>
<section id="provenance-constraint-on-wasgeneratedby-generation-unicity">
<h4>Provenance constraint on wasGeneratedBy (generation-unicity)</h4>
@@ -1425,18 +1426,16 @@
<p>The PROV-DM describes a constraint for Used relation, which makes it necessary for an Entity instance e (linked to a ProcessExecution instance pe by Used relation) to be "used" before pe terminates and also the "generation" of e precedes "use" of e.
</p>
<div class='issue'>"Given a process execution expression identified by pe, an entity expression identified by e, a qualifier q, and optional time t, if assertion used(pe,e,q) or used(pe,e,q,t) holds, then the use of the thing represented by entity expression identified by e precedes the end time contained in the process execution expression identified by pe and follows its beginning. Furthermore, the generation of the thing denoted by entity expression identified by e always precedes its use." This is <a href="http://www.w3.org/2011/prov/track/issues/124">ISSUE-124</a></div>
+ </section>
+ <section id ="provenance-constraint-on-derivation-attributes">
+ <h4>Provenance constraint on wasDerivedFrom (derivation-attributes)</h4>
+ <p>The PROV-DM describes a constraint for asserting wasDerivedFrom property between two Entity instances if some attributes of an Entity instance are partially or fully determined by attributes values of the other Entity instance.
+ </p>
+ <div class='issue'>"Given a process execution expression denoted by pe, entity expressions denoted by e1 and e2, qualifiers q1 and q2, the assertion wasDerivedFrom(e2,e1,pe,q2,q1) or wasDerivedFrom(e2,e1) holds if and only if the values of some attributes of the entity expression identified by e2 are partly or fully determined by the values of some attributes of the entity expression identified by e1." This is <a href="http://www.w3.org/2011/prov/track/issues/125">ISSUE-125</a></div>
</section>
<section id="remaining-constraints">
- <h4>Remaining constraints not yet adressed by PROV-O</h4>
+ <h4>Remaining constraints not yet addressed by PROV-O</h4>
<ul>
-<li><a id="use-pe-ordering">use-pe-ordering</a> "Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>, if
- assertion <b>used(pe,e,r)</b> or <b>used(pe,e,r,t)</b> holds, one can
-infer that the use of the thing denoted by <b>e</b> precedes the end
-of <b>pe</b> and follows the beginning of <b>pe</b>. Furthermore, we
-can infer that the generation of the thing denoted by <b>e</b> always precedes
-its use." (<a href="../model/ProvenanceModel.html#use-pe-ordering">definition</a>)
-</li>
-
<li> <a id="derivation-attributes">derivation-attributes</a> "Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b>
or <b>wasDerivedFrom(e2,e1)</b> holds, if and only if:
the values of some attributes
--- a/ontology/ProvenanceOntology.owl Fri Oct 14 00:16:40 2011 +0100
+++ b/ontology/ProvenanceOntology.owl Sat Oct 15 19:02:24 2011 -0400
@@ -2,20 +2,20 @@
<!DOCTYPE rdf:RDF [
+ <!ENTITY prov "http://www.w3.org/ns/prov-o/" >
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
- <!ENTITY prov "http://www.w3.org/ns/prov-o/" >
]>
<rdf:RDF xmlns="http://www.w3.org/ns/prov-o/"
xml:base="http://www.w3.org/ns/prov-o/"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:prov="http://www.w3.org/ns/prov-o/"
xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
- xmlns:prov="http://www.w3.org/ns/prov-o/"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
@@ -49,6 +49,16 @@
+ <!-- http://www.w3.org/ns/prov-o/dependedOn -->
+
+ <owl:ObjectProperty rdf:about="dependedOn">
+ <rdf:type rdf:resource="&owl;TransitiveProperty"/>
+ <rdfs:range rdf:resource="Entity"/>
+ <rdfs:domain rdf:resource="Entity"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov-o/hadLocation -->
<owl:ObjectProperty rdf:about="hadLocation">
@@ -150,6 +160,7 @@
>wasDerivedFrom links two distinct characterized entities, where "some characterized entity is transformed from, created from, or affected by another characterized entity."</rdfs:comment>
<rdfs:range rdf:resource="Entity"/>
<rdfs:domain rdf:resource="Entity"/>
+ <rdfs:subPropertyOf rdf:resource="dependedOn"/>
</owl:ObjectProperty>
@@ -261,3 +272,7 @@
</owl:Class>
</rdf:RDF>
+
+
+<!-- Generated by the OWL API (version 2.2.1.1138) http://owlapi.sourceforge.net -->
+