dm links from provo
authorTim L <lebot@rpi.edu>
Sat, 30 Jun 2012 21:25:03 -0400
changeset 3555 1d3a6566c5c9
parent 3554 e32ae94201b2
child 3556 b6f0ca811e21
dm links from provo
ontology/ProvenanceOntology.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Sat Jun 30 21:12:32 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Sat Jun 30 21:25:03 2012 -0400
@@ -99,7 +99,7 @@
 Note how the range of the unqualified property is mirrored by the prov:activity or prov:entity on the involvement class.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#prov-constraints">
+    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#constraints">
         <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
@@ -1044,12 +1044,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#constraints -->
-
-    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#constraints"/>
-    
-
-
     <!-- http://www.w3.org/ns/prov#endedAtTime -->
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#endedAtTime">
@@ -1648,7 +1642,7 @@
 
     <!-- http://www.w3.org/ns/prov#Activity -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Activity">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Activity">
         <rdfs:label>Activity</rdfs:label>
         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Activity</dm>
         <component>entities-activities</component>
@@ -1657,13 +1651,13 @@
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Activity</n>
         <definition>An activity is something that occurs over a period of time and acts upon or with entities; it may include consuming, processing, transforming, modifying, relocating, using, or generating entities.</definition>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#activity-constraints</constraints>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Agent -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Agent">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Agent">
         <rdfs:label>Agent</rdfs:label>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Agent</n>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-Agent</constraints>
@@ -1672,13 +1666,13 @@
         <rdfs:comment xml:lang="en">An agent is a type of entity that bears some form of responsibility for an activity taking place.</rdfs:comment>
         <component>agents-responsibility</component>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-agent</dm>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Association -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Association">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Association">
         <rdfs:label>Association</rdfs:label>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-Association</constraints>
         <component>agents-responsibility</component>
@@ -1688,13 +1682,13 @@
         <rdfs:comment xml:lang="en">An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from an prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:agent :baker; :foo :bar ].</rdfs:comment>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Association</dm>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasAssociatedWith"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Attribution -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Attribution">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Attribution">
         <rdfs:label>Attribution</rdfs:label>
         <definition>Attribution is the ascribing of an entity to an agent.</definition>
         <category>qualified</category>
@@ -1704,13 +1698,13 @@
         <component>agents-responsibility</component>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#recod-attribution</constraints>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Bundle -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Bundle">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Bundle">
         <rdfs:label>Bundle</rdfs:label>
         <definition rdf:datatype="&xsd;anyURI">An account is any mechanism by which a set of provenance descriptions can be bundled up and named.</definition>
         <editorialNote xml:lang="en">Bundles expressed in PROV-O (i.e. RDF) may be modeled using:
@@ -1735,13 +1729,13 @@
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-bundle-entity</dm>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#account-constraints</constraints>
         <rdfs:comment xml:lang="en">Note that there are kinds of accounts (e.g. handwritten letters, audio recordings, etc.) that are not expressed in PROV-O, but can be still be described by PROV-O.</rdfs:comment>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Communication -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Communication">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Communication">
         <rdfs:label>Communication</rdfs:label>
         <category>qualified</category>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-Communication</constraints>
@@ -1751,13 +1745,13 @@
         <component>entities-activities</component>
         <definition>Communication is the exchange of an entity by two activities, one activity using the entity generated by the other.</definition>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasInformedBy"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Delegation -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Delegation">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Delegation">
         <rdfs:label>Delegation</rdfs:label>
         <category>qualified</category>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-delegation</dm>
@@ -1767,13 +1761,13 @@
         <component>agents-responsibility</component>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-Responsibility TODO</constraints>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#actedOnBehalfOf"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Derivation -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Derivation">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Derivation">
         <rdfs:label>Derivation</rdfs:label>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#Derivation-Relation</n>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#Derivation-Relation</constraints>
