--- a/ontology/ProvenanceFormalModel.html Wed Oct 26 11:57:10 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html Wed Oct 26 12:01:31 2011 +0100
@@ -458,7 +458,10 @@
</div>
</section>
-
+ <section id="revision">
+ <h4>wasRevisionOf</h4>
+ <p>wasRevisionOf links two instances of Entity class, where one instance is a revision of another.</p>
+ </section>
<section id="wasderivedfrom">
<h4>wasDerivedFrom</h4>
@@ -482,7 +485,16 @@
<p>This object property is used to link two entities that are not directly used and generated respectively by a single instance of ProcessExecution.
</p>
<img src="diagram-history/khalidDiagrams/wasEventuallyDerivedFrom.png"
- style="height: 3em" alt="wasEventuallyDerivedFrom links Entity to Entity" />
+ style="height: 3em" alt="wasEventuallyDerivedFrom links Entity to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of wasEventuallyDerivedFrom property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>e5 wasEventuallyDerivedFrom e2</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e5">
+ <prov:wasEventuallyDerivedFrom rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
<div class='issue'>Is the current definition of wasEventuallyDerivedFrom inconsistent with definition of wasDerivedFrom? 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/126">ISSUE-126</a></div>
</section>
@@ -490,7 +502,16 @@
<h4>dependedOn</h4>
<p>dependedOn links two instances of Entity to model derivation of one instance of Entity from another instance of Entity. This property is asserted to be transitive</p>
<img src="diagram-history/khalidDiagrams/dependedOn.png"
- style="height: 3em" alt="dependedOn links Entity to Entity" />
+ style="height: 3em" alt="dependedOn links Entity to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of dependedOn property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>e5 dependedOn e2</i>. The RDF/XML syntax for asserting this is given below.
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e5">
+ <prov:dependedOn rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
<div class='issue'>Is dependedOn a parent property of wasDerivedFrom? This is <a href="http://www.w3.org/2011/prov/track/issues/125">ISSUE-125</a>
</section>
</section>
@@ -522,7 +543,16 @@
<p>hadPariticipant links Entity to ProcessExecution, where Entity used or wasGeneratedBy ProcessExecution.
<p><i>Note: No arity constraints are assumed between Entity and ProcessExecution</i></p>
<img src="diagram-history/khalidDiagrams/hadParticipant.png"
- style="height: 3em" alt="hadParticipant links ProcessExecution to Entity" />
+ style="height: 3em" alt="hadParticipant links ProcessExecution to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of hadParticipant property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>pe2 hadParticipant e2</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe2">
+ <prov:hadParticipant rdf:resource="http://www.example.com/crimeFile#e2"/>
+ </rdf:Description>
+ </pre>
+ </div>
<div class='pending'>Suggested definition for participation. This is <a href="http://www.w3.org/2011/prov/track/issues/49">ISSUE-49</a>.</div>
</section>
@@ -569,6 +599,15 @@
</p>
<img src="diagram-history/khalidDiagrams/hadRecipe.png"
style="height: 3em" alt="hadRecipe links ProcessExecution to Agent" />
+ <div><b>Example</b></div>
+ <p> Example of hadRecipe property as an addition to the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is pe1 using some file appending instructions (instructions1) (<i> pe1 hadRecipe instructions1</i>). The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
+ <prov:hadRecipe rdf:resource="http://www.example.com/crimeFile#instructions1"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
@@ -579,6 +618,15 @@
</p>
<img src="diagram-history/khalidDiagrams/wasInformedBy.png"
style="height: 3em" alt="wasInformedBy links ProcessExecution to ProcessExecution" />
+ <div><b>Example</b></div>
+ <p> Example of wasInformedBy property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>pe4 wasInformedBy pe3</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe4">
+ <prov:wasInformedBy rdf:resource="http://www.example.com/crimeFile#pe3"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
@@ -590,13 +638,95 @@
</p>
<img src="diagram-history/khalidDiagrams/wasScheduledAfter.png"
style="height: 3em" alt="wasScheduledAfter links ProcessExecution to ProcessExecution" />
+ <div><b>Example</b></div>
+ <p> Example of wasScheduledAfter property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>pe4 wasScheduledAfter pe3</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe4">
+ <prov:wasScheduledAfter rdf:resource="http://www.example.com/crimeFile#pe3"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section id="followed">
<h4>followed</h4>
<p>wasInformedBy links two instances of ProcessExecution to model ordering of the ProcessExecution instances.</p>
<img src="diagram-history/khalidDiagrams/followed.png"
- style="height: 3em" alt="followed links ProcessExecution to ProcessExecution" />
+ style="height: 3em" alt="followed links ProcessExecution to ProcessExecution" />
+ <div><b>Example</b></div>
+ <p> Example of followed property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is <i>pe4 followed pe1</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#pe4">
+ <prov:wasScheduledAfter rdf:resource="http://www.example.com/crimeFile#pe1"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </section>
+
+ <section id="attribution">
+ <h4>wasAttributedTo</h4>
+ <p>wasAttributedTo links an instance of the Entity class to an instance of Agent class.</p>
+ <img src="diagram-history/khalidDiagrams/wasAttributedTo.png"
+ style="height: 3em" alt="wasAttributedTo links Entity to Agent" />
+ <div><b>Example</b></div>
+ <p> Example of wasAttributedTo property as an addition to the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is the attribution of e3 to David for writting editing the file (<i>e3 wasAttributedTo David</i>). The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
+ <prov:wasAttributedTo rdf:resource="http://www.example.com/crimeFile#David"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </section>
+
+ <section id="quotation">
+ <h4>wasQuoteOf</h4>
+ <p>wasQuoteOf links an instance of the Entity class to an instance of of the Agent class.</p>
+ <img src="diagram-history/khalidDiagrams/wasQuoteOf.png"
+ style="height: 3em" alt="wasQuoteOf links Entity to Agent" />
+ <div><b>Example</b></div>
+ <p> Example of wasQuoteOf property as an addition to the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is e2 quoting Alice words, recorded by Bob (<i> e2 wasQuoteOf Alice</i>). The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e2">
+ <prov:wasQuoteOf rdf:resource="http://www.example.com/crimeFile#Alice"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </section>
+
+ <section id="summary">
+ <h4>wasSummaryOf</h4>
+ <p>wasSummaryOf links two instances of the Entity class.</p>
+ <img src="diagram-history/khalidDiagrams/wasSummaryOf.png"
+ style="height: 3em" alt="wasSummaryOf links Entity to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of wasSummaryOf property as an addition to the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> is e3 summarizing some additional statistics(<i> e3 wasSummaryOf statistics</i>). The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e3">
+ <prov:wasSummaryOf rdf:resource="http://www.example.com/crimeFile#statistics"/>
+ </rdf:Description>
+ </pre>
+ </div>
+ </section>
+
+ <section id="originalsource">
+ <h4>hadOriginalSource</h4>
+ <p>hadOriginalSource links two instances of the Entity class. This property is defined to be a specialization of the wasEventuallyDerivedFrom propery.</p>
+ <img src="diagram-history/khalidDiagrams/hadOriginalSource.png"
+ style="height: 3em" alt="hadOriginalSource links Entity to Entity" />
+ <div><b>Example</b></div>
+ <p> Example of hadOriginalSource property from the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario"> provenance scenario </a> <i> e6 hadOriginalSource e1</i>. The RDF/XML syntax for asserting this is given below.</p>
+ <div class="exampleOuter">
+ <pre class="example">
+ <rdf:Description rdf:about="http://www.example.com/crimeFile#e6">
+ <prov:hadOriginalSource rdf:resource="http://www.example.com/crimeFile#e1"/>
+ </rdf:Description>
+ </pre>
+ </div>
</section>
<section id="hastemporalvalue">
@@ -624,6 +754,8 @@
<code>Time</code> subclass by specifying the time using a
<code>time:inXSDDateTime</code> data property.
</p>
+ <img src="diagram-history/khalidDiagrams/startedAt.png"
+ style="height: 3em" alt="startedAt links ProcessExecution to Instant" />
<div class="exampleOuter">
<pre class="example">
<rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
@@ -643,6 +775,8 @@
<code>Time</code> subclass by specifying the time using a
<code>time:inXSDDateTime</code> data property.
</p>
+ <img src="diagram-history/khalidDiagrams/endedAt.png"
+ style="height: 3em" alt="endedAt links ProcessExecution to Instant" />
<div class="exampleOuter">
<pre class="example">
<rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
@@ -665,6 +799,8 @@
<code>Time</code> subclass by specifying the time using a
<code>time:inXSDDateTime</code> data property.
</p>
+ <img src="diagram-history/khalidDiagrams/wasGeneratedAt.png"
+ style="height: 3em" alt="wasGeneratedAt links Entity to Instant" />
<p>
Note that by constraint
</p>
@@ -691,6 +827,8 @@
is assumed by one and only one <code>Entity</code>.
<code>wasAssumedBy</code> is a subproperty of <code>wasComplementOf</code>.
</p>
+ <img src="diagram-history/khalidDiagrams/wasAssumedBy.png"
+ style="height: 3em" alt="wasAssumedBy links EntityInRole to Entity" />
<div class="exampleOuter">
<pre class="example">
<rdf:Description rdf:about="http://www.example.com/crimeFile#pe1">
@@ -717,6 +855,8 @@
relations such as <code>used</code> and
<code>wasGeneratedBy</code>.
</p>
+ <img src="diagram-history/khalidDiagrams/assumedRole.png"
+ style="height: 3em" alt="assumedRole links EntityInRole to Role" />
<p>
The definition and interpretation of the <code>Role</code>
is outside the scope for PROV-O. The <code>Role</code> class is
@@ -759,6 +899,8 @@
<code>Time</code> subclass by specifying the time using a
<code>time:inXSDDateTime</code> data property.
</p>
+ <img src="diagram-history/khalidDiagrams/assumedRoleAt.png"
+ style="height: 3em" alt="assumedRoleAt links EntityInRole to Instant" />
<p>
According to the constraint <a
href="#provenance-constraint-on-wasgeneratedby-generation-unicity">generation-unicity</a>
@@ -919,137 +1061,14 @@
<a href="https://dvcs.w3.org/hg/prov/raw-file/34a479f3f5d0/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.pdf"><img src="https://dvcs.w3.org/hg/prov/raw-file/34a479f3f5d0/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png" alt="Object properties among all classes in the PROV ontology"/></a>
-->
</section>
- <section id="extensions">
- <h3>PROV-DM extensions</h3>
- <p>
- The properties and classes defined in this section correspond to
- the <a
- href="http://www.w3.org/TR/prov-dm/#prov-dm-extensions">extensions</a>
- of [[PROV-DM]]. They are defined as subclasses and subproperties
- of existing PROV-O term and can be used as shortcuts for
- the expanded PROV-O assertions.
- </p>
- <section id="collections">
- <h4>Collections</h4>
- <p>A <code>Collection</code> is a type of
- <code>Entity</code> which have been composed of other
- entities. A PROV-O <code>Collection</code> can represent
- any typical collection, such as a ordered list, associative
- list/dictionary/hashe/map. It is out of scope for PROV to
- further define the exact nature of the collection, but
- PROV-O defines shortcuts for defining that a entity have
- been added or removed to a collection. These operations are
- modelled as subproperties of <code>wasDerivedFrom</code>.
- </p>
- <section id="collection-adding">
- <h5>Expansion - adding to a collection</h5>
- <p>
- An <code>Entity</code> can be added to a
- <code>Collection</code>, producing a new (derived)
- <code>Collection</code> which contains the new item.
- The item can be added at a <em>key</em> (represented as an
- <code>Entity</code>), which can be
- a <em>position</em> (for ordered lists), <em>hash key</em>
- for a dictionary, or for sets the key is the value itself.
- In PROV-O the addition are specified using the functional
- properties <code>wasExpandedFrom</code>,
- </code>wasExpandedBy</code> and <code>wasExpandedAt</code>.
- These correspond to [[PROV-DM]] <a
- href="http://www.w3.org/TR/prov-dm/#expression-Collection">collection
- assertions</a>
- <code>wasAddedTo_Coll</code>, <code>wasAddedTo_Entity</code>
- and <code>wasAddedTo_Key</code>. The properties are
- functional so that only one expansion is asserted at a time,
- relating the three properties without requiring an
- explicit "Expansion" class, and also asserting that no other
- entities have been added or removed between the two
- collections related using <code>prov:wasExpandedBy</code>.
- </p>
- <div class="issue">[[PROV-DM]] does not make the guarantee
- that other entities have not been added. Is it fair to make
- such an assumption?
- </div>
- <div class="exampleOuter">
- <pre class="example">
- :col1 a prov:Collection ;
- prov:wasExpandedBy :e1 ;
- prov:wasExpandedFrom :col0 ;
- prov:wasExpandedAt :key1 .
-
- :col2 a prov:Collection ;
- prov:wasExpandedBy :e2 ;
- prov:wasExpandedFrom :col1 ;
- prov:wasExpandedAt :key2 .
- </pre>
- </div>
- <div class="issue">TODO: Write example above as RDF/XML</div>
- <p>
- The above example describes collections <code>:col0</code>,
- <code>:col1</code> and <code>:col2</code>. We know that
- <code>:col2:</code> has the entries:
- <code>(:key2, :e2)</code> and <code>(:key1, :e2)</code>. As
- we don't have the provenance of :col0 we don't know of any
- other entities which might or might not be contained in it.
- </p>
- <div class="issue">Does prov:Collection allow replacement?
- If we do a second expansion using the :key1,
- will :col0 still be in the collection? We
- recommend that for <em>map</em> functionality replacement
- should always be represented by first a removal
- (wasReducedBy) followed by insertion (wasExpandedBy).
- </div>
- </section>
- <section id="collection-removal">
- <h5>Reduction - removing from a collection</h5>
- <p>
- Removing from a collection is modelled in a similar way to
- expansion, by deriving a new <em>reduced</em> collection
- which does not have the removed item or key. This is done
- using the properties <code>prov:wasReducedFrom</code>,
- <code>prov:wasReducedBy</code> and
- <code>prov:wasReducedAt</code>.
- </p>
- <div class="exampleOuter">
- <pre class="example">
- :col3 a prov:Collection ;
- prov:wasReducedFrom :col2 ;
- prov:wasReducedAt :key1 .
-
- :col4 a prov:Collection ;
- prov:wasReducedBy :e2 ;
- prov:wasReducedFrom :col3 ;
- prov:wasReducedAt :key2 .
- </pre>
- </div>
- <p>
- Asserting <code>prov:wasReducedBy</code> is optional, as
- <code>prov:wasReducedAt</code> will remove any value at that
- key.
- </p>
- <div class="issue">
- </div>
- </section>
- </section>
- </section>
- <section id="data-model-properties-not-addressed-in-prov-ontology">
- <h3>Data model properties not yet addressed in PROV-O</h3>
- <p>The following data model properties have not yet been discussed and included in the ontology: </p>
- <ul>
- <li><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#attribution-expression">Attribution expression</a></li>
- <li><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#quotation-expression">Quotation expression</a></li>
- <li><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#summary-expression">Summary expression</a></li>
- <li><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#original-source-expression">Original source expression</a></li>
- <li><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-Revision">Revision expression</a></li>
- </ul>
- </section>
</section>
<section id="specializing-provenance-ontology-for-domain-specific-provenance-applications">
<h2>Specializing Provenance Ontology for Domain-specific Provenance Applications</h2>
<p>The PROV Ontology is conceived as a reference ontology that can be extended by various domain-specific applications to model the required set of provenance terms. The PROv Ontology classes and properties can be specialized using the following two RDFS properties:</p>
<ul>
- <li>rdfs:subClassOf: The property rdfs:subClassOf is an instance of rdf:Property that is used to state that all the instances of one class are instances of another. [RDFS-Ref]</li>
- <li>rdfs:subPropertyOf: "A rdfs:subPropertyOf axiom defines that the property is a subproperty of some other property." [OWL-Ref]</li>
+ <li>rdfs:subClassOf: The property rdfs:subClassOf is an instance of rdf:Property that is used to state that all the instances of one class are instances of another [[!RDF-SCHEMA]]</li>
+ <li>rdfs:subPropertyOf: "A rdfs:subPropertyOf axiom defines that the property is a subproperty of some other property" [[!RDF-SCHEMA]]</li>
</ul>
<p>To illustrate the specialization mechanism, the PROV Ontology is extended to create an ontology schema for the <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#a-file-scenario">provenance scenario</a> describing the creation of the crime statistics file. </p>
@@ -1057,9 +1076,7 @@
<section id="moeling-the-crime-file-scenario">
<h3>Modeling the Crime File Scenario</h3>
- <p>The example scenario can be encoded as a <a href = "http://www.w3.org/TR/rdf-primer/"> Resource Description Framework (RDF) </a> graph in <a href = "">Figure X</a>:</p>
- <div class='issue'>insert figure X</div>
- <p><a href = "">Figure X</a> represents the ontology schema that extends the PROV ontology to model the provenance details of the crime file scenario. For example,</p>
+ <p>The example scenario can be encoded as a <a href = "http://www.w3.org/TR/rdf-primer/"> Resource Description Framework (RDF)</a>. For example,</p>
<ul>
<li>specialization of <a href="#agent">Agent</a> to define a class called Journalist, which has individuals such as alice, bob, and edith </li>
<li><a href="#processexecution">ProcessExecution</a>, e.g. FileCreation, FileAppending, and FileEditing </li>
--- a/ontology/ProvenanceOntology.owl Wed Oct 26 11:57:10 2011 +0100
+++ b/ontology/ProvenanceOntology.owl Wed Oct 26 12:01:31 2011 +0100
@@ -21,9 +21,10 @@
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#">
- <owl:Ontology rdf:about="http://www.w3.org/ns/prov-o/">
+ <owl:Ontology rdf:about="">
<rdfs:comment rdf:datatype="&xsd;string">0.1</rdfs:comment>
- <rdfs:comment xml:lang="en">This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page).
+ <rdfs:comment xml:lang="en"
+ >This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page).
If you wish to make comments regarding this document, please send them to public-prov-wg@w3.org (subscribe, archives). All feedback is welcome.</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/"/>
@@ -34,28 +35,6 @@
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
- // Annotation properties
- //
- ///////////////////////////////////////////////////////////////////////////////////////
- -->
-
-
-
-
- <!--
- ///////////////////////////////////////////////////////////////////////////////////////
- //
- // Datatypes
- //
- ///////////////////////////////////////////////////////////////////////////////////////
- -->
-
-
-
-
- <!--
- ///////////////////////////////////////////////////////////////////////////////////////
- //
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
@@ -90,132 +69,135 @@
<!-- http://www.w3.org/ns/prov-o/assumedRole -->
- <owl:ObjectProperty rdf:about="&prov-o;assumedRole">
+ <owl:ObjectProperty rdf:about="assumedRole">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">assumed role</rdfs:label>
- <rdfs:domain rdf:resource="&prov-o;EntityInRole"/>
- <rdfs:range rdf:resource="&prov-o;Role"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;wasComplementOf"/>
+ <rdfs:domain rdf:resource="EntityInRole"/>
+ <rdfs:range rdf:resource="Role"/>
+ <rdfs:subPropertyOf rdf:resource="wasComplementOf"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/assumedRoleAt -->
- <owl:ObjectProperty rdf:about="&prov-o;assumedRoleAt">
+ <owl:ObjectProperty rdf:about="assumedRoleAt">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">assumed role at</rdfs:label>
<rdfs:range rdf:resource="&time;Instant"/>
<rdfs:subPropertyOf rdf:resource="&time;hasBeginning"/>
- <rdfs:domain rdf:resource="&prov-o;EntityInRole"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;hadTemporalValue"/>
+ <rdfs:domain rdf:resource="EntityInRole"/>
+ <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/dependedOn -->
- <owl:ObjectProperty rdf:about="&prov-o;dependedOn">
+ <owl:ObjectProperty rdf:about="dependedOn">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">depended on</rdfs:label>
- <rdfs:range rdf:resource="&prov-o;Entity"/>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
+ <rdfs:range rdf:resource="Entity"/>
+ <rdfs:domain rdf:resource="Entity"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/endedAt -->
- <owl:ObjectProperty rdf:about="&prov-o;endedAt">
+ <owl:ObjectProperty rdf:about="endedAt">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">ended at</rdfs:label>
<rdfs:range rdf:resource="&time;Instant"/>
<rdfs:subPropertyOf rdf:resource="&time;hasEnd"/>
- <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;hadTemporalValue"/>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
+ <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/followed -->
- <owl:ObjectProperty rdf:about="&prov-o;followed">
+ <owl:ObjectProperty rdf:about="followed">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:label xml:lang="en">preceded</rdfs:label>
<rdfs:subPropertyOf rdf:resource="&time;after"/>
- <rdfs:range rdf:resource="&prov-o;ProcessExecution"/>
- <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
+ <rdfs:range rdf:resource="ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/hadLocation -->
- <owl:ObjectProperty rdf:about="&prov-o;hadLocation">
+ <owl:ObjectProperty rdf:about="hadLocation">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">had location</rdfs:label>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
- <rdfs:range rdf:resource="&prov-o;Location"/>
+ <rdfs:domain rdf:resource="Entity"/>
+ <rdfs:range rdf:resource="Location"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/hadOriginalSource -->
- <owl:ObjectProperty rdf:about="&prov-o;hadOriginalSource">
- <rdfs:comment rdf:datatype="&xsd;string">how is this different from wasDerivedFrom?</rdfs:comment>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
- <rdfs:range rdf:resource="&prov-o;Entity"/>
+ <owl:ObjectProperty rdf:about="hadOriginalSource">
+ <rdfs:comment rdf:datatype="&xsd;string"
+ >how is this different from wasDerivedFrom?</rdfs:comment>
+ <rdfs:range rdf:resource="Entity"/>
+ <rdfs:domain rdf:resource="Entity"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/hadParticipant -->
- <owl:ObjectProperty rdf:about="&prov-o;hadParticipant">
+ <owl:ObjectProperty rdf:about="hadParticipant">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">had participant</rdfs:label>
- <rdfs:range rdf:resource="&prov-o;Entity"/>
- <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:range rdf:resource="Entity"/>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/hadRecipe -->
- <owl:ObjectProperty rdf:about="&prov-o;hadRecipe">
+ <owl:ObjectProperty rdf:about="hadRecipe">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">had recipe</rdfs:label>
- <rdfs:comment xml:lang="en">The ProcessExecution activity performed was described by
+ <rdfs:comment xml:lang="en"
+ >The ProcessExecution activity performed was described by
the given recipe resource. Process specifications, as
referred to by recipe links, are out of scope of this
specification</rdfs:comment>
- <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
- <rdfs:range rdf:resource="&prov-o;Recipe"/>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
+ <rdfs:range rdf:resource="Recipe"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/hadTemporalValue -->
- <owl:ObjectProperty rdf:about="&prov-o;hadTemporalValue">
- <rdfs:label xml:lang="en">has temporal value</rdfs:label>
+ <owl:ObjectProperty rdf:about="hadTemporalValue">
+ <rdfs:label xml:lang="en"
+ >has temporal value</rdfs:label>
<rdfs:range rdf:resource="&time;TemporalEntity"/>
<rdfs:domain>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
- <rdf:Description rdf:about="&prov-o;Entity"/>
- <rdf:Description rdf:about="&prov-o;ProcessExecution"/>
+ <rdf:Description rdf:about="Entity"/>
+ <rdf:Description rdf:about="ProcessExecution"/>
</owl:unionOf>
</owl:Class>
</rdfs:domain>
@@ -225,244 +207,193 @@
<!-- http://www.w3.org/ns/prov-o/startedAt -->
- <owl:ObjectProperty rdf:about="&prov-o;startedAt">
+ <owl:ObjectProperty rdf:about="startedAt">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">started at</rdfs:label>
<rdfs:range rdf:resource="&time;Instant"/>
<rdfs:subPropertyOf rdf:resource="&time;hasBeginning"/>
- <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;hadTemporalValue"/>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
+ <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/used -->
- <owl:ObjectProperty rdf:about="&prov-o;used">
+ <owl:ObjectProperty rdf:about="used">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">used</rdfs:label>
- <rdfs:range rdf:resource="&prov-o;Entity"/>
- <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:range rdf:resource="Entity"/>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasAssumedBy -->
- <owl:ObjectProperty rdf:about="&prov-o;wasAssumedBy">
+ <owl:ObjectProperty rdf:about="wasAssumedBy">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:label xml:lang="en">assumed by</rdfs:label>
- <rdfs:range rdf:resource="&prov-o;Entity"/>
- <rdfs:domain rdf:resource="&prov-o;EntityInRole"/>
+ <rdfs:range rdf:resource="Entity"/>
+ <rdfs:domain rdf:resource="EntityInRole"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasAttributedTo -->
- <owl:ObjectProperty rdf:about="&prov-o;wasAttributedTo">
- <rdfs:range rdf:resource="&prov-o;Agent"/>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
+ <owl:ObjectProperty rdf:about="wasAttributedTo">
+ <rdfs:range rdf:resource="Agent"/>
+ <rdfs:domain rdf:resource="Entity"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasComplementOf -->
- <owl:ObjectProperty rdf:about="&prov-o;wasComplementOf">
+ <owl:ObjectProperty rdf:about="wasComplementOf">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:label xml:lang="en">was complement of</rdfs:label>
- <rdfs:comment xml:lang="en">wasComplementOf links two instances of Entity, where "it is relationship between two characterized entities asserted to have compatible characterization over some continuous time interval."</rdfs:comment>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
- <rdfs:range rdf:resource="&prov-o;Entity"/>
+ <rdfs:label xml:lang="en"
+ >was complement of</rdfs:label>
+ <rdfs:comment xml:lang="en"
+ >wasComplementOf links two instances of Entity, where "it is relationship between two characterized entities asserted to have compatible characterization over some continuous time interval."</rdfs:comment>
+ <rdfs:domain rdf:resource="Entity"/>
+ <rdfs:range rdf:resource="Entity"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasControlledBy -->
- <owl:ObjectProperty rdf:about="&prov-o;wasControlledBy">
+ <owl:ObjectProperty rdf:about="wasControlledBy">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:label xml:lang="en">was controlled by</rdfs:label>
- <rdfs:range rdf:resource="&prov-o;Agent"/>
- <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:label xml:lang="en"
+ >was controlled by</rdfs:label>
+ <rdfs:range rdf:resource="Agent"/>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasDerivedFrom -->
- <owl:ObjectProperty rdf:about="&prov-o;wasDerivedFrom">
+ <owl:ObjectProperty rdf:about="wasDerivedFrom">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:label xml:lang="en">was derived from</rdfs:label>
- <rdfs:comment xml:lang="en">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="&prov-o;Entity"/>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;dependedOn"/>
+ <rdfs:label xml:lang="en"
+ >was derived from</rdfs:label>
+ <rdfs:comment xml:lang="en"
+ >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>
<!-- http://www.w3.org/ns/prov-o/wasEventuallyDerivedFrom -->
- <owl:ObjectProperty rdf:about="&prov-o;wasEventuallyDerivedFrom">
- <rdfs:comment rdf:datatype="&xsd;string">The current definition of "wasDerivedFrom" states that there was an activity of "transformed from, created from, or affected by" that links the two Entity instances, which is *summarized* by the wasDerivedFrom property. Hence, "Process Execution Independent Derivation Expression" is not consistent with current definition of derivation.
+ <owl:ObjectProperty rdf:about="wasEventuallyDerivedFrom">
+ <rdfs:comment rdf:datatype="&xsd;string"
+ >The current definition of "wasDerivedFrom" states that there was an activity of "transformed from, created from, or affected by" that links the two Entity instances, which is *summarized* by the wasDerivedFrom property. Hence, "Process Execution Independent Derivation Expression" is not consistent with current definition of derivation.
This is Issue 126 (http://www.w3.org/2011/prov/track/issues/126)</rdfs:comment>
- <rdfs:range rdf:resource="&prov-o;Entity"/>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov-o/wasExpandedAt -->
-
- <owl:ObjectProperty rdf:about="&prov-o;wasExpandedAt">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:comment xml:lang="en">The collection was extended at the given key.</rdfs:comment>
- <rdfs:domain rdf:resource="&prov-o;ExpandedCollection"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov-o/wasExpandedBy -->
-
- <owl:ObjectProperty rdf:about="&prov-o;wasExpandedBy">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:domain rdf:resource="&prov-o;ExpandedCollection"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov-o/wasExpandedFrom -->
-
- <owl:ObjectProperty rdf:about="&prov-o;wasExpandedFrom">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:range rdf:resource="&prov-o;Collection"/>
- <rdfs:domain rdf:resource="&prov-o;ExpandedCollection"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
+ <rdfs:range rdf:resource="Entity"/>
+ <rdfs:domain rdf:resource="Entity"/>
+ <rdfs:subPropertyOf rdf:resource="wasDerivedFrom"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasGeneratedAt -->
- <owl:ObjectProperty rdf:about="&prov-o;wasGeneratedAt">
+ <owl:ObjectProperty rdf:about="wasGeneratedAt">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:label xml:lang="en">was generated at</rdfs:label>
+ <rdfs:label xml:lang="en"
+ >was generated at</rdfs:label>
<rdfs:range rdf:resource="&time;Instant"/>
<rdfs:subPropertyOf rdf:resource="&time;hasBeginning"/>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;hadTemporalValue"/>
+ <rdfs:domain rdf:resource="Entity"/>
+ <rdfs:subPropertyOf rdf:resource="hadTemporalValue"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasGeneratedBy -->
- <owl:ObjectProperty rdf:about="&prov-o;wasGeneratedBy">
+ <owl:ObjectProperty rdf:about="wasGeneratedBy">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:label xml:lang="en">was generated by</rdfs:label>
- <rdfs:comment xml:lang="en">wasGeneratedBy links Entitites with ProcessExecution representing that entity was generated as a result of ProcessExecution</rdfs:comment>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
- <rdfs:range rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:label xml:lang="en"
+ >was generated by</rdfs:label>
+ <rdfs:comment xml:lang="en"
+ >wasGeneratedBy links Entitites with ProcessExecution representing that entity was generated as a result of ProcessExecution</rdfs:comment>
+ <rdfs:domain rdf:resource="Entity"/>
+ <rdfs:range rdf:resource="ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasInformedBy -->
- <owl:ObjectProperty rdf:about="&prov-o;wasInformedBy">
+ <owl:ObjectProperty rdf:about="wasInformedBy">
<rdfs:label xml:lang="en">was informed by</rdfs:label>
- <rdfs:comment rdf:datatype="&xsd;string">Proposal to change the name to "Dependencies amongst Process Executions" to avoid ambiguities</rdfs:comment>
- <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
- <rdfs:range rdf:resource="&prov-o;ProcessExecution"/>
+ <rdfs:comment rdf:datatype="&xsd;string"
+ >Proposal to change the name to "Dependencies amongst Process Executions" to avoid ambiguities</rdfs:comment>
+ <rdfs:range rdf:resource="ProcessExecution"/>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasQuoteOf -->
- <owl:ObjectProperty rdf:about="&prov-o;wasQuoteOf">
- <rdfs:comment rdf:datatype="&xsd;string">Different from wasAttributedTo?</rdfs:comment>
- <rdfs:range rdf:resource="&prov-o;Agent"/>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov-o/wasReducedAt -->
-
- <owl:ObjectProperty rdf:about="&prov-o;wasReducedAt">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:domain rdf:resource="&prov-o;ReducedCollection"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
+ <owl:ObjectProperty rdf:about="wasQuoteOf">
+ <rdfs:comment rdf:datatype="&xsd;string"
+ >Different from wasAttributedTo?</rdfs:comment>
+ <rdfs:range rdf:resource="Agent"/>
+ <rdfs:domain rdf:resource="Entity"/>
</owl:ObjectProperty>
- <!-- http://www.w3.org/ns/prov-o/wasReducedBy -->
+ <!-- http://www.w3.org/ns/prov-o/wasRevisionOf -->
- <owl:ObjectProperty rdf:about="&prov-o;wasReducedBy">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:domain rdf:resource="&prov-o;ReducedCollection"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov-o/wasReducedFrom -->
-
- <owl:ObjectProperty rdf:about="&prov-o;wasReducedFrom">
- <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:domain rdf:resource="&prov-o;ReducedCollection"/>
- <rdfs:subPropertyOf rdf:resource="&prov-o;wasDerivedFrom"/>
+ <owl:ObjectProperty rdf:about="wasRevisionOf">
+ <rdfs:comment rdf:datatype="&xsd;string"
+ >How is this property distinct from wasDerivedFrom?</rdfs:comment>
+ <rdfs:domain rdf:resource="Entity"/>
+ <rdfs:range rdf:resource="Entity"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasScheduledAfter -->
- <owl:ObjectProperty rdf:about="&prov-o;wasScheduledAfter">
- <rdfs:label xml:lang="en">was scheduled after</rdfs:label>
- <rdfs:range rdf:resource="&prov-o;ProcessExecution"/>
- <rdfs:domain rdf:resource="&prov-o;ProcessExecution"/>
+ <owl:ObjectProperty rdf:about="wasScheduledAfter">
+ <rdfs:label xml:lang="en"
+ >was scheduled after</rdfs:label>
+ <rdfs:range rdf:resource="ProcessExecution"/>
+ <rdfs:domain rdf:resource="ProcessExecution"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/ns/prov-o/wasSummaryOf -->
- <owl:ObjectProperty rdf:about="&prov-o;wasSummaryOf">
- <rdfs:range rdf:resource="&prov-o;Entity"/>
- <rdfs:domain rdf:resource="&prov-o;Entity"/>
+ <owl:ObjectProperty rdf:about="wasSummaryOf">
+ <rdfs:domain rdf:resource="Entity"/>
+ <rdfs:range rdf:resource="Entity"/>
</owl:ObjectProperty>
@@ -537,67 +468,45 @@
<!-- http://www.w3.org/ns/prov-o/Agent -->
- <owl:Class rdf:about="&prov-o;Agent">
+ <owl:Class rdf:about="Agent">
<rdfs:label xml:lang="en">Agent</rdfs:label>
- <rdfs:subClassOf rdf:resource="&prov-o;Entity"/>
- <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov-o/Collection -->
-
- <owl:Class rdf:about="&prov-o;Collection">
- <rdfs:label xml:lang="en">Collection</rdfs:label>
- <rdfs:subClassOf rdf:resource="&prov-o;Entity"/>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov-o/EmptyCollection -->
-
- <owl:Class rdf:about="&prov-o;EmptyCollection">
- <rdfs:subClassOf rdf:resource="&prov-o;Collection"/>
+ <rdfs:subClassOf rdf:resource="Entity"/>
+ <rdfs:comment xml:lang="en"
+ >An agent represents a characterized entity capable of activity.</rdfs:comment>
</owl:Class>
<!-- http://www.w3.org/ns/prov-o/Entity -->
- <owl:Class rdf:about="&prov-o;Entity">
+ <owl:Class rdf:about="Entity">
<rdfs:label xml:lang="en">Entity</rdfs:label>
- <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
+ <rdfs:comment xml:lang="en"
+ >An identifiable characterized entity.</rdfs:comment>
</owl:Class>
<!-- http://www.w3.org/ns/prov-o/EntityInRole -->
- <owl:Class rdf:about="&prov-o;EntityInRole">
+ <owl:Class rdf:about="EntityInRole">
<rdfs:label xml:lang="en">Entity In Role</rdfs:label>
- <rdfs:subClassOf rdf:resource="&prov-o;Entity"/>
+ <rdfs:subClassOf rdf:resource="Entity"/>
<rdfs:subClassOf>
<owl:Restriction>
- <owl:onProperty rdf:resource="&prov-o;wasAssumedBy"/>
+ <owl:onProperty rdf:resource="wasAssumedBy"/>
<owl:someValuesFrom rdf:resource="&owl;Thing"/>
</owl:Restriction>
</rdfs:subClassOf>
- <rdfs:comment xml:lang="en">Entity in role is defined to be "a function assumed by a entity or an agent."</rdfs:comment>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov-o/ExpandedCollection -->
-
- <owl:Class rdf:about="&prov-o;ExpandedCollection">
- <rdfs:subClassOf rdf:resource="&prov-o;Collection"/>
+ <rdfs:comment xml:lang="en"
+ >Entity in role is defined to be "a function assumed by a entity or an agent."</rdfs:comment>
</owl:Class>
<!-- http://www.w3.org/ns/prov-o/Location -->
- <owl:Class rdf:about="&prov-o;Location">
+ <owl:Class rdf:about="Location">
<rdfs:label xml:lang="en">Location</rdfs:label>
</owl:Class>
@@ -605,18 +514,22 @@
<!-- http://www.w3.org/ns/prov-o/ProcessExecution -->
- <owl:Class rdf:about="&prov-o;ProcessExecution">
- <rdfs:label xml:lang="en">Process Execution</rdfs:label>
- <rdfs:comment xml:lang="en">ProcessExecution is defined to be "an identifiable activity, which performs a piece of work."</rdfs:comment>
+ <owl:Class rdf:about="ProcessExecution">
+ <rdfs:label xml:lang="en"
+ >Process Execution</rdfs:label>
+ <rdfs:comment xml:lang="en"
+ >ProcessExecution is defined to be "an identifiable activity, which performs a piece of work."</rdfs:comment>
</owl:Class>
<!-- http://www.w3.org/ns/prov-o/ProvenanceContainer -->
- <owl:Class rdf:about="&prov-o;ProvenanceContainer">
- <rdfs:label xml:lang="en">Provenance Container</rdfs:label>
- <rdfs:comment rdf:datatype="&xsd;string">ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.
+ <owl:Class rdf:about="ProvenanceContainer">
+ <rdfs:label xml:lang="en"
+ >Provenance Container</rdfs:label>
+ <rdfs:comment rdf:datatype="&xsd;string"
+ >ProvenanceContainer is defined to be an aggregation of provenance assertions. A provenance container SHOULD have an URI associated with it.
The ProvenanceContainer (and Account) can be instantiated as a RDF graph.</rdfs:comment>
</owl:Class>
@@ -625,32 +538,15 @@
<!-- http://www.w3.org/ns/prov-o/Recipe -->
- <owl:Class rdf:about="&prov-o;Recipe">
+ <owl:Class rdf:about="Recipe">
<rdfs:label xml:lang="en">Recipe</rdfs:label>
</owl:Class>
- <!-- http://www.w3.org/ns/prov-o/ReducedCollection -->
-
- <owl:Class rdf:about="&prov-o;ReducedCollection">
- <rdfs:subClassOf rdf:resource="&prov-o;Collection"/>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov-o/Revision -->
-
- <owl:Class rdf:about="&prov-o;Revision">
- <rdfs:label xml:lang="en">Revision</rdfs:label>
- <rdfs:comment xml:lang="en">Revision is defined as a modified version of a Entity.</rdfs:comment>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov-o/Role -->
- <owl:Class rdf:about="&prov-o;Role">
+ <owl:Class rdf:about="Role">
<rdfs:label xml:lang="en">Role</rdfs:label>
</owl:Class>
@@ -658,7 +554,7 @@
<!-- http://www.w3.org/ns/prov-o/Time -->
- <owl:Class rdf:about="&prov-o;Time">
+ <owl:Class rdf:about="Time">
<rdfs:label xml:lang="en">Time</rdfs:label>
<owl:equivalentClass>
<owl:Restriction>
@@ -667,7 +563,8 @@
</owl:Restriction>
</owl:equivalentClass>
<rdfs:subClassOf rdf:resource="&time;Instant"/>
- <rdfs:comment xml:lang="en">An time:Instant with time:inXSDDateTime specified</rdfs:comment>
+ <rdfs:comment xml:lang="en"
+ >An time:Instant with time:inXSDDateTime specified</rdfs:comment>
</owl:Class>
@@ -685,12 +582,10 @@
<!-- http://www.w3.org/TR/prov-o/ -->
- <owl:Thing rdf:about="http://www.w3.org/TR/prov-o/">
- <rdf:type rdf:resource="&owl;NamedIndividual"/>
- </owl:Thing>
+ <owl:Thing rdf:about="http://www.w3.org/TR/prov-o/"/>
</rdf:RDF>
-<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 2.2.1.1138) http://owlapi.sourceforge.net -->