merged with subclassOf thing. and my removed inXSDDateTime
authorTim L <lebot@rpi.edu>
Fri, 09 Mar 2012 08:38:28 -0500
changeset 1848 878e96a62f9c
parent 1845 353dbaa58d2e (current diff)
parent 1847 a52fd5a26104 (diff)
child 1849 89ddb9cdded0
merged with subclassOf thing. and my removed inXSDDateTime
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Fri Mar 09 13:01:01 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Fri Mar 09 08:38:28 2012 -0500
@@ -696,16 +696,7 @@
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:category>simple</prov:category>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
-    </owl:DatatypeProperty>
-    
-
-
-    <!-- http://www.w3.org/ns/prov#inXSDDateTime -->
-
-    <owl:DatatypeProperty rdf:about="&prov;inXSDDateTime">
-        <prov:category>simple</prov:category>
-        <rdfs:range rdf:resource="&xsd;dateTime"/>
-        <rdfs:domain rdf:resource="&prov;TimeInstant"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
     </owl:DatatypeProperty>
     
 
@@ -716,6 +707,7 @@
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:category>simple</prov:category>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
     </owl:DatatypeProperty>
     
 
@@ -1053,6 +1045,7 @@
     <!-- 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 xml:lang="en">&#39;Instants are, intuitively, point-like in that they have no interior points&#39;