property chain to infer unqualified prov:used from qualified form
authorTim L <lebot@rpi.edu>
Tue, 22 Nov 2011 09:34:55 -0500
changeset 1009 3e5ff4e4a3e6
parent 1008 ae888d256478
child 1010 f98990b2ede2
property chain to infer unqualified prov:used from qualified form
ontology/components/used.ttl
--- a/ontology/components/used.ttl	Tue Nov 22 09:23:13 2011 -0500
+++ b/ontology/components/used.ttl	Tue Nov 22 09:34:55 2011 -0500
@@ -9,3 +9,7 @@
    rdfs:domain prov:ProcessExecution;
    rdfs:range  prov:Entity;
 .
+
+prov:used 
+   owl:propertyChainAxiom ( prov:qualifiedUsage prov:qualifiedEntity ); 
+   rdfs:comment "?activity prov:qualifedUsage [ prov:qualifiedEntity ?entity ] => ?activity prov:used ?entity" .