--- a/ontology/ProvenanceOntology.owl Tue May 15 13:18:05 2012 +0100
+++ b/ontology/ProvenanceOntology.owl Tue May 15 10:04:27 2012 -0400
@@ -57,22 +57,22 @@
<owl:AnnotationProperty rdf:about="&prov;definition">
<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>
</owl:AnnotationProperty>
+ <owl:AnnotationProperty rdf:about="&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>
+ </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&rdfs;label">
<rdfs:comment xml:lang="en"></rdfs:comment>
</owl:AnnotationProperty>
- <owl:AnnotationProperty rdf:about="&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>
- </owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&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>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&rdfs;comment">
<rdfs:comment xml:lang="en"></rdfs:comment>
</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="&prov;category">
<rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including 'starting-point', 'qualifed', and 'extended'. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
</owl:AnnotationProperty>
@@ -321,6 +321,7 @@
<rdf:Description rdf:about="&prov;Derivation"/>
<rdf:Description rdf:about="&prov;Invalidation"/>
<rdf:Description rdf:about="&prov;Responsibility"/>
+ <rdf:Description rdf:about="&prov;Start"/>
</owl:unionOf>
</owl:Class>
</rdfs:domain>
@@ -706,21 +707,6 @@
- <!-- http://www.w3.org/ns/prov#qualifiedStartByActivity -->
-
- <owl:ObjectProperty rdf:about="&prov;qualifiedStartByActivity">
- <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
- <prov:inverse>activityStartedActivity</prov:inverse>
- <prov:category>qualified</prov:category>
- <rdfs:comment xml:lang="en">If this Activity prov:wasStartedByActivity :a, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start; prov:activity :a; :foo :bar ].</rdfs:comment>
- <prov:component>entities-activities</prov:component>
- <rdfs:domain rdf:resource="&prov;Activity"/>
- <rdfs:range rdf:resource="&prov;StartByActivity"/>
- <prov:unqualifiedForm rdf:resource="&prov;wasStartedByActivity"/>
- </owl:ObjectProperty>
-
-
-
<!-- http://www.w3.org/ns/prov#qualifiedTrace -->
<owl:ObjectProperty rdf:about="&prov;qualifiedTrace">
@@ -1057,26 +1043,6 @@
- <!-- http://www.w3.org/ns/prov#wasStartedByActivity -->
-
- <owl:ObjectProperty rdf:about="&prov;wasStartedByActivity">
- <prov:category>starting-point</prov:category>
- <prov:inverse>activityStarted</prov:inverse>
- <prov:component>entities-activities</prov:component>
- <rdfs:comment xml:lang="en">The start of an activity with an implicit trigger generated by another activity.</rdfs:comment>
- <rdfs:range rdf:resource="&prov;Activity"/>
- <rdfs:domain rdf:resource="&prov;Activity"/>
- <prov:qualifiedForm rdf:resource="&prov;StartByActivity"/>
- <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
- <prov:qualifiedForm rdf:resource="&prov;qualifiedStartByActivity"/>
- <owl:propertyChainAxiom rdf:parseType="Collection">
- <rdf:Description rdf:about="&prov;qualifiedStartByActivity"/>
- <rdf:Description rdf:about="&prov;activity"/>
- </owl:propertyChainAxiom>
- </owl:ObjectProperty>
-
-
-
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
@@ -1773,24 +1739,6 @@
- <!-- http://www.w3.org/ns/prov#StartByActivity -->
-
- <owl:Class rdf:about="&prov;StartByActivity">
- <rdfs:label>StartByActivity</rdfs:label>
- <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
- <prov:prov-dm>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-wasStartedByActivity</prov:prov-dm>
- <prov:definition>Start by Activity is the start of an activity with an implicit trigger generated by another activity.</prov:definition>
- <rdfs:comment xml:lang="en">An instance of prov:StartedByActivity provides additional descriptions about the binary prov:wasStartedByActivity relation from some started prov:Activity to another prov:Activity started it. For example, :second_leg_of_relay prov:wasStartedByActivity :handed_baton; prov:qualified [ a prov:Usage; prov:entity :handed_baton; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ].</rdfs:comment>
- <prov:category>qualified</prov:category>
- <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events</prov:prov-dm-constraints>
- <prov:component>entities-activities</prov:component>
- <prov:prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-StartByActivity</prov:prov-dm-constraints>
- <prov:prov-n>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-startByActivity</prov:prov-n>
- <prov:unqualifiedForm rdf:resource="&prov;wasStartedByActivity"/>
- </owl:Class>
-
-
-
<!-- http://www.w3.org/ns/prov#Trace -->
<owl:Class rdf:about="&prov;Trace">
--- a/ontology/prov.ttl Tue May 15 13:18:05 2012 +0100
+++ b/ontology/prov.ttl Tue May 15 10:04:27 2012 -0400
@@ -454,19 +454,6 @@
prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Start" ;
prov:unqualifiedForm prov:wasStartedBy .
-prov:StartByActivity
- a owl:Class ;
- rdfs:comment "An instance of prov:StartedByActivity provides additional descriptions about the binary prov:wasStartedByActivity relation from some started prov:Activity to another prov:Activity started it. For example, :second_leg_of_relay prov:wasStartedByActivity :handed_baton; prov:qualified [ a prov:Usage; prov:entity :handed_baton; :foo :bar; prov:atTime '2012-03-09T08:05:08-05:00'^^xsd:dateTime ]."@en ;
- rdfs:label "StartByActivity" ;
- rdfs:subClassOf prov:ActivityInvolvement ;
- prov:category "qualified" ;
- prov:component "entities-activities" ;
- prov:definition "Start by Activity is the start of an activity with an implicit trigger generated by another activity." ;
- prov:prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-wasStartedByActivity" ;
- prov:prov-dm-constraints "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-StartByActivity", "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#types-of-events" ;
- prov:prov-n "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-startByActivity" ;
- prov:unqualifiedForm prov:wasStartedByActivity .
-
prov:Trace
a owl:Class ;
rdfs:comment "An instance of prov:Trace provides additional descriptions about the binary prov:tracedTo relation from some prov:Entity to some other prov:Element. For example, :stomach_ache prov:tracedTo :spoon; prov:qualified [ a prov:Trace; prov:entity :spoon; :foo :bar ]."@en ;
@@ -660,6 +647,7 @@
owl:unionOf (prov:Derivation
prov:Invalidation
prov:Responsibility
+ prov:Start
)
] ;
rdfs:range prov:Activity ;
@@ -972,16 +960,6 @@
prov:inverse "startedActivity" ;
prov:unqualifiedForm prov:wasStartedBy .
-prov:qualifiedStartByActivity
- a owl:InverseFunctionalProperty, owl:ObjectProperty ;
- rdfs:comment "If this Activity prov:wasStartedByActivity :a, then it can qualify how it was started using prov:qualifiedStart [ a prov:Start; prov:activity :a; :foo :bar ]."@en ;
- rdfs:domain prov:Activity ;
- rdfs:range prov:StartByActivity ;
- prov:category "qualified" ;
- prov:component "entities-activities" ;
- prov:inverse "activityStartedActivity" ;
- prov:unqualifiedForm prov:wasStartedByActivity .
-
prov:qualifiedTrace
a owl:InverseFunctionalProperty, owl:ObjectProperty ;
rdfs:comment "If this prov:wasAttributedTo Entity :e, then it can qualify how using prov:qualifiedTrace [ a prov:Trace; prov:entity :e; :foo :bar ]. If this prov:wasAttributedTo Activity :a, then it can qualify how using prov:qualifiedTrace [ a prov:Trace; prov:activity :a; :foo :bar ]."@en ;
@@ -1221,20 +1199,6 @@
prov:inverse "started" ;
prov:qualifiedForm prov:Start, prov:qualifiedStart .
-prov:wasStartedByActivity
- a owl:ObjectProperty ;
- rdfs:comment "The start of an activity with an implicit trigger generated by another activity."@en ;
- rdfs:domain prov:Activity ;
- rdfs:range prov:Activity ;
- rdfs:subPropertyOf prov:involved ;
- owl:propertyChainAxiom (prov:qualifiedStartByActivity
- prov:activity
- ) ;
- prov:category "starting-point" ;
- prov:component "entities-activities" ;
- prov:inverse "activityStarted" ;
- prov:qualifiedForm prov:StartByActivity, prov:qualifiedStartByActivity .
-
[]
a owl:Axiom ;
rdfs:comment "hadOriginalSource property is a particular case of wasDerivedFrom that aims to give credit to the source that originated some information." ;