renamed hasTemporalExtent to occurredAt, changed domain from Involved to Timed.
added prov:generated as inverse of wasGeneratedBy
added Timed, made Usage, Generation and Activity subclasses of Timed.
--- a/ontology/ProvenanceOntology.owl Thu Feb 23 22:24:48 2012 -0500
+++ b/ontology/ProvenanceOntology.owl Thu Feb 23 22:33:38 2012 -0500
@@ -69,17 +69,6 @@
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
- // Datatypes
- //
- ///////////////////////////////////////////////////////////////////////////////////////
- -->
-
-
-
-
- <!--
- ///////////////////////////////////////////////////////////////////////////////////////
- //
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
@@ -179,6 +168,16 @@
+ <!-- http://www.w3.org/ns/prov#generated -->
+
+ <owl:ObjectProperty rdf:about="&prov;generated">
+ <rdfs:comment>This inverse of prov:wasGeneratedBy is defined so that Activities being described can reference their generated outputs directly without needing to 'stop' and start describing the Entity. This helps 'Activity-centric' modeling as opposed to 'Entity-centric' modeling.</rdfs:comment>
+ <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+ <owl:inverseOf rdf:resource="&prov;wasGeneratedBy"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#hadOriginalSource -->
<owl:ObjectProperty rdf:about="&prov;hadOriginalSource">
@@ -238,18 +237,6 @@
- <!-- http://www.w3.org/ns/prov#hadTemporalExtent -->
-
- <owl:ObjectProperty rdf:about="&prov;hadTemporalExtent">
- <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
- <rdfs:label xml:lang="en">had temporal extent</rdfs:label>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
- <rdfs:domain rdf:resource="&prov;Involvement"/>
- <rdfs:range rdf:resource="&prov;TimeInstant"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#hasAnnotation -->
<owl:ObjectProperty rdf:about="&prov;hasAnnotation">
@@ -271,6 +258,18 @@
+ <!-- http://www.w3.org/ns/prov#occurredAt -->
+
+ <owl:ObjectProperty rdf:about="&prov;occurredAt">
+ <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:label xml:lang="en">had temporal extent</rdfs:label>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+ <rdfs:range rdf:resource="&prov;TimeInstant"/>
+ <rdfs:domain rdf:resource="&prov;Timed"/>
+ </owl:ObjectProperty>
+
+
+
<!-- http://www.w3.org/ns/prov#qualified -->
<owl:ObjectProperty rdf:about="&prov;qualified">
@@ -531,6 +530,7 @@
<owl:Class rdf:about="&prov;Activity">
<rdfs:label xml:lang="en">Activity</rdfs:label>
<rdfs:subClassOf rdf:resource="&prov;Element"/>
+ <rdfs:subClassOf rdf:resource="&prov;Timed"/>
<rdfs:comment xml:lang="en">Activity is defined to be 'an identifiable activity, which performs a piece of work.'</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
</owl:Class>
@@ -580,6 +580,7 @@
<owl:Class rdf:about="&prov;Attribution">
<rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
+ <rdfs:comment>An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from a prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ].</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
</owl:Class>
@@ -649,6 +650,7 @@
<owl:Class rdf:about="&prov;Generation">
<rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
+ <rdfs:subClassOf rdf:resource="&prov;Timed"/>
<rdfs:comment xml:lang="de">An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualified [ a prov:Generation; prov:entity :baking; :foo :bar ].</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
</owl:Class>
@@ -819,6 +821,12 @@
+ <!-- http://www.w3.org/ns/prov#Timed -->
+
+ <owl:Class rdf:about="&prov;Timed"/>
+
+
+
<!-- http://www.w3.org/ns/prov#Trace -->
<owl:Class rdf:about="&prov;Trace">
@@ -835,11 +843,12 @@
<owl:Class rdf:about="&prov;Usage">
<rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+ <rdfs:subClassOf rdf:resource="&prov;Timed"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
</owl:Class>
</rdf:RDF>
-<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->