--- a/ontology/ProvenanceFormalModel.html Fri Sep 30 11:45:31 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Fri Sep 30 22:17:52 2011 -0400
@@ -28,7 +28,7 @@
"URL: <a href=\"http://dvcs.w3.org/hg/prov/raw-file/tip/paq/provenance-access.html\">http://dvcs.w3.org/hg/prov/tip/paq/provenance-access.html</a>",
"PROV-Ontology-Namespace":
- "Luc Moreau, Paolo Missier"+
+ "TBD"+
"<a href=\"https://dvcs.w3.org/hg/prov/file/4452648d5a9b/ontology/ProvenanceOntology.owl\"><cite>PROV Ontology Namespace</cite></a>. "+
"2011, Work in progress. "+
"URL: <a href=\"https://dvcs.w3.org/hg/prov/file/4452648d5a9b/ontology/ProvenanceOntology.owl\">https://dvcs.w3.org/hg/prov/file/4452648d5a9b/ontology/ProvenanceOntology.owl</a>",
@@ -246,9 +246,12 @@
<section>
<h4>ProvenanceContainer</h4>
<div><b>Class Description</b></div>
- <p>ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.</p>
+ <p>ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container should have an URI associated with it. The ProvenanceContainer class can also be used to model the PROV-DM concept of <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-Account">Account</a>.</p>
<div><b>OWL syntax</b></div>
<pre>PROV:ProvenanceContainer rdfs:subClassOf owl:Thing.</pre>
+ <p>Examples of instance of class ProvenanceContainer includes a file describing the manufacturing details of a car, such as its batch number, manufacturer, date of manufacture, place of manufacture etc. </p>
+ <div class='note'> According to the definitions of ProvenanceContainer and Account, both contain a set of provenance assertions and have an identifier. Hence, ProvenanceContainer class can also be used to create instances of accounts.
+ </div>
<div class='issue'>Asserter needs to be defined. This is <a href="http://www.w3.org/2011/prov/track/issues/51">ISSUE-51</a>.</div>
<div class='issue'>Scope and Identifiers. This is <a href="http://www.w3.org/2011/prov/track/issues/81">ISSUE-81</a>.</div>
</section>
@@ -269,7 +272,7 @@
</cf:hasLocation>
</pre>
</div>
- <div class='note'> Need to clarify whether "geographic" includes "geospatial"?
+ <div class='note'> Need to clarify whether "geographic" includes "geospatial"?</div>
</section>
<section>
<h4>Role</h4>
@@ -288,6 +291,7 @@
</div>
<div class='issue'>start to use Role + assumedBy as the controller of a process execution? -dg</div>
</section>
+ <div class='issue'>The PROV-DM defines the term <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-qualifier">Qualifier</a>, which is incorporated implicitly in definition of OWL sub-classes and sub-properties that specialize a parent class or property by defining additional qualifying constraints. Hence, <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-qualifier">Qualifier</a> is not modeled explicitly in PROV ontology.</div>
</section>
<section>
<h3>Object Properties</h3>
@@ -1189,8 +1193,6 @@
<h3>PROV Data Model Terms Currently not Modeled in PROV Ontology</h3>
<p>
The following terms, which are defined in the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html">PROV data model</a>, are still to be encoded within the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html">PROV ontology</a>: </br>
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-Account">Account</a>,
- <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-qualifier">Qualifier</a>.
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-RecipeLink">Recipe Link</a>,
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#process-execution-independent-derivation-expression">wasEventuallyDerivedFrom</a>,
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-complement-of">wasComplementOf</a>.