--- a/ontology/ProvenanceOntology.owl Tue Feb 21 11:09:45 2012 +0000
+++ b/ontology/ProvenanceOntology.owl Tue Feb 21 11:10:04 2012 +0000
@@ -45,6 +45,17 @@
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
+ // Datatypes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
@@ -150,14 +161,8 @@
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source</rdfs:seeAlso>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasAssociatedWith"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
</owl:ObjectProperty>
- <owl:Axiom>
- <rdfs:comment>TODO</rdfs:comment>
- <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
- <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#hadOriginalSource"/>
- <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasAssociatedWith"/>
- </owl:Axiom>
@@ -167,6 +172,7 @@
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation</rdfs:seeAlso>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Quotation"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#entity"/>
</owl:ObjectProperty>
@@ -175,9 +181,9 @@
<owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadQuoterAgent">
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation</rdfs:seeAlso>
- <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
<rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Quotation"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#entity"/>
</owl:ObjectProperty>
@@ -487,6 +493,12 @@
<!-- http://www.w3.org/ns/prov#ActivityInvolvement -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#ActivityInvolvement">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#activity"/>
+ <owl:someValuesFrom rdf:resource="http://www.w3.org/ns/prov#Activity"/>
+ </owl:Restriction>
+ </owl:equivalentClass>
<rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
<owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
<rdfs:comment>An instance of prov:ActivityInvolvement is used to provide additional descriptions of a binary relation from any instance to an instance of prov:Activity.</rdfs:comment>
@@ -505,16 +517,24 @@
- <!-- http://www.w3.org/ns/prov#Association -->
+ <!-- http://www.w3.org/ns/prov#AgentInvolvement -->
- <owl:Class rdf:about="http://www.w3.org/ns/prov#Association">
- <owl:equivalentClass>
+ <owl:Class rdf:about="http://www.w3.org/ns/prov#AgentInvolvement">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+ <rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.w3.org/ns/prov#entity"/>
<owl:allValuesFrom rdf:resource="http://www.w3.org/ns/prov#Agent"/>
</owl:Restriction>
- </owl:equivalentClass>
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+ </rdfs:subClassOf>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prov#Association -->
+
+ <owl:Class rdf:about="http://www.w3.org/ns/prov#Association">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association</rdfs:seeAlso>
<rdfs:comment>An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from a prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:entity :baker; :foo :bar ].</rdfs:comment>
</owl:Class>
@@ -524,7 +544,7 @@
<!-- http://www.w3.org/ns/prov#Attribution -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Attribution">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution</rdfs:seeAlso>
</owl:Class>
@@ -563,7 +583,7 @@
<!-- http://www.w3.org/ns/prov#End -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#End">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Ending</rdfs:seeAlso>
<rdfs:seeAlso>http://www.w3.org/2011/prov/wiki/ProvRDF#Ending</rdfs:seeAlso>
</owl:Class>
@@ -584,6 +604,12 @@
<!-- http://www.w3.org/ns/prov#EntityInvolvement -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#EntityInvolvement">
+ <owl:equivalentClass>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#entity"/>
+ <owl:someValuesFrom rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+ </owl:Restriction>
+ </owl:equivalentClass>
<rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
<rdfs:comment>An instance of EntityInvolvement is used to provide additional descriptions of a binary relation from any instance to an instance of Entity.</rdfs:comment>
</owl:Class>
@@ -603,7 +629,7 @@
<!-- http://www.w3.org/ns/prov#Inform -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Inform">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#ActivityInvolvement"/>
<rdfs:comment rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering</rdfs:comment>
</owl:Class>
@@ -612,20 +638,20 @@
<!-- http://www.w3.org/ns/prov#Involvement -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Involvement">
- <owl:equivalentClass>
+ <rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.w3.org/ns/prov#hadTemporalExtent"/>
<owl:onClass rdf:resource="http://www.w3.org/ns/prov#TimeInstant"/>
<owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
</owl:Restriction>
- </owl:equivalentClass>
- <owl:equivalentClass>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.w3.org/ns/prov#hadSpatialExtent"/>
<owl:onClass rdf:resource="http://www.w3.org/ns/prov#Location"/>
<owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
</owl:Restriction>
- </owl:equivalentClass>
+ </rdfs:subClassOf>
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association</rdfs:seeAlso>
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Generation</rdfs:seeAlso>
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility</rdfs:seeAlso>
@@ -697,7 +723,7 @@
<!-- http://www.w3.org/ns/prov#Responsibility -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Responsibility">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
<rdfs:comment rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility</rdfs:comment>
<rdfs:comment>An instance of prov:Responsibility provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualified [ a prov:Responsiblity; prov:entity :mother; :foo :bar ].</rdfs:comment>
</owl:Class>
@@ -734,7 +760,21 @@
<!-- http://www.w3.org/ns/prov#Start -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Start">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#activity"/>
+ <owl:onClass rdf:resource="http://www.w3.org/ns/prov#Activity"/>
+ <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#entity"/>
+ <owl:onClass rdf:resource="http://www.w3.org/ns/prov#Agent"/>
+ <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
<rdfs:comment rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Starting</rdfs:comment>
<rdfs:comment rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again</rdfs:comment>
</owl:Class>
@@ -776,7 +816,7 @@
<!-- http://www.w3.org/ns/prov#Trace -->
<owl:Class rdf:about="http://www.w3.org/ns/prov#Trace">
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Revision</rdfs:seeAlso>
<rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability</rdfs:seeAlso>
<rdfs:seeAlso>An instance of prov:Trace provides additional descriptions about the binary prov:tracedTo relation from some prov:Element (Entity or Activity) to some other prov:Element. For example, :stomach_ache prov:tracedTo :spoon; prov:qualified [ a prov:Trace; prov:entity :spoon; :foo :bar ].</rdfs:seeAlso>
@@ -795,5 +835,5 @@
-<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->