--- a/ontology/prov.ttl Mon May 07 13:15:11 2012 -0400
+++ b/ontology/prov.ttl Mon May 07 13:23:11 2012 -0400
@@ -494,6 +494,7 @@
rdfs:range prov:Agent ;
rdfs:subPropertyOf prov:involved ;
owl:propertyChainAxiom (prov:qualifiedResponsibility
+ prov:agent
) ;
prov:category "starting-point" ;
prov:component "agents-responsibility" ;
@@ -570,6 +571,7 @@
rdfs:range prov:Dictionary ;
rdfs:subPropertyOf prov:wasDerivedFrom ;
owl:propertyChainAxiom (prov:qualifiedInsertion
+ prov:dictionary
) ;
prov:category "collections" ;
prov:component "collections" ;
@@ -583,6 +585,7 @@
rdfs:range prov:Dictionary ;
rdfs:subPropertyOf prov:wasDerivedFrom ;
owl:propertyChainAxiom (prov:qualifiedRemoval
+ prov:dictionary
) ;
prov:category "collections" ;
prov:component "collections" ;
@@ -675,6 +678,7 @@
rdfs:range prov:Entity ;
rdfs:subPropertyOf prov:wasDerivedFrom ;
owl:propertyChainAxiom (prov:qualifiedSource
+ prov:entity
) ;
prov:category "expanded" ;
prov:component "derivations" ;
@@ -913,6 +917,15 @@
prov:inverse "insertedToDictionary" ;
prov:unqualifiedForm prov:derivedByInsertionFrom .
+prov:qualifiedInvalidation
+ a owl:InverseFunctionalProperty, owl:ObjectProperty ;
+ rdfs:comment "If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :a; :foo :bar ]."@en ;
+ rdfs:domain prov:Entity ;
+ rdfs:range prov:Invalidation ;
+ prov:category "qualified" ;
+ prov:component "entities-activities" ;
+ prov:unqualifiedForm prov:wasInvalidatedBy .
+
prov:qualifiedQuotation
a owl:InverseFunctionalProperty, owl:ObjectProperty ;
rdfs:comment "If this Entity prov:wasQuotedFrom Entity :e, then it can qualify how using prov:qualifiedQuotation [ a prov:Quotation; prov:entity :e; :foo :bar ]."@en ;
@@ -1045,6 +1058,7 @@
rdfs:range prov:Entity ;
rdfs:subPropertyOf prov:involved ;
owl:propertyChainAxiom (prov:qualifiedTrace
+ prov:entity
) ;
prov:category "expanded" ;
prov:component "derivations" ;
@@ -1063,6 +1077,7 @@
rdfs:range prov:Entity ;
rdfs:subPropertyOf prov:involved ;
owl:propertyChainAxiom (prov:qualifiedUsage
+ prov:entity
) ;
prov:category "starting-point" ;
prov:component "entities-activities" ;
@@ -1095,6 +1110,7 @@
rdfs:range prov:Agent ;
rdfs:subPropertyOf prov:involved ;
owl:propertyChainAxiom (prov:qualifiedAssociation
+ prov:agent
) ;
prov:category "starting-point" ;
prov:component "agents-responsibility" ;
@@ -1108,6 +1124,7 @@
rdfs:range prov:Agent ;
rdfs:subPropertyOf prov:tracedTo ;
owl:propertyChainAxiom (prov:qualifiedAttribution
+ prov:agent
) ;
prov:category "starting-point" ;
prov:component "agents-responsibility" ;
@@ -1122,6 +1139,7 @@
rdfs:range prov:Entity ;
rdfs:subPropertyOf prov:tracedTo ;
owl:propertyChainAxiom (prov:qualifiedDerivation
+ prov:entity
) ;
prov:category "starting-point" ;
prov:component "derivations" ;
@@ -1136,6 +1154,7 @@
rdfs:range prov:Entity ;
rdfs:subPropertyOf prov:involved ;
owl:propertyChainAxiom (prov:qualifiedEnd
+ prov:entity
) ;
prov:category "expanded" ;
prov:component "entities-activities" ;
@@ -1150,6 +1169,7 @@
rdfs:range prov:Activity ;
rdfs:subPropertyOf prov:involved ;
owl:propertyChainAxiom (prov:qualifiedGeneration
+ prov:activity
) ;
prov:category "starting-point" ;
prov:component "entities-activities" ;
@@ -1163,6 +1183,7 @@
rdfs:range prov:Activity ;
rdfs:subPropertyOf prov:involved ;
owl:propertyChainAxiom (prov:qualifiedCommunication
+ prov:entity
) ;
prov:category "starting-point" ;
prov:component "entities-activities" ;
@@ -1174,6 +1195,9 @@
rdfs:domain prov:Entity ;
rdfs:range prov:Activity ;
rdfs:subPropertyOf prov:involved ;
+ owl:propertyChainAxiom (prov:qualifiedInvalidation
+ prov:activity
+ ) ;
prov:category "starting-point" ;
prov:component "entities-activities" ;
prov:inverse "invalidated" .
@@ -1185,6 +1209,7 @@
rdfs:range prov:Entity ;
rdfs:subPropertyOf prov:wasDerivedFrom ;
owl:propertyChainAxiom (prov:qualifiedQuotation
+ prov:entity
) ;
prov:category "expanded" ;
prov:component "derivations" ;
@@ -1198,6 +1223,7 @@
rdfs:range prov:Entity ;
rdfs:subPropertyOf prov:wasDerivedFrom ;
owl:propertyChainAxiom (prov:qualifiedRevision
+ prov:entity
) ;
prov:category "expanded" ;
prov:component "derivations" ;
@@ -1211,6 +1237,7 @@
rdfs:range prov:Entity ;
rdfs:subPropertyOf prov:involved ;
owl:propertyChainAxiom (prov:qualifiedStart
+ prov:entity
) ;
prov:category "expanded" ;
prov:component "entities-activities" ;
@@ -1225,6 +1252,7 @@
rdfs:range prov:Activity ;
rdfs:subPropertyOf prov:involved ;
owl:propertyChainAxiom (prov:qualifiedStartByActivity
+ prov:activity
) ;
prov:category "starting-point" ;
prov:component "entities-activities" ;
@@ -1261,16 +1289,16 @@
[]
a owl:Axiom ;
- rdfs:comment "Insertion is a form of derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs. " ;
+ rdfs:comment "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Revision 23 April 2012 '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.'" ;
owl:annotatedProperty rdfs:subPropertyOf ;
- owl:annotatedSource prov:derivedByInsertionFrom ;
+ owl:annotatedSource prov:wasRevisionOf ;
owl:annotatedTarget prov:wasDerivedFrom .
[]
a owl:Axiom ;
- rdfs:comment "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Revision 23 April 2012 '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.'" ;
+ rdfs:comment "Insertion is a form of derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs. " ;
owl:annotatedProperty rdfs:subPropertyOf ;
- owl:annotatedSource prov:wasRevisionOf ;
+ owl:annotatedSource prov:derivedByInsertionFrom ;
owl:annotatedTarget prov:wasDerivedFrom .
[]