prov.owl literal typing and trimming comments
authorTim L <lebot@rpi.edu>
Sun, 01 Jul 2012 20:16:23 -0400
changeset 3580 bf01e26ab495
parent 3579 220a26305a2e
child 3581 505c63781a90
prov.owl literal typing and trimming comments
ontology/ProvenanceOntology.owl
ontology/prov.ttl
--- a/ontology/ProvenanceOntology.owl	Sun Jul 01 20:08:10 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Sun Jul 01 20:16:23 2012 -0400
@@ -189,11 +189,10 @@
         <constraints rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#prov-dm-constraints-fig</constraints>
         <dm rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-alternate</dm>
         <n rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-alternate</n>
+        <definition xml:lang="en">Two alternate entities present aspects of the same thing. These aspects may be the same or different, and the alternate entities may or may not overlap in time.</definition>
         <category>expanded</category>
         <component>alternate</component>
         <inverse>alternateOf</inverse>
-        <definition 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.</definition>
-        <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>
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -217,10 +216,10 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#atLocation">
         <rdfs:label>atLocation</rdfs:label>
-        <editorialNote>The naming of prov:atLocation parallels prov:atTime, and is not named prov:hadLocation to avoid conflicting with the convention that prov:had* properties are used on prov:Influence classes.</editorialNote>
-        <editorialNote>This property is not functional because the many values could be at a variety of granularies (In this building, in this room, in that chair).</editorialNote>
         <rdfs:comment xml:lang="en">The Location of any resource.</rdfs:comment>
+        <editorialNote xml:lang="en">The naming of prov:atLocation parallels prov:atTime, and is not named prov:hadLocation to avoid conflicting with the convention that prov:had* properties are used on prov:Influence classes.</editorialNote>
         <inverse>locationOf</inverse>
+        <editorialNote xml:lang="en">This property is not functional because the many values could be at a variety of granularies (In this building, in this room, in that chair).</editorialNote>
         <category>expanded</category>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Location"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Location"/>
@@ -258,10 +257,10 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#generated">
         <rdfs:label>generated</rdfs:label>
-        <editorialNote>prov:generated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions.</editorialNote>
         <component>entities-activities</component>
         <inverse>wasGeneratedBy</inverse>
         <category>expanded</category>
+        <editorialNote xml:lang="en">prov:generated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions.</editorialNote>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Generation"/>
@@ -279,7 +278,7 @@
         <category>qualified</category>
         <rdfs:comment xml:lang="en">The _optional_ Activity of an Influence, which used, generated, invalidated, or was the responsibility of some Entity. This property is _not_ used by ActivityInfluence (use prov:activity instead).</rdfs:comment>
         <inverse>wasActivityOfInfluence</inverse>
-        <editorialNote>The multiple rdfs:domain assertions are intended. One is simpler and works for OWL-RL, the union is more specific but is not recognized by OWL-RL.</editorialNote>
+        <editorialNote xml:lang="en">The multiple rdfs:domain assertions are intended. One is simpler and works for OWL-RL, the union is more specific but is not recognized by OWL-RL.</editorialNote>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Activity"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Activity"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Influence"/>
@@ -380,7 +379,7 @@
         <rdfs:label>hadRole</rdfs:label>
         <component>agents-responsibility</component>
         <rdfs:comment xml:lang="en">The _optional_ Role that an Entity assumes in the context of an Activity. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ].</rdfs:comment>
-        <definition>prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of a usage, generation, association, start, and end.</definition>
+        <definition xml:lang="en">prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of a usage, generation, association, start, and end.</definition>
         <category>qualified</category>
         <inverse>wasRoleIn</inverse>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Influence"/>
@@ -470,11 +469,11 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#influencer">
         <rdfs:label>influencer</rdfs:label>
-        <rdfs:comment>Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used.</rdfs:comment>
         <category>qualified</category>
         <inverse>involvement</inverse>
-        <editorsDefinition>This property is used as part of the qualified influence pattern. Subclasses of prov:Influence use these subproperties to reference the resource (Entity, Agent, or Activity) whose influence is being qualified.</editorsDefinition>
+        <rdfs:comment xml:lang="en">Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used.</rdfs:comment>
         <editorialNote xml:lang="en">This property and its subproperties are used in the same way as the rdf:object property, i.e. to reference the object of an unqualified prov:wasInfluencedBy or prov:influenced triple.</editorialNote>
+        <editorsDefinition xml:lang="en">This property is used as part of the qualified influence pattern. Subclasses of prov:Influence use these subproperties to reference the resource (Entity, Agent, or Activity) whose influence is being qualified.</editorsDefinition>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Influence"/>
     </owl:ObjectProperty>
     
@@ -487,7 +486,7 @@
         <category>expanded</category>
         <inverse>wasInvalidatedBy</inverse>
         <component>entities-activities</component>
-        <editorialNote>prov:invalidated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions.</editorialNote>
+        <editorialNote xml:lang="en">prov:invalidated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions.</editorialNote>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Invalidation"/>
@@ -505,6 +504,7 @@
         <inverse>hadMention</inverse>
         <category>expanded</category>
         <definition xml:lang="en">The mention of an Entity in a Bundle (containing a description of this Entity) is another Entity that is a specialization of the former and that presents the Bundle as a further additional aspect. </definition>
+        <rdfs:comment xml:lang="en">prov:asInBundle is used to cite the Bundle in which the generalization was mentioned.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#specializationOf"/>
     </owl:ObjectProperty>
     
@@ -742,9 +742,8 @@
         <n rdf:datatype="&xsd;anyURI">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-specialization</n>
         <component>alternate</component>
         <category>expanded</category>
-        <definition>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.</definition>
         <inverse>generalizationOf</inverse>
-        <rdfs:comment xml:lang="en">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.</rdfs:comment>
+        <definition xml:lang="en">An entity that is a specialization of another shares all aspects of the latter, and additionally presents more specific aspects of the same thing as the latter. In particular, the lifetime of the entity being specialized contains that of any specialization. Examples of aspects include a time period, an abstraction, and a context associated with the entity.</definition>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#alternateOf"/>
@@ -799,11 +798,11 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasAttributedTo">
         <rdfs:label>wasAttributedTo</rdfs:label>
-        <definition>Attribution is the ascribing of an entity to an agent.</definition>
-        <rdfs:comment xml:lang="en">Attribution is the ascribing of an entity to an agent.</rdfs:comment>
         <component>agents-responsibility</component>
         <category>starting-point</category>
         <inverse>contributed</inverse>
+        <definition xml:lang="en">Attribution is the ascribing of an entity to an agent.</definition>
+        <rdfs:comment xml:lang="en">Attribution is the ascribing of an entity to an agent.</rdfs:comment>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Attribution"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -1009,8 +1008,8 @@
         <rdfs:label>wasQuotedFrom</rdfs:label>
         <category>expanded</category>
         <component>derivations</component>
-        <rdfs:comment xml:lang="en">An entity is derived from an original entity by copying, or &quot;quoting&quot;, some or all of it.</rdfs:comment>
         <inverse>quotedAs</inverse>
+        <rdfs:comment xml:lang="en">An entity is derived from an original entity by copying, or &#39;quoting&#39;, some or all of it.</rdfs:comment>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Quotation"/>
--- a/ontology/prov.ttl	Sun Jul 01 20:08:10 2012 -0400
+++ b/ontology/prov.ttl	Sun Jul 01 20:16:23 2012 -0400
@@ -418,7 +418,6 @@
 
 :alternateOf
     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:label "alternateOf" ;
     rdfs:range :Entity ;
@@ -427,7 +426,7 @@
     :category "expanded" ;
     :component "alternate" ;
     :constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#prov-dm-constraints-fig"^^xsd:anyURI ;
-    :definition "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 ;
+    :definition "Two alternate entities present aspects of the same thing. These aspects may be the same or different, and the alternate entities may or may not overlap in time."@en ;
     :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-alternate"^^xsd:anyURI ;
     :inverse "alternateOf" ;
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-alternate"^^xsd:anyURI .
@@ -457,7 +456,7 @@
     rdfs:label "atLocation" ;
     rdfs:range :Location ;
     :category "expanded" ;
-    :editorialNote "The naming of prov:atLocation parallels prov:atTime, and is not named prov:hadLocation to avoid conflicting with the convention that prov:had* properties are used on prov:Influence classes.", "This property is not functional because the many values could be at a variety of granularies (In this building, in this room, in that chair)." ;
+    :editorialNote "The naming of prov:atLocation parallels prov:atTime, and is not named prov:hadLocation to avoid conflicting with the convention that prov:had* properties are used on prov:Influence classes."@en, "This property is not functional because the many values could be at a variety of granularies (In this building, in this room, in that chair)."@en ;
     :inverse "locationOf" ;
     :sharesDefinitionWith :Location .
 
@@ -535,7 +534,7 @@
     owl:inverseOf :wasGeneratedBy ;
     :category "expanded" ;
     :component "entities-activities" ;
-    :editorialNote "prov:generated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions." ;
+    :editorialNote "prov:generated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions."@en ;
     :inverse "wasGeneratedBy" ;
     :sharesDefinitionWith :Generation .
 
@@ -564,7 +563,7 @@
     rdfs:range :Activity ;
     :category "qualified" ;
     :component "derivations" ;
-    :editorialNote "The multiple rdfs:domain assertions are intended. One is simpler and works for OWL-RL, the union is more specific but is not recognized by OWL-RL." ;
+    :editorialNote "The multiple rdfs:domain assertions are intended. One is simpler and works for OWL-RL, the union is more specific but is not recognized by OWL-RL."@en ;
     :inverse "wasActivityOfInfluence" ;
     :sharesDefinitionWith :Activity .
 
@@ -632,7 +631,7 @@
     rdfs:range :Role ;
     :category "qualified" ;
     :component "agents-responsibility" ;
-    :definition "prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of a usage, generation, association, start, and end." ;
+    :definition "prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of a usage, generation, association, start, and end."@en ;
     :inverse "wasRoleIn" ;
     :sharesDefinitionWith :Role .
 
@@ -682,12 +681,12 @@
 
 :influencer
     a owl:ObjectProperty ;
-    rdfs:comment "Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used." ;
+    rdfs:comment "Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used."@en ;
     rdfs:domain :Influence ;
     rdfs:label "influencer" ;
     :category "qualified" ;
     :editorialNote "This property and its subproperties are used in the same way as the rdf:object property, i.e. to reference the object of an unqualified prov:wasInfluencedBy or prov:influenced triple."@en ;
-    :editorsDefinition "This property is used as part of the qualified influence pattern. Subclasses of prov:Influence use these subproperties to reference the resource (Entity, Agent, or Activity) whose influence is being qualified." ;
+    :editorsDefinition "This property is used as part of the qualified influence pattern. Subclasses of prov:Influence use these subproperties to reference the resource (Entity, Agent, or Activity) whose influence is being qualified."@en ;
     :inverse "involvement" .
 
 :invalidated
@@ -699,7 +698,7 @@
     owl:inverseOf :wasInvalidatedBy ;
     :category "expanded" ;
     :component "entities-activities" ;
-    :editorialNote "prov:invalidated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions." ;
+    :editorialNote "prov:invalidated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions."@en ;
     :inverse "wasInvalidatedBy" ;
     :sharesDefinitionWith :Invalidation .
 
@@ -721,6 +720,7 @@
 
 :mentionOf
     a owl:ObjectProperty ;
+    rdfs:comment "prov:asInBundle is used to cite the Bundle in which the generalization was mentioned."@en ;
     rdfs:label "mentionOf" ;
     rdfs:subPropertyOf :specializationOf ;
     :category "expanded" ;
@@ -932,7 +932,6 @@
 
 :specializationOf
     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:label "specializationOf" ;
     rdfs:range :Entity ;
@@ -941,7 +940,7 @@
     :category "expanded" ;
     :component "alternate" ;
     :constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#prov-dm-constraints-fig"^^xsd:anyURI ;
-    :definition "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." ;
+    :definition "An entity that is a specialization of another shares all aspects of the latter, and additionally presents more specific aspects of the same thing as the latter. In particular, the lifetime of the entity being specialized contains that of any specialization. Examples of aspects include a time period, an abstraction, and a context associated with the entity."@en ;
     :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-specialization"^^xsd:anyURI ;
     :inverse "generalizationOf" ;
     :n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-specialization"^^xsd:anyURI .
@@ -1018,7 +1017,7 @@
     ) ;
     :category "starting-point" ;
     :component "agents-responsibility" ;
-    :definition "Attribution is the ascribing of an entity to an agent." ;
+    :definition "Attribution is the ascribing of an entity to an agent."@en ;
     :inverse "contributed" ;
     :qualifiedForm :Attribution, :qualifiedAttribution .
 
@@ -1129,7 +1128,7 @@
 
 :wasQuotedFrom
     a owl:ObjectProperty ;
-    rdfs:comment "An entity is derived from an original entity by copying, or \"quoting\", some or all of it."@en ;
+    rdfs:comment "An entity is derived from an original entity by copying, or 'quoting', some or all of it."@en ;
     rdfs:domain :Entity ;
     rdfs:label "wasQuotedFrom" ;
     rdfs:range :Entity ;