fixed prov-o https://www.w3.org/2011/prov/track/issues/594
authorTim L <lebot@rpi.edu>
Thu, 08 Nov 2012 22:17:23 -0500
changeset 46696a622a22bd14
parent 4668 7e22a4d5efe8
child 4670 379513c95ed8
fixed prov-o https://www.w3.org/2011/prov/track/issues/594
ontology/ProvenanceOntology.owl
ontology/prov.ttl
     1.1 --- a/ontology/ProvenanceOntology.owl	Thu Nov 08 16:39:19 2012 -0700
     1.2 +++ b/ontology/ProvenanceOntology.owl	Thu Nov 08 22:17:23 2012 -0500
     1.3 @@ -85,10 +85,10 @@
     1.4          <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     1.5          <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
     1.6      </owl:AnnotationProperty>
     1.7 +    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     1.8      <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
     1.9          <rdfs:comment xml:lang="en"></rdfs:comment>
    1.10      </owl:AnnotationProperty>
    1.11 -    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
    1.12      <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#dm">
    1.13          <rdfs:comment xml:lang="en">A reference to the principal section of the PROV-DM document that describes this concept.</rdfs:comment>
    1.14          <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    1.15 @@ -365,8 +365,8 @@
    1.16          <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
    1.17      </owl:ObjectProperty>
    1.18      <owl:Axiom>
    1.19 +        <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</dm>
    1.20          <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>
    1.21 -        <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-collection</dm>
    1.22          <owl:annotatedProperty rdf:resource="&rdfs;range"/>
    1.23          <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#Entity"/>
    1.24          <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
    1.25 @@ -872,8 +872,8 @@
    1.26          </owl:propertyChainAxiom>
    1.27      </owl:ObjectProperty>
    1.28      <owl:Axiom>
    1.29 +        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN wasInfluencedBy(e2,ag1) also holds. </definition>
    1.30          <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>
    1.31 -        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN wasInfluencedBy(e2,ag1) also holds. </definition>
    1.32          <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
    1.33          <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
    1.34          <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
    1.35 @@ -969,6 +969,15 @@
    1.36          <component>agents-responsibility</component>
    1.37          <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
    1.38          <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Influence"/>
    1.39 +        <rdfs:range>
    1.40 +            <owl:Class>
    1.41 +                <owl:unionOf rdf:parseType="Collection">
    1.42 +                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
    1.43 +                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
    1.44 +                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
    1.45 +                </owl:unionOf>
    1.46 +            </owl:Class>
    1.47 +        </rdfs:range>
    1.48          <rdfs:domain>
    1.49              <owl:Class>
    1.50                  <owl:unionOf rdf:parseType="Collection">
    1.51 @@ -978,20 +987,11 @@
    1.52                  </owl:unionOf>
    1.53              </owl:Class>
    1.54          </rdfs:domain>
    1.55 -        <rdfs:range>
    1.56 -            <owl:Class>
    1.57 -                <owl:unionOf rdf:parseType="Collection">
    1.58 -                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Activity"/>
    1.59 -                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Agent"/>
    1.60 -                    <rdf:Description rdf:about="http://www.w3.org/ns/prov#Entity"/>
    1.61 -                </owl:unionOf>
    1.62 -            </owl:Class>
    1.63 -        </rdfs:range>
    1.64      </owl:ObjectProperty>
    1.65      <owl:Axiom>
    1.66 +        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
    1.67          <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
    1.68 -        <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
    1.69 -        <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
    1.70 +        <owl:annotatedProperty rdf:resource="&rdfs;range"/>
    1.71          <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
    1.72          <owl:annotatedTarget>
    1.73              <owl:Class>
    1.74 @@ -1004,9 +1004,9 @@
    1.75          </owl:annotatedTarget>
    1.76      </owl:Axiom>
    1.77      <owl:Axiom>
    1.78 -        <definition>influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;</definition>
    1.79 +        <definition>influencee: an identifier (o2) for an entity, activity, or agent; </definition>
    1.80          <dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence</dm>
    1.81 -        <owl:annotatedProperty rdf:resource="&rdfs;range"/>
    1.82 +        <owl:annotatedProperty rdf:resource="&rdfs;domain"/>
    1.83          <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
    1.84          <owl:annotatedTarget>
    1.85              <owl:Class>
    1.86 @@ -1037,7 +1037,7 @@
    1.87          <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasInfluencedBy"/>
    1.88          <owl:propertyChainAxiom rdf:parseType="Collection">
    1.89              <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedCommunication"/>
    1.90 -            <rdf:Description rdf:about="http://www.w3.org/ns/prov#entity"/>
    1.91 +            <rdf:Description rdf:about="http://www.w3.org/ns/prov#activity"/>
    1.92          </owl:propertyChainAxiom>
    1.93      </owl:ObjectProperty>
    1.94      
     2.1 --- a/ontology/prov.ttl	Thu Nov 08 16:39:19 2012 -0700
     2.2 +++ b/ontology/prov.ttl	Thu Nov 08 22:17:23 2012 -0500
     2.3 @@ -1197,7 +1197,7 @@
     2.4      rdfs:range :Activity ;
     2.5      rdfs:subPropertyOf :wasInfluencedBy ;
     2.6      owl:propertyChainAxiom (:qualifiedCommunication
     2.7 -        :entity
     2.8 +        :activity
     2.9      ) ;
    2.10      :category "starting-point" ;
    2.11      :component "entities-activities" ;
    2.12 @@ -1299,6 +1299,20 @@
    2.13  
    2.14  []
    2.15      a owl:Axiom ;
    2.16 +    owl:annotatedProperty rdfs:range ;
    2.17 +    owl:annotatedSource :wasInfluencedBy ;
    2.18 +    owl:annotatedTarget [
    2.19 +        a owl:Class ;
    2.20 +        owl:unionOf (:Activity
    2.21 +            :Agent
    2.22 +            :Entity
    2.23 +        )
    2.24 +    ] ;
    2.25 +    :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
    2.26 +    :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence" .
    2.27 +
    2.28 +[]
    2.29 +    a owl:Axiom ;
    2.30      owl:annotatedProperty rdfs:domain ;
    2.31      owl:annotatedSource :wasInfluencedBy ;
    2.32      owl:annotatedTarget [
    2.33 @@ -1313,20 +1327,6 @@
    2.34  
    2.35  []
    2.36      a owl:Axiom ;
    2.37 -    owl:annotatedProperty rdfs:range ;
    2.38 -    owl:annotatedSource :wasInfluencedBy ;
    2.39 -    owl:annotatedTarget [
    2.40 -        a owl:Class ;
    2.41 -        owl:unionOf (:Activity
    2.42 -            :Agent
    2.43 -            :Entity
    2.44 -        )
    2.45 -    ] ;
    2.46 -    :definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;" ;
    2.47 -    :dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence" .
    2.48 -
    2.49 -[]
    2.50 -    a owl:Axiom ;
    2.51      rdfs:comment "Quotation is a particular case of derivation (see http://www.w3.org/TR/prov-dm/#term-quotation) in which an entity is derived from an original entity by copying, or \"quoting\", some or all of it. " ;
    2.52      owl:annotatedProperty rdfs:subPropertyOf ;
    2.53      owl:annotatedSource :wasQuotedFrom ;