@@ -1783,13 +1777,13 @@
         <category>qualified</category>
         <definition>A derivation is a transformation of an entity into another, a construction of an entity into another, or an update of an entity, resulting in a new one.</definition>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#End -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#End">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#End">
         <rdfs:label>End</rdfs:label>
         <category>qualified</category>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-End</constraints>
@@ -1800,13 +1794,13 @@
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#types-of-events</constraints>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-End</n>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasEndedBy"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Entity -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Entity">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Entity">
         <rdfs:label>Entity</rdfs:label>
         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#section-entity-activity</dm>
         <component>entities-activities</component>
@@ -1815,13 +1809,13 @@
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Entity</n>
         <category>starting-point</category>
         <rdfs:comment xml:lang="en">An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary.</rdfs:comment>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Generation -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Generation">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Generation">
         <rdfs:label>Generation</rdfs:label>
         <definition>An entity generation event is the instantaneous event that marks the final instant of an entity&#39;s creation timespan, after which it is no longer available for use.</definition>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Generation</dm>
@@ -1832,13 +1826,13 @@
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-Generation</constraints>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#types-of-events</constraints>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasGeneratedBy"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Influence -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Influence">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Influence">
         <rdfs:label>Influence</rdfs:label>
         <rdfs:label xml:lang="en">Influence</rdfs:label>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-influence</n>
@@ -1852,13 +1846,13 @@
         <editorialNote xml:lang="en">Subclass distinctions beyond the type of influencing resource (Activity, Entity, Agent) are not necessary in PROV-O, but may be established by others.</editorialNote>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#involved"/>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#InstantaneousEvent -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#InstantaneousEvent">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#InstantaneousEvent">
         <rdfs:label>InstantaneousEvent</rdfs:label>
         <n></n>
         <component>entities-activities</component>
@@ -1867,26 +1861,26 @@
         <dm></dm>
         <rdfs:comment xml:lang="en">An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term &#39;event&#39; is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous.</rdfs:comment>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#event-ordering</constraints>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Invalidation -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Invalidation">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Invalidation">
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Invalidation</dm>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Invalidation</n>
         <component>entities-activities</component>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#dfn-invalidation-event</constraints>
         <category>qualified</category>
         <definition>Invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity. The entity is no longer available for use after invalidation. Any generation or usage of an entity precedes its invalidation.</definition>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Location -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Location">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Location">
         <rdfs:label>Location</rdfs:label>
         <definition>A location can be an identifiable geographic place (ISO 19112), but it can also be a non-geographic place such as a directory, row, or column. As such, there are numerous ways in which location can be expressed, such as by a coordinate, address, landmark, and so forth.</definition>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-location</dm>
@@ -1895,13 +1889,13 @@
         <n></n>
         <rdfs:comment xml:lang="en">A location can be an identifiable geographic place (ISO 19112), but it can also be a non-geographic place such as a directory, row, or column. As such, there are numerous ways in which location can be expressed, such as by a coordinate, address, landmark, and so forth.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#hadLocation"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Organization -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Organization">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Organization">
         <rdfs:label>Organization</rdfs:label>
         <definition>Agents of type Organization are social institutions such as companies, societies etc.</definition>
         <rdfs:comment xml:lang="en">Agents of type Organization are social institutions such as companies, societies etc.</rdfs:comment>
@@ -1910,13 +1904,13 @@
         <constraints></constraints>
         <component>agents-responsibility</component>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-agent</dm>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Person -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Person">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Person">
         <rdfs:label>Person</rdfs:label>
         <category>expanded</category>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-types</n>
@@ -1925,13 +1919,13 @@
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-agent</dm>
         <component>agents-responsibility</component>
         <definition>Agents of type Person are people.</definition>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Plan -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Plan">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Plan">
         <rdfs:label>Plan</rdfs:label>
         <definition>A plan is an entity that represents a set of actions or steps intended by one or more agents to achieve some goals.</definition>
         <rdfs:comment xml:lang="en">There exist no prescriptive requirement on the nature of plans, their representation, the actions or steps they consist of, or their intended goals. Since plans may evolve over time, it may become necessary to track their provenance, so plans themselves are entities. Representing the plan explicitly in the provenance can be useful for various tasks: for example, to validate the execution as represented in the provenance record, to manage expectation failures, or to provide explanations.</rdfs:comment>
@@ -1940,13 +1934,13 @@
         <component>agents-responsibility</component>
         <dm>http://www.w3.org/TR/prov-dm/#association.plan</dm>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Association</n>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Quotation -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Quotation">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Quotation">
         <rdfs:label>Quotation</rdfs:label>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-quotation</n>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-quotation</dm>
@@ -1956,13 +1950,13 @@
         <rdfs:comment xml:lang="en">An instance of prov:Quotation provides additional descriptions about the binary prov:wasQuotedFrom relation from some prov:Entity to another prov:Entity. For example, :here_is_looking_at_you_kid prov:wasQuotedFrom :casablanca_script; prov:qualified [ a prov:Quotation; prov:entity :casablanca_script; :foo :bar ].</rdfs:comment>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-quotation</constraints>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasQuotedFrom"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Revision -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Revision">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Revision">
         <rdfs:label>Revision</rdfs:label>
         <component>derivations</component>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-Revision</constraints>
@@ -1972,13 +1966,13 @@
         <rdfs:comment xml:lang="en">An instance of prov:Revision provides additional descriptions about the binary prov:wasRevisionOf relation from some prov:Entity to another prov:Entity. For example, :draft_2 prov:wasRevisionOf :draft_1; prov:qualified [ a prov:Source; prov:entity :draft_1; :foo :bar ].</rdfs:comment>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Revision</n>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasRevisionOf"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Role -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Role">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Role">
         <rdfs:label>Role</rdfs:label>
         <category>qualified</category>
         <constraints></constraints>
@@ -1988,13 +1982,13 @@
         <rdfs:comment xml:lang="en">A Role is the function of an entity with respect to an activity, in the context of a usage, generation, association, start, and end.</rdfs:comment>
         <component>agents-responsibility</component>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#hadRole"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#SoftwareAgent -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#SoftwareAgent">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#SoftwareAgent">
         <rdfs:label>SoftwareAgent</rdfs:label>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-agent</dm>
         <constraints></constraints>
@@ -2003,13 +1997,13 @@
         <definition>A software agent is running software.</definition>
         <rdfs:comment xml:lang="en">A software agent is running software.</rdfs:comment>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-types</n>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Source -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Source">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Source">
         <rdfs:label>Source</rdfs:label>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-primary-source</dm>
         <definition>An original source refers to the source material that is closest to the person, information, period, or idea being studied.</definition>
@@ -2019,13 +2013,13 @@
         <component>derivations</component>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-original-source</n>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadPrimarySource"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Start -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Start">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Start">
         <rdfs:label>Start</rdfs:label>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Start</dm>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Start</n>
@@ -2036,13 +2030,13 @@
         <category>qualified</category>
         <rdfs:comment xml:lang="en">An instance of prov:Start provides additional descriptions about the binary prov:wasStartedBy relation from some started prov:Activity to an prov:Entity that started it. For example, :foot_race prov:wasStartedBy :bang; prov:qualified [ a prov:Usage; prov:entity :bang; :foo :bar; prov:atTime &#39;2012-03-09T08:05:08-05:00&#39;^^xsd:dateTime ].</rdfs:comment>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#wasStartedBy"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Usage -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#Usage">
+    <owl:Class rdf:about="http://www.w3.org/ns/prov#Usage">
         <rdfs:label>Usage</rdfs:label>
         <component>entities-activities</component>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#types-of-events</constraints>
@@ -2053,13 +2047,13 @@
         <rdfs:comment xml:lang="en">An instance of prov:Usage provides additional descriptions about the binary prov:used relation from some prov:Activity to an prov:Entity that it used. For example, :keynote prov:used :podium; prov:qualified [ a prov:Usage; prov:entity :podium; :foo :bar ].</rdfs:comment>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-Usage</constraints>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#used"/>
-    </owl:NamedIndividual>
+    </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#alternateOf -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#alternateOf">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#alternateOf">
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-alternate</dm>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-alternate</n>
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-Alternate</constraints>
@@ -2069,13 +2063,13 @@
         <rdfs:comment xml:lang="en">An entity is alternate of another if they are both a specialization of some common entity. The common entity does not need to be identified.</rdfs:comment>
         <component>alternate</component>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#specializationOf"/>
-    </owl:NamedIndividual>
+    </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#specializationOf -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#specializationOf">
+    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#specializationOf">
         <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#term-Specialization</constraints>
         <component>alternate</component>
         <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-specialization</dm>
@@ -2085,13 +2079,13 @@
         <category>expanded</category>
         <n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-specialization</n>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#alternateOf"/>
-    </owl:NamedIndividual>
+    </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#value -->
 
-    <owl:NamedIndividual rdf:about="http://www.w3.org/ns/prov#value">
+    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#value">
         <category>expanded</category>
         <editorialNote>The editor&#39;s definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue</editorialNote>
         <editorialNote>This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, &#39;may be used in describing structured values&#39;).</editorialNote>
@@ -2101,10 +2095,7 @@
         <n></n>
         <rdfs:comment xml:lang="en">Provides a value for an Entity.</rdfs:comment>
         <editorsDefinition xml:lang="en">The main value (if there is one) of a structured value.</editorsDefinition>
-    </owl:NamedIndividual>
-    <rdf:Description>
-        <constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference</constraints>
-    </rdf:Description>
+    </owl:DatatypeProperty>
 </rdf:RDF>
 
 
--- a/ontology/prov.ttl	Sat Jun 30 21:12:32 2012 -0400
+++ b/ontology/prov.ttl	Sat Jun 30 21:25:03 2012 -0400
@@ -38,7 +38,7 @@
     owl:versionIRI <http://www.w3.org/TR/2012/WD-prov-o-2012MMDD> .
 
 :Activity
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An activity is something that occurs over a period of time and acts upon or with entities. This action can take multiple forms: consuming, processing, transforming, modifying, relocating, using, generating, or being associated with entities. Activities that operate on digital entities may for example move, copy, or duplicate them."@en ;
     rdfs:label "Activity" ;
     owl:disjointWith :Entity ;
@@ -63,7 +63,7 @@
     :editorsDefinition "prov:ActivityInfluence provides descriptions of any binary involvement between any instance and an prov:Activity. The property prov:activity is used to reference the object of the triple being described."@en .
 
 :Agent
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An agent is a type of entity that bears some form of responsibility for an activity taking place."@en ;
     rdfs:label "Agent" ;
     owl:disjointWith :InstantaneousEvent ;
@@ -83,7 +83,7 @@
     :editorsDefinition "prov:AgentInfluence provides descriptions of any binary involvement between any instance and an prov:Agent. The property prov:agent is used to reference the object of the triple being described."@en .
 
 :Association
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from an prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:agent :baker; :foo :bar ]."@en ;
     rdfs:label "Association" ;
     rdfs:subClassOf :AgentInfluence ;
@@ -96,7 +96,7 @@
     :unqualifiedForm :wasAssociatedWith .
 
 :Attribution
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from an prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ]."@en ;
     rdfs:label "Attribution" ;
     rdfs:subClassOf :AgentInfluence ;
@@ -109,7 +109,7 @@
     :unqualifiedForm :wasAttributedTo .
 
 :Bundle
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "Note that there are kinds of accounts (e.g. handwritten letters, audio recordings, etc.) that are not expressed in PROV-O, but can be still be described by PROV-O."@en ;
     rdfs:label "Bundle" ;
     rdfs:subClassOf :Entity ;
@@ -149,7 +149,7 @@
     :editorialNote "Note that although prov:Collection is defined, few other constructs in PROV-DM and PROV-O elaborate what it is or how to use it. Instead, they both elaborate one of its specializations, prov:Dictionary. Although some of the term names relating to prov:Dictionary may seem that they should also apply to prov:Collection, they are specific to prov:Dictionary. It is left to extensions of PROV-O to provide the terms relating to the insertion and removal of members of the more general class prov:Collection."@en .
 
 :Communication
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Communication provides additional descriptions about the binary prov:wasInformedBy relation from an informed prov:Activity to the prov:Activity that informed it. For example, :you_jumping_off_bridge prov:wasInformedBy :everyone_else_jumping_off_bridge; prov:qualifiedCommunication [ a prov:Communication; prov:entity :everyone_else_jumping_off_bridge; :foo :bar ]."@en ;
     rdfs:label "Communication" ;
     rdfs:subClassOf :ActivityInfluence ;
@@ -162,7 +162,7 @@
     :unqualifiedForm :wasInformedBy .
 
 :Delegation
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Delegation provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualifiedDelegation [ a prov:Delegation; prov:entity :mother; :foo :bar ]."@en ;
     rdfs:label "Delegation" ;
     rdfs:subClassOf :AgentInfluence ;
@@ -175,7 +175,7 @@
     :unqualifiedForm :actedOnBehalfOf .
 
 :Derivation
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Derivation provides additional descriptions about the binary prov:wasDerivedFrom relation from some prov:Entity to another prov:Entity. For example, :chewed_bubble_gum prov:wasDerivedFrom :unwrapped_bubble_gum; prov:qualified [ a prov:Derivation; prov:entity :unwrapped_bubble_gum; :foo :bar ]."@en ;
     rdfs:label "Derivation" ;
     rdfs:subClassOf :EntityInfluence ;
@@ -188,7 +188,7 @@
     :unqualifiedForm :wasDerivedFrom .
 
 :End
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:End provides additional descriptions about the binary prov:wasEndedBy relation from some ended prov:Activity to an prov:Entity that ended it. For example, :ball_game prov:wasEndedBy :buzzer; prov:qualified [ a prov:Usage; prov:entity :buzzer; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en ;
     rdfs:label "End" ;
     rdfs:subClassOf :EntityInfluence, :InstantaneousEvent ;
@@ -201,7 +201,7 @@
     :unqualifiedForm :wasEndedBy .
 
 :Entity
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An entity is a thing one wants to provide provenance for. For the purpose of this specification, things can be physical, digital, conceptual, or otherwise; things may be real or imaginary."@en ;
     rdfs:label "Entity" ;
     owl:disjointWith :InstantaneousEvent ;
@@ -221,7 +221,7 @@
     :editorsDefinition "prov:EntityInfluence provides descriptions of any binary involvement between any instance and an prov:Entity. The property prov:entity is used to reference the object of the triple being described."@en .
 
 :Generation
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualifiedGeneration [ a prov:Generation; prov:activity :baking; :foo :bar ]."@en ;
     rdfs:label "Generation" ;
     rdfs:subClassOf :ActivityInfluence, :InstantaneousEvent ;
@@ -234,7 +234,7 @@
     :unqualifiedForm :wasGeneratedBy .
 
 :Influence
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Influence provides additional descriptions about the binary prov:wasInfluencedBy relation from some prov:Entity to some other prov:Element. For example, :stomach_ache prov:wasInfluencedBy :spoon; prov:qualified [ a prov:Influence; prov:entity :spoon; :foo :bar ]."@en, "Any resource that involved an prov:Activity, prov:Entity, or prov:Agent can qualify its involvement by also referencing an instance of prov:Influence. Instances of prov:Influence reference the involved Activity, Entity, or Agent (using prov:activity, prov:entity, or prov:agent, respectively) and may be described with any kind of attributes, including user-defined attributes and those provided by PROV (prov:hadRole, prov:hadPlan, prov:atTime, prov:hadLocation). A description (via prov:Influence) of the binary involvement implies the assertion of the binary involvement."@en ;
     rdfs:label "Influence", "Influence"@en ;
     :category "qualified" ;
@@ -247,7 +247,7 @@
     :unqualifiedForm :involved, :wasInfluencedBy .
 
 :InstantaneousEvent
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instantaneous event, or event for short, happens in the world and marks a change in the world, in its activities and in its entities. The term 'event' is commonly used in process algebra with a similar meaning. Events represent communications or interactions; they are assumed to be atomic and instantaneous."@en ;
     rdfs:label "InstantaneousEvent" ;
     :category "qualified" ;
@@ -258,7 +258,7 @@
     :n "" .
 
 :Invalidation
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:subClassOf :ActivityInfluence, :InstantaneousEvent ;
     :category "qualified" ;
     :component "entities-activities" ;
@@ -268,7 +268,7 @@
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Invalidation" .
 
 :Location
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "A location can be an identifiable geographic place (ISO 19112), but it can also be a non-geographic place such as a directory, row, or column. As such, there are numerous ways in which location can be expressed, such as by a coordinate, address, landmark, and so forth."@en ;
     rdfs:label "Location" ;
     rdfs:seeAlso :hadLocation ;
@@ -279,7 +279,7 @@
     :n "" .
 
 :Organization
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "Agents of type Organization are social institutions such as companies, societies etc."@en ;
     rdfs:label "Organization" ;
     rdfs:subClassOf :Agent ;
@@ -291,7 +291,7 @@
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-types" .
 
 :Person
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "Agents of type Person are people."@en ;
     rdfs:label "Person" ;
     rdfs:subClassOf :Agent ;
@@ -303,7 +303,7 @@
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-types" .
 
 :Plan
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "There exist no prescriptive requirement on the nature of plans, their representation, the actions or steps they consist of, or their intended goals. Since plans may evolve over time, it may become necessary to track their provenance, so plans themselves are entities. Representing the plan explicitly in the provenance can be useful for various tasks: for example, to validate the execution as represented in the provenance record, to manage expectation failures, or to provide explanations."@en ;
     rdfs:label "Plan" ;
     rdfs:subClassOf :Entity ;
@@ -322,7 +322,7 @@
     :category "access-and-query" .
 
 :Quotation
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Quotation provides additional descriptions about the binary prov:wasQuotedFrom relation from some prov:Entity to another prov:Entity. For example, :here_is_looking_at_you_kid prov:wasQuotedFrom :casablanca_script; prov:qualified [ a prov:Quotation; prov:entity :casablanca_script; :foo :bar ]."@en ;
     rdfs:label "Quotation" ;
     rdfs:subClassOf :EntityInfluence ;
@@ -335,7 +335,7 @@
     :unqualifiedForm :wasQuotedFrom .
 
 :Revision
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Revision provides additional descriptions about the binary prov:wasRevisionOf relation from some prov:Entity to another prov:Entity. For example, :draft_2 prov:wasRevisionOf :draft_1; prov:qualified [ a prov:Source; prov:entity :draft_1; :foo :bar ]."@en ;
     rdfs:label "Revision" ;
     rdfs:subClassOf :EntityInfluence ;
@@ -348,7 +348,7 @@
     :unqualifiedForm :wasRevisionOf .
 
 :Role
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "A Role is the function of an entity with respect to an activity, in the context of a usage, generation, association, start, and end."@en ;
     rdfs:label "Role" ;
     rdfs:seeAlso :hadRole ;
@@ -360,7 +360,7 @@
     :n "" .
 
 :SoftwareAgent
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "A software agent is running software."@en ;
     rdfs:label "SoftwareAgent" ;
     rdfs:subClassOf :Agent ;
@@ -372,7 +372,7 @@
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-types" .
 
 :Source
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Source provides additional descriptions about the binary prov:hadOriginalSource relation from some prov:Entity to another prov:Entity. For example, :blog prov:hadOriginalSource :newsArticle; prov:qualified [ a prov:Source; prov:entity :newsArticle; :foo :bar ]."@en ;
     rdfs:label "Source" ;
     rdfs:subClassOf :EntityInfluence ;
@@ -385,7 +385,7 @@
     :unqualifiedForm :hadPrimarySource .
 
 :Start
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Start provides additional descriptions about the binary prov:wasStartedBy relation from some started prov:Activity to an prov:Entity that started it. For example, :foot_race prov:wasStartedBy :bang; prov:qualified [ a prov:Usage; prov:entity :bang; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en ;
     rdfs:label "Start" ;
     rdfs:subClassOf :EntityInfluence, :InstantaneousEvent ;
@@ -398,7 +398,7 @@
     :unqualifiedForm :wasStartedBy .
 
 :Usage
-    a owl:Class, owl:NamedIndividual ;
+    a owl:Class ;
     rdfs:comment "An instance of prov:Usage provides additional descriptions about the binary prov:used relation from some prov:Activity to an prov:Entity that it used. For example, :keynote prov:used :podium; prov:qualified [ a prov:Usage; prov:entity :podium; :foo :bar ]."@en ;
     rdfs:label "Usage" ;
     rdfs:subClassOf :EntityInfluence, :InstantaneousEvent ;
@@ -448,7 +448,7 @@
     :sharesDefinitionWith :AgentInfluence .
 
 :alternateOf
-    a owl:NamedIndividual, owl:ObjectProperty ;
+    a owl:ObjectProperty ;
     rdfs:comment "An entity is alternate of another if they are both a specialization of some common entity. The common entity does not need to be identified."@en ;
     rdfs:domain :Entity ;
     rdfs:range :Entity ;
@@ -508,7 +508,9 @@
     rdfs:comment "Classify prov-o terms into six components according to prov-dm, including 'agents-responsibility', 'alternate', 'annotations', 'collections', 'derivations', and 'entities-activities'. This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification."@en .
 
 :constraints
-    a owl:DatatypeProperty .
+    a owl:AnnotationProperty ;
+    rdfs:comment "A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept."@en ;
+    rdfs:subPropertyOf rdfs:seeAlso .
 
 :definition
     a owl:AnnotationProperty ;
@@ -728,11 +730,6 @@
     rdfs:comment "A reference to the principal section of the PROV-M document that describes this concept."@en ;
     rdfs:subPropertyOf rdfs:seeAlso .
 
-:prov-constraints
-    a owl:AnnotationProperty ;
-    rdfs:comment "A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept."@en ;
-    rdfs:subPropertyOf rdfs:seeAlso .
-
 :provenanceUriTemplate
     a owl:DatatypeProperty ;
     rdfs:comment "Relates a provenance service to a URI template string for constructing provenance-URIs."@en ;
@@ -916,7 +913,7 @@
     rdfs:subPropertyOf rdfs:seeAlso .
 
 :specializationOf
-    a owl:NamedIndividual, owl:ObjectProperty ;
+    a owl:ObjectProperty ;
     rdfs:comment "An entity is a specialization of another if they both refer to some common thing but the former is a more constrained entity than the former. The common entity does not need to be identified."@en ;
     rdfs:domain :Entity ;
     rdfs:range :Entity ;
@@ -963,7 +960,7 @@
     :qualifiedForm :Usage, :qualifiedUsage .
 
 :value
-    a owl:DatatypeProperty, owl:NamedIndividual ;
+    a owl:DatatypeProperty ;
     rdfs:comment "Provides a value for an Entity."@en ;
     rdfs:domain :Entity ;
     :category "expanded" ;
@@ -1219,6 +1216,3 @@
     owl:annotatedSource :wasRevisionOf ;
     owl:annotatedTarget :wasDerivedFrom .
 
-[]
-    :constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference" .
-