--- a/ontology/ProvenanceOntology.owl Mon Mar 05 15:41:27 2012 +0000
+++ b/ontology/ProvenanceOntology.owl Mon Mar 05 17:55:00 2012 +0100
@@ -13,12 +13,12 @@
<rdf:RDF xmlns="http://example.com/"
xml:base="http://example.com/"
- xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
- xmlns:prov="http://www.w3.org/ns/prov-o/"
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:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:prov="http://www.w3.org/ns/prov-o/"
+ xmlns:owl="http://www.w3.org/2002/07/owl#">
<owl:Ontology rdf:about="http://www.w3.org/ns/prov-o/">
<rdfs:label xml:lang="en">PROV Ontology</rdfs:label>
<rdfs:comment rdf:datatype="&xsd;string">0.2</rdfs:comment>
@@ -39,12 +39,12 @@
///////////////////////////////////////////////////////////////////////////////////////
-->
+ <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
+ <owl:AnnotationProperty rdf:about="&rdfs;label"/>
<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.
@@ -69,6 +69,17 @@
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
+ // Datatypes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
@@ -87,8 +98,8 @@
<owl:ObjectProperty rdf:about="&prov;actedOnBehalfOf">
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
+ <rdfs:domain rdf:resource="&prov;Agent"/>
<rdfs:range rdf:resource="&prov;Agent"/>
- <rdfs:domain rdf:resource="&prov;Agent"/>
<prov:involvementClass rdf:resource="&prov;Responsibility"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
</owl:ObjectProperty>
@@ -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>
@@ -183,8 +194,8 @@
<owl:ObjectProperty rdf:about="&prov;hadOriginalSource">
<rdfs:comment xml:lang="en">how is this different from wasDerivedFrom?</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
+ <rdfs:range rdf:resource="&prov;Entity"/>
<rdfs:domain rdf:resource="&prov;Entity"/>
- <rdfs:range rdf:resource="&prov;Entity"/>
<prov:involvementClass rdf:resource="&prov;Source"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
</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>
@@ -265,7 +276,6 @@
Subproperties of prov:involved may also be asserted directly without being qualified.</rdfs:comment>
<rdfs:range rdf:resource="&prov;Element"/>
<rdfs:domain rdf:resource="&prov;Element"/>
- <rdfs:range rdf:resource="&prov;Involvement"/>
<prov:involvementClass rdf:resource="&prov;Involvement"/>
</owl:ObjectProperty>
@@ -297,6 +307,8 @@
<owl:ObjectProperty rdf:about="&prov;qualified">
<rdfs:comment>The subproperties here can be deleted without concern. For example, :element prov:qualified [ a prov:Usage ] handles the case of prov:hadQualifiedUsage . http://www.w3.org/2011/prov/track/issues/255</rdfs:comment>
<rdfs:comment>This one property is used to associate a prov:Element (prov:Entity or prov:Activity) with an instance of any subclass of prov:Involvement, which will provide additional descriptions about the binary prov:involved relation. For example, :baking prov:used :pan, :egg; prov:wasAssociatedWith :baker; prov:generated :dirty_pan; prov:qualified [ a prov:Usage; prov:entity :egg; prov:role :ingredient], [ a prov:Association; prov:entity :baker; prov:role :leader ] .</rdfs:comment>
+ <rdfs:domain rdf:resource="&prov;Element"/>
+ <rdfs:range rdf:resource="&prov;Involvement"/>
</owl:ObjectProperty>
@@ -306,8 +318,8 @@
<owl:ObjectProperty rdf:about="&prov;specializationOf">
<rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#SpecializationOf"/>
+ <rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:seeAlso rdf:resource="&prov;alternateOf"/>
</owl:ObjectProperty>
@@ -335,8 +347,8 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-n"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#precise-1"/>
+ <rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <rdfs:domain rdf:resource="&prov;Entity"/>
<prov:involvementClass rdf:resource="&prov;Trace"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
</owl:ObjectProperty>
@@ -367,8 +379,8 @@
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
<rdfs:domain rdf:resource="&prov;Activity"/>
<rdfs:range rdf:resource="&prov;Agent"/>
+ <rdfs:seeAlso rdf:resource="&prov;Association"/>
<prov:involvementClass rdf:resource="&prov;Association"/>
- <rdfs:seeAlso rdf:resource="&prov;Association"/>
<rdfs:subPropertyOf rdf:resource="&prov;involved"/>
</owl:ObjectProperty>
@@ -442,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>
@@ -455,8 +467,8 @@
<owl:ObjectProperty rdf:about="&prov;wasQuotedFrom">
<rdfs:comment xml:lang="en">Different from wasAttributedTo?</rdfs:comment>
<rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
+ <rdfs:domain rdf:resource="&prov;Entity"/>
<rdfs:range rdf:resource="&prov;Entity"/>
- <rdfs:domain rdf:resource="&prov;Entity"/>
<prov:involvementClass rdf:resource="&prov;Quotation"/>
<rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
</owl:ObjectProperty>
@@ -490,8 +502,8 @@
<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>
@@ -817,7 +829,8 @@
<!-- http://www.w3.org/ns/prov-o/Roled -->
<owl:Class rdf:about="&prov;Roled">
- <rdfs:label>To maintain OWL-RL, we cannot place [ on hasRole min 0 allValuesFrom Role ] restrictions on AgentInvolvement, Generation, Inform, StartByActivity, and Usage. So, prov:Roled is made explicit and set to the domain of hasRole. Then, the classes are subclasses of Roled. This doesn't pin it down entirely with the semantics, but can guide developers.</rdfs:label>
+ <rdfs:label>Roled</rdfs:label>
+ <rdfs:comment>To maintain OWL-RL, we cannot place [ on hasRole min 0 allValuesFrom Role ] restrictions on AgentInvolvement, Generation, Inform, StartByActivity, and Usage. So, prov:Roled is made explicit and set to the domain of hasRole. Then, the classes are subclasses of Roled. This doesn't pin it down entirely with the semantics, but can guide developers.</rdfs:comment>
</owl:Class>
@@ -930,5 +943,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 -->