--- a/ontology/ProvenanceOntology.owl	Thu May 10 17:38:16 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Thu May 10 13:04:56 2012 -0400
@@ -28,8 +28,8 @@
 
 If you wish to make comments regarding this document, please send them to public-prov-wg@w3.org (subscribe, archives). All feedback is welcome.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF"/>
+        <owl:versionInfo rdf:resource="http://www.w3.org/TR/2012/WD-prov-o-2012MMDD"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov#"/>
-        <owl:versionInfo rdf:resource="http://www.w3.org/TR/2012/WD-prov-o-2012MMDD"/>
     </owl:Ontology>
     
 
@@ -57,18 +57,19 @@
     <owl:AnnotationProperty rdf:about="&prov;definition">
         <rdfs:comment xml:lang="en">A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term.</rdfs:comment>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;label">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;editorialNote">
         <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;label">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;inverse">
         <rdfs:comment xml:lang="en">PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used.</rdfs:comment>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;comment">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
@@ -1159,6 +1160,7 @@
     <!-- http://www.w3.org/ns/prov#generatedAtTime -->
 
     <owl:DatatypeProperty rdf:about="&prov;generatedAtTime">
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:component>entities-activities</prov:component>
         <prov:category>starting-point</prov:category>
         <rdfs:comment xml:lang="en">The time at which an entity was completely created.</rdfs:comment>
@@ -1173,6 +1175,7 @@
     <!-- http://www.w3.org/ns/prov#invalidatedAtTime -->
 
     <owl:DatatypeProperty rdf:about="&prov;invalidatedAtTime">
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:comment xml:lang="en">The time at which the entity began to be invalidated.</rdfs:comment>
         <prov:component>entities-activities</prov:component>
         <prov:category>starting-point</prov:category>

--- a/ontology/prov.ttl	Thu May 10 17:38:16 2012 +0100
+++ b/ontology/prov.ttl	Thu May 10 13:04:56 2012 -0400
@@ -25,6 +25,9 @@
 owl:topObjectProperty
     a owl:ObjectProperty .
 
+owl:versionInfo
+    a owl:AnnotationProperty .
+
 <http://www.w3.org/ns/prov#>
     a owl:Ontology ;
     rdfs:comment "0.2"^^xsd:string, """This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page). 
@@ -639,7 +642,7 @@
     prov:inverse "wasGeneratedBy" .
 
 prov:generatedAtTime
-    a owl:DatatypeProperty ;
+    a owl:DatatypeProperty, owl:FunctionalProperty ;
     rdfs:comment "The time at which an entity was completely created."@en ;
     rdfs:domain prov:Entity ;
     rdfs:range xsd:dateTime ;
@@ -759,7 +762,7 @@
     prov:inverse "wasInsertedBy" .
 
 prov:invalidatedAtTime
-    a owl:DatatypeProperty ;
+    a owl:DatatypeProperty, owl:FunctionalProperty ;
     rdfs:comment "The time at which the entity began to be invalidated."@en ;
     rdfs:domain prov:Entity ;
     rdfs:range xsd:dateTime ;