--- a/ontology/ProvenanceOntology.owl Mon Mar 05 15:58:07 2012 -0500
+++ b/ontology/ProvenanceOntology.owl Mon Mar 05 22:20:26 2012 +0100
@@ -13,12 +13,12 @@
<rdf:RDF xmlns="http://example.com/"
xml:base="http://example.com/"
+ xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
+ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:prov="http://www.w3.org/ns/prov#"
- xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
- 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#">
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#">
<owl:Ontology rdf:about="http://www.w3.org/ns/prov#">
<rdfs:label xml:lang="en">PROV Ontology</rdfs:label>
<rdfs:comment rdf:datatype="&xsd;string">0.2</rdfs:comment>
@@ -39,11 +39,9 @@
///////////////////////////////////////////////////////////////////////////////////////
-->
- <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
<owl:AnnotationProperty rdf:about="&prov;involvementProperty">
<rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
</owl:AnnotationProperty>
- <owl:AnnotationProperty rdf:about="&rdfs;label"/>
<owl:AnnotationProperty rdf:about="&rdfs;comment"/>
<owl:AnnotationProperty rdf:about="&prov;involvementClass">
<rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified.
@@ -63,6 +61,19 @@
Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class.</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
</owl:AnnotationProperty>
+ <owl:AnnotationProperty rdf:about="&rdfs;label"/>
+ <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Datatypes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
@@ -130,8 +141,8 @@
<rdfs:comment xml:lang="en">Another prov:Entity that characterizes the same thing as this prov:Entity, potentially in a different manner.</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#AlternateOf"/>
+ <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:seeAlso rdf:resource="&prov;specializationOf"/>
</owl:ObjectProperty>
@@ -230,8 +241,8 @@
<owl:ObjectProperty rdf:about="&prov;hadSpatialExtent">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+ <rdfs:comment>This property is not functional because the many values could be at a variety of granularies (In this room, in that chair).</rdfs:comment>
<rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
- <rdfs:comment>This property is not functional because the many values could be at a variety of granularies (In this room, in that chair).</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
<rdfs:range rdf:resource="&prov;Location"/>
</owl:ObjectProperty>
@@ -354,8 +365,8 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
+ <prov:involvementClass rdf:resource="&prov;Usage"/>
<rdfs:seeAlso rdf:resource="&prov;Usage"/>
- <prov:involvementClass rdf:resource="&prov;Usage"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
</owl:ObjectProperty>
@@ -443,8 +454,8 @@
<owl:ObjectProperty rdf:about="&prov;wasInformedBy">
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
+ <rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Activity"/>
- <rdfs:domain rdf:resource="&prov;Activity"/>
<prov:involvementClass rdf:resource="&prov;Inform"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
</owl:ObjectProperty>
@@ -491,32 +502,14 @@
<owl:ObjectProperty rdf:about="&prov;wasStartedByActivity">
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
+ <rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Activity"/>
- <rdfs:domain rdf:resource="&prov;Activity"/>
<prov:involvementClass rdf:resource="&prov;StartByActivity"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
</owl:ObjectProperty>
- <!-- http://www.w3.org/ns/prov#wasSummaryOf -->
-
- <owl:ObjectProperty rdf:about="&prov;wasSummaryOf">
- <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Summary"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
- <rdfs:domain rdf:resource="&prov;Entity"/>
- <prov:involvementClass rdf:resource="&prov;Summarization"/>
- <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
- </owl:ObjectProperty>
- <owl:Axiom>
- <rdfs:comment>Justification: '6.6 wasSummaryOf is a strict sub-relation of wasDerivedFrom. this is not the case in -o' - Paolo 2012-Feb-24</rdfs:comment>
- <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
- <owl:annotatedTarget rdf:resource="&prov;wasDerivedFrom"/>
- <owl:annotatedSource rdf:resource="&prov;wasSummaryOf"/>
- </owl:Axiom>
-
-
-
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
@@ -938,5 +931,5 @@
-<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.2.3.22702) http://owlapi.sourceforge.net -->