removed functional on datatype properties in provo
authorTim L <lebot@rpi.edu>
Mon, 09 Jul 2012 14:40:26 -0400
changeset 3810 79d932f97542
parent 3809 98390901f197
child 3811 538cbe654f2f
removed functional on datatype properties in provo
ontology/ProvenanceOntology.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Mon Jul 09 16:31:31 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Mon Jul 09 14:40:26 2012 -0400
@@ -53,14 +53,14 @@
         <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>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;label">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/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>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;label">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/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>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
@@ -75,19 +75,19 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
-        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
-        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#dm">
         <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
+        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
+        <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;isDefinedBy"/>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorsDefinition">
         <rdfs:comment xml:lang="en">When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one.</rdfs:comment>
@@ -351,8 +351,8 @@
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <dm>http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-collection</dm>
         <rdfs:comment xml:lang="en">A collection is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the collections.</rdfs:comment>
-        <dm>http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-collection</dm>
         <owl:annotatedProperty rdf:resource="&rdfs;range"/>
         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
@@ -878,8 +878,8 @@
         </owl:propertyChainAxiom>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN wasInfluencedBy(e2,ag1) also holds. </definition>
         <rdfs:comment>Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
-        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN wasInfluencedBy(e2,ag1) also holds. </definition>
         <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
@@ -1010,8 +1010,8 @@
         </owl:annotatedTarget>
     </owl:Axiom>
     <owl:Axiom>
+        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
         <dm>http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence</dm>
-        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
         <owl:annotatedProperty rdf:resource="&rdfs;range"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
         <owl:annotatedTarget>
@@ -1163,7 +1163,6 @@
     <!-- http://www.w3.org/ns/prov#atTime -->
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#atTime">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:label>atTime</rdfs:label>
         <component>entities-activities</component>
         <category>qualified</category>
@@ -1183,11 +1182,10 @@
     <!-- http://www.w3.org/ns/prov#endedAtTime -->
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#endedAtTime">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:label>endedAtTime</rdfs:label>
+        <component>entities-activities</component>
         <editorialNote xml:lang="en">It is the intent that the property chain holds: (prov:qualifiedEnd o prov:atTime) rdfs:subPropertyOf prov:endedAtTime.</editorialNote>
         <rdfs:comment xml:lang="en">The time at which an activity ended. See also prov:startedAtTime.</rdfs:comment>
-        <component>entities-activities</component>
         <category>starting-point</category>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
@@ -1201,7 +1199,6 @@
     <!-- http://www.w3.org/ns/prov#generatedAtTime -->
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#generatedAtTime">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:label>generatedAtTime</rdfs:label>
         <category>expanded</category>
         <component>entities-activities</component>
@@ -1219,7 +1216,6 @@
     <!-- http://www.w3.org/ns/prov#invalidatedAtTime -->
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#invalidatedAtTime">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:label>invalidatedAtTime</rdfs:label>
         <editorialNote xml:lang="en">It is the intent that the property chain holds: (prov:qualifiedInvalidation o prov:atTime) rdfs:subPropertyOf prov:invalidatedAtTime.</editorialNote>
         <category>expanded</category>
@@ -1249,7 +1245,6 @@
     <!-- http://www.w3.org/ns/prov#startedAtTime -->
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#startedAtTime">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:label>startedAtTime</rdfs:label>
         <category>starting-point</category>
         <editorialNote xml:lang="en">It is the intent that the property chain holds: (prov:qualifiedStart o prov:atTime) rdfs:subPropertyOf prov:startedAtTime.</editorialNote>
--- a/ontology/prov.ttl	Mon Jul 09 16:31:31 2012 +0100
+++ b/ontology/prov.ttl	Mon Jul 09 14:40:26 2012 -0400
@@ -502,7 +502,7 @@
     :sharesDefinitionWith :Location .
 
 :atTime
-    a owl:DatatypeProperty, owl:FunctionalProperty ;
+    a owl:DatatypeProperty ;
     rdfs:comment "The time at which an InstantaneousEvent occurred, in the form of xsd:dateTime."@en ;
     rdfs:domain :InstantaneousEvent ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
@@ -552,7 +552,7 @@
     rdfs:subPropertyOf :definition .
 
 :endedAtTime
-    a owl:DatatypeProperty, owl:FunctionalProperty ;
+    a owl:DatatypeProperty ;
     rdfs:comment "The time at which an activity ended. See also prov:startedAtTime."@en ;
     rdfs:domain :Activity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
@@ -591,7 +591,7 @@
     :sharesDefinitionWith :Generation .
 
 :generatedAtTime
-    a owl:DatatypeProperty, owl:FunctionalProperty ;
+    a owl:DatatypeProperty ;
     rdfs:comment "The time at which an entity was completely created."@en ;
     rdfs:domain :Entity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
@@ -769,7 +769,7 @@
     :sharesDefinitionWith :Invalidation .
 
 :invalidatedAtTime
-    a owl:DatatypeProperty, owl:FunctionalProperty ;
+    a owl:DatatypeProperty ;
     rdfs:comment "The time at which an entity began to be invalidated (i.e., no longer usable)."@en ;
     rdfs:domain :Entity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
@@ -790,7 +790,7 @@
     a owl:ObjectProperty ;
     rdfs:comment """The prov:mentionOf and prov:asInBundle properties are \"at risk\" (http://www.w3.org/2005/10/Process-20051014/tr#cfi) and may be removed from this specification based on feedback. Please send feedback to [email protected]
 
-These two properties are used to encode the PROV-DM's Mention construct (http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-mention), which might be removed from PROV if implementation experience reveals problems with supporting this construct. """@en, "prov:asInBundle is used to cite the Bundle in which the generalization was mentioned."@en ;
+These two properties are used to encode the PROV-DM's Mention construct (http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-mention), which might be removed from PROV if implementation experience reveals problems with supporting this construct. """@en, "When :x prov:mentionOf :y and :y is described in Bundle :b, the triple :x prov:asInBundle :b is also asserted to cite the Bundle in which :y was described.", "prov:asInBundle is used to cite the Bundle in which the generalization was mentioned."@en ;
     rdfs:domain :Entity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
     rdfs:label "mentionOf" ;
@@ -1042,7 +1042,7 @@
     :n "http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-n.html#expression-specialization"^^xsd:anyURI .
 
 :startedAtTime
-    a owl:DatatypeProperty, owl:FunctionalProperty ;
+    a owl:DatatypeProperty ;
     rdfs:comment "The time at which an activity started. See also prov:endedAtTime."@en ;
     rdfs:domain :Activity ;
     rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;