--- a/ontology/ProvenanceFormalModel.html Wed Oct 05 21:18:55 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Wed Oct 05 16:33:09 2011 -0400
@@ -418,7 +418,99 @@
</p>
<img
src="http://www.w3.org/2011/prov/wiki/images/b/b5/WasScheduledAfter.png" />
- </section>
+ </section>
+ <section>
+ <h3>Characteristics of Object Properties </h3>
+ <p>The table below summarizes the characteristics of the object properties that are defined in the OWL schema.
+ </p>
+ <table style="border-collapse: separate; border-spacing: 0; border-width: 1px; border-style: solid; border-color: #000; padding: 0">
+ <tr>
+ <th style="border-style: solid; border-width: 0 1px 1px 0">
+ </th><th style="border-style: solid; border-width: 0 1px 1px 0"> Functional
+ </th><th style="border-style: solid; border-width: 0 1px 1px 0"> Reverse functional
+ </th><th style="border-style: solid; border-width: 0 1px 1px 0"> Transitive
+ </th><th style="border-style: solid; border-width: 0 1px 1px 0"> Symmetric
+ </th><th style="border-style: solid; border-width: 0 1px 1px 0">Asymmetric
+ </th><th style="border-style: solid; border-width: 0 1px 1px 0"> Reflexive
+
+ </th><th style="border-style: solid; border-width: 0 1px 1px 0"> Irreflexive
+ </th></tr>
+ <tr>
+ <td style="border-style: solid; border-width: 0 1px 1px 0"> wasControlledBy
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">?
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0"> No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td></tr>
+ <tr>
+ <td style="border-style: solid; border-width: 0 1px 1px 0"> wasDerivedFrom
+
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td></tr>
+ <tr>
+ <td style="border-style: solid; border-width: 0 1px 1px 0"> hadParticipant
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">?
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td></tr>
+ <tr>
+ <tr>
+ <td style="border-style: solid; border-width: 0 1px 1px 0"> wasGeneratedBy
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">?
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td></tr>
+ <tr>
+ <td style="border-style: solid; border-width: 0 1px 1px 0"> used
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">?
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td></tr>
+ <tr>
+ <td style="border-style: solid; border-width: 0 1px 1px 0"> wasInformedBy
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td></tr>
+ <tr>
+ <td style="border-style: solid; border-width: 0 1px 1px 0"> wasScheduledAfter
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">No
+ </td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
+ </td></tr></table>
+ <div class='note'>Some of them may be subject to discussion. In particular, regarding the object properties <i>wasControlledBy</i>, <i>wasGeneratedBy</i> and <i>isUsedBY</i>, we did not specify whether they are transitive or not. One may argue that given that an agent can be a process execution, a process execution, e.g., <i>pe1</i>, can be controlled by an agent <i>pe2</i>, which happens to be a process execution that is controlled by an agent <i>ag</i>, and that, therefore, <i>ag</i> (indirectly) controls <i>pe1</i>. The same argument can be applied to <i>wasGeneratedBy</i> and <i>isUsedBY</i>. That said, we are not convinced that these properties should be declared as transitive. In fact, we are more inclined towards specifying that they are not.
+ </div>
+ </section>
</section>
<section>
<h3>Annotation Properties</h3>
@@ -1066,10 +1158,7 @@
for the complete example showing both domain-specific and PROV ontology terms
used side by side.
</p>
-
</section>
-
-
</section>
</section>
<section>
@@ -1088,98 +1177,8 @@
</section>
<section>
<h3>Provenance-specific Entailments Supported by PROV Ontology</h3>
- </section>
- <h3>Characteristics of Object Properties </h3>
- <p>
- The table below summarizes the characteristics of the object properties that are defined in the OWL schema. Some of them may be subject to discussion. In particular, regarding the object properties <i>wasControlledBy</i>, <i>wasGeneratedBy</i> and <i>isUsedBY</i>, we did not specify whether they are transitive or not. One may argue that given that an agent can be a process execution, a process execution, e.g., <i>pe1</i>, can be controlled by an agent <i>pe2</i>, which happens to be a process execution that is controlled by an agent <i>ag</i>, and that, therefore, <i>ag</i> (indirectly) controls <i>pe1</i>. The same argument can be applied to <i>wasGeneratedBy</i> and <i>isUsedBY</i>. That said, we are not convinced that these properties should be declared as transitive. In fact, we are more inclined towards specifying that they are not.
- </p>
- <table style="border-collapse: separate; border-spacing: 0; border-width: 1px; border-style: solid; border-color: #000; padding: 0">
- <tr>
-<th style="border-style: solid; border-width: 0 1px 1px 0">
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Functional
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Reverse functional
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Transitive
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Symmetric
-</th><th style="border-style: solid; border-width: 0 1px 1px 0">Asymmetric
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Reflexive
-
-</th><th style="border-style: solid; border-width: 0 1px 1px 0"> Irreflexive
-</th></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasControlledBy
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
-</td><td style="border-style: solid; border-width: 0 1px 1px 0"> No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasDerivedFrom
-
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> hadParticipant
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasGeneratedBy
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> used
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">?
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasInformedBy
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td></tr>
-<tr>
-<td style="border-style: solid; border-width: 0 1px 1px 0"> wasScheduledAfter
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">No
-</td><td style="border-style: solid; border-width: 0 1px 1px 0">Yes
-</td></tr></table>
- <section>
-
+ </section>
+ <section>
<h4>Additional properties </h4>
<div class="note">The following constraints are extracted from the
ProvenanceModel document. The text below should be kept consistent
@@ -1273,8 +1272,7 @@
<li> Various things involving IVP-of
</li></ul>
</section>
- </section>
- <section>
+ </section>
<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>
@@ -1285,7 +1283,6 @@
<p>
In the PROV ontology, the object property wasPrecededBy is using to specify the order of process executions. PROV-DM, however, uses instead two relationships: <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-OrderingOfProcessExecutions">wasInformedBy</a> and <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-OrderingOfProcessExecutions">wasScheduledAfter</a>. The ontology needs to be updated to cater for these two relationships.
</p>
- </section>
<section class='appendix'>
<h2>Acknowledgements</h2>
<p>
--- a/ontology/examples/ontology-extensions/crime-file/crime.owl Wed Oct 05 21:18:55 2011 +0100
+++ b/ontology/examples/ontology-extensions/crime-file/crime.owl Wed Oct 05 16:33:09 2011 -0400
@@ -8,16 +8,30 @@
<!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://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl#" >
+<<<<<<< local
+=======
+ <!ENTITY crime-file "http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/" >
+>>>>>>> other
<!ENTITY crime "http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#" >
]>
+<<<<<<< local
<rdf:RDF xmlns="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#"
xml:base="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#"
+=======
+<rdf:RDF xmlns="&crime-file;crime.owl#"
+ xml:base="&crime-file;crime.owl"
+>>>>>>> other
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:prov="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/ProvenanceOntology.owl#"
xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+<<<<<<< local
xmlns:crime="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#"
+=======
+ xmlns:crime-file="http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/"
+ xmlns:crime="&crime-file;crime.owl#"
+>>>>>>> other
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#">
@@ -44,12 +58,24 @@
+<<<<<<< local
<!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#hadFilePath -->
+=======
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/hadFilePath -->
+>>>>>>> other
+<<<<<<< local
<owl:ObjectProperty rdf:about="&crime;hadFilePath">
+=======
+ <owl:ObjectProperty rdf:about="&crime-file;hadFilePath">
+>>>>>>> other
<rdfs:range rdf:resource="&prov;Location"/>
<rdfs:subPropertyOf rdf:resource="&prov;hadLocation"/>
+<<<<<<< local
<rdfs:domain rdf:resource="&crime;CrimeFile"/>
+=======
+ <rdfs:domain rdf:resource="&crime-file;CrimeFile"/>
+>>>>>>> other
</owl:ObjectProperty>
@@ -65,9 +91,17 @@
+<<<<<<< local
<!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#hadFileContent -->
+=======
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/hasFileContent -->
+>>>>>>> other
+<<<<<<< local
<owl:DatatypeProperty rdf:about="&crime;hadFileContent"/>
+=======
+ <owl:DatatypeProperty rdf:about="&crime-file;hasFileContent"/>
+>>>>>>> other
@@ -106,57 +140,113 @@
+<<<<<<< local
<!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#CrimeFile -->
+=======
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/CrimeFile -->
+>>>>>>> other
+<<<<<<< local
<owl:Class rdf:about="&crime;CrimeFile">
+=======
+ <owl:Class rdf:about="&crime-file;CrimeFile">
+>>>>>>> other
<rdfs:subClassOf rdf:resource="&prov;Entity"/>
</owl:Class>
+<<<<<<< local
<!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#EmailProcessExecution -->
+=======
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/EmailProcessExecution -->
+>>>>>>> other
+<<<<<<< local
<owl:Class rdf:about="&crime;EmailProcessExecution">
- <rdfs:subClassOf rdf:resource="&prov;ProcessExecution"/>
- </owl:Class>
-
-
-
- <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#FileAppending -->
-
- <owl:Class rdf:about="&crime;FileAppending">
+=======
+ <owl:Class rdf:about="&crime-file;EmailProcessExecution">
+>>>>>>> other
<rdfs:subClassOf rdf:resource="&prov;ProcessExecution"/>
</owl:Class>
- <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#FileCreation -->
+<<<<<<< local
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#FileAppending -->
+=======
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/FileAppending -->
+>>>>>>> other
- <owl:Class rdf:about="&crime;FileCreation">
+<<<<<<< local
+ <owl:Class rdf:about="&crime;FileAppending">
+=======
+ <owl:Class rdf:about="&crime-file;FileAppending">
+>>>>>>> other
<rdfs:subClassOf rdf:resource="&prov;ProcessExecution"/>
</owl:Class>
- <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#FileEditing -->
+<<<<<<< local
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#FileCreation -->
+=======
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/FileCreation -->
+>>>>>>> other
- <owl:Class rdf:about="&crime;FileEditing">
+<<<<<<< local
+ <owl:Class rdf:about="&crime;FileCreation">
+=======
+ <owl:Class rdf:about="&crime-file;FileCreation">
+>>>>>>> other
<rdfs:subClassOf rdf:resource="&prov;ProcessExecution"/>
</owl:Class>
+<<<<<<< local
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#FileEditing -->
+=======
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/FileEditing -->
+>>>>>>> other
+
+<<<<<<< local
+ <owl:Class rdf:about="&crime;FileEditing">
+=======
+ <owl:Class rdf:about="&crime-file;FileEditing">
+>>>>>>> other
+ <rdfs:subClassOf rdf:resource="&prov;ProcessExecution"/>
+ </owl:Class>
+
+
+
+<<<<<<< local
<!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#Journalist -->
+=======
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/Journalist -->
+>>>>>>> other
+<<<<<<< local
<owl:Class rdf:about="&crime;Journalist">
+=======
+ <owl:Class rdf:about="&crime-file;Journalist">
+>>>>>>> other
<rdfs:subClassOf rdf:resource="&prov;Agent"/>
</owl:Class>
+<<<<<<< local
<!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/crime.owl#SpellChecking -->
+=======
+ <!-- http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/SpellChecking -->
+>>>>>>> other
+<<<<<<< local
<owl:Class rdf:about="&crime;SpellChecking">
+=======
+ <owl:Class rdf:about="&crime-file;SpellChecking">
+>>>>>>> other
<rdfs:subClassOf rdf:resource="&prov;ProcessExecution"/>
</owl:Class>
</rdf:RDF>