added annotation justifying wasRevisionOf subproperty of wasDerivedFrom
authorTim L <lebot@rpi.edu>
Mon, 23 Apr 2012 10:24:48 -0400
changeset 24474a37e2659b63
parent 2443 e6f1a6f0eaf9
child 2448 ed0c2c819ed4
added annotation justifying wasRevisionOf subproperty of wasDerivedFrom
ontology/ProvenanceOntology.owl
     1.1 --- a/ontology/ProvenanceOntology.owl	Mon Apr 23 15:28:08 2012 +0200
     1.2 +++ b/ontology/ProvenanceOntology.owl	Mon Apr 23 10:24:48 2012 -0400
     1.3 @@ -51,19 +51,19 @@
     1.4          <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     1.5      </owl:AnnotationProperty>
     1.6      <owl:AnnotationProperty rdf:about="&prov;definition"/>
     1.7 +    <owl:AnnotationProperty rdf:about="&prov;editorialNote"/>
     1.8      <owl:AnnotationProperty rdf:about="&rdfs;label"/>
     1.9 -    <owl:AnnotationProperty rdf:about="&prov;editorialNote"/>
    1.10      <owl:AnnotationProperty rdf:about="&prov;inverse"/>
    1.11      <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
    1.12      <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
    1.13      <owl:AnnotationProperty rdf:about="&prov;category">
    1.14 -	<rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including starting-point, qualifed, and extended. This classification is used to gently introduce prov-o terms to its users. </rdfs:comment>
    1.15 +        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including starting-point, qualifed, and extended. This classification is used to gently introduce prov-o terms to its users. </rdfs:comment>
    1.16      </owl:AnnotationProperty>
    1.17      <owl:AnnotationProperty rdf:about="&prov;prov-dm-constraints">
    1.18          <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
    1.19      </owl:AnnotationProperty>
    1.20      <owl:AnnotationProperty rdf:about="&prov;component">
    1.21 -	<rdfs:comment xml:lang="en">Classify prov-o terms into six components according to prov-dm, including . This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification.</rdfs:comment> 
    1.22 +        <rdfs:comment xml:lang="en">Classify prov-o terms into six components according to prov-dm, including . This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification.</rdfs:comment>
    1.23      </owl:AnnotationProperty>
    1.24      <owl:AnnotationProperty rdf:about="&prov;qualifiedForm">
    1.25          <rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
    1.26 @@ -877,6 +877,12 @@
    1.27          <prov:qualifiedForm rdf:resource="&prov;qualifiedRevision"/>
    1.28          <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
    1.29      </owl:ObjectProperty>
    1.30 +    <owl:Axiom>
    1.31 +        <rdfs:comment>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Revision 23 April 2012 &#39;wasRevisionOf is a strict sub-relation of wasDerivedFrom since two entities e2 and e1 may satisfy wasDerivedFrom(e2,e1) without being a variant of each other.&#39;</rdfs:comment>
    1.32 +        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
    1.33 +        <owl:annotatedTarget rdf:resource="&prov;wasDerivedFrom"/>
    1.34 +        <owl:annotatedSource rdf:resource="&prov;wasRevisionOf"/>
    1.35 +    </owl:Axiom>
    1.36      
    1.37  
    1.38