misc
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 09 Mar 2012 09:50:59 +0000
changeset 1837 d90e06a6458d
parent 1836 2e6043716c1c (current diff)
parent 1835 abfa6a63d79d (diff)
child 1838 0b14554a9ed7
misc
--- a/ontology/ProvenanceOntology.owl	Fri Mar 09 09:50:44 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Fri Mar 09 09:50:59 2012 +0000
@@ -70,6 +70,17 @@
     <!-- 
     ///////////////////////////////////////////////////////////////////////////////////////
     //
+    // Datatypes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
     // Object Properties
     //
     ///////////////////////////////////////////////////////////////////////////////////////
@@ -175,8 +186,8 @@
         <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>
         <prov:category>simple</prov:category>
-        <rdfs:comment>DM: Location is an optional attribute of Entity and Activity.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
         <rdfs:range rdf:resource="&prov;Location"/>
     </owl:ObjectProperty>
@@ -486,8 +497,8 @@
     <owl:ObjectProperty rdf:about="&prov;used">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
+        <prov:category>simple</prov:category>
         <rdfs:comment xml:lang="en">A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</rdfs:comment>
-        <prov:category>simple</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
         <rdfs:domain rdf:resource="&prov;Activity"/>
@@ -729,10 +740,9 @@
     <!-- http://www.w3.org/ns/prov#Activity -->
 
     <owl:Class rdf:about="&prov;Activity">
-        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
         <owl:disjointWith rdf:resource="&prov;Entity"/>
+        <rdfs:comment xml:lang="en">Activity is defined to be &#39;an identifiable activity, which performs a piece of work.&#39;</rdfs:comment>
         <prov:category>simple</prov:category>
-        <rdfs:comment xml:lang="en">Activity is defined to be &#39;an identifiable activity, which performs a piece of work.&#39;</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
     </owl:Class>
     
@@ -753,8 +763,8 @@
 
     <owl:Class rdf:about="&prov;Agent">
         <rdfs:subClassOf rdf:resource="&prov;Entity"/>
+        <prov:category>simple</prov:category>
         <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
-        <prov:category>simple</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent"/>
     </owl:Class>
     
@@ -834,7 +844,6 @@
     <!-- http://www.w3.org/ns/prov#Entity -->
 
     <owl:Class rdf:about="&prov;Entity">
-        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
         <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
         <prov:category>simple</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Entity"/>
@@ -1044,9 +1053,8 @@
     <!-- http://www.w3.org/ns/prov#TimeInstant -->
 
     <owl:Class rdf:about="&prov;TimeInstant">
-        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
+        <rdfs:comment>deprecate in favor of InstantaneousEvent? -Tim 6 march 2012</rdfs:comment>
         <prov:category>simple</prov:category>
-        <rdfs:comment>deprecate in favor of InstantaneousEvent? -Tim 6 march 2012</rdfs:comment>
         <rdfs:comment xml:lang="en">&#39;Instants are, intuitively, point-like in that they have no interior points&#39;
 reusing notion from W3C OWL-Time Working Draft (http://www.w3.org/TR/owl-time/), but not associating to it directly because it is not a Recommendation.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
@@ -1062,8 +1070,8 @@
     <owl:Class rdf:about="&prov;Trace">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:comment xml:lang="en">A prov:Trace can be from any prov:Element to any prov:Element, so it cannot be a subclass of prov:EntityInvolvement or prov:ActivityInvolvement.</rdfs:comment>
+        <prov:category>simple</prov:category>
         <rdfs:comment xml:lang="en">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:comment>
-        <prov:category>simple</prov:category>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
         <prov:unqualifiedForm rdf:resource="&prov;tracedTo"/>
@@ -1084,5 +1092,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 -->