eventuallyUsed
authorTim L <lebot@rpi.edu>
Mon, 19 Sep 2011 14:29:00 -0400
changeset 335 8657c7f0f2f5
parent 334 9223059a606f
child 336 666c740328c5
eventuallyUsed
ontology/components/eventuallyUsed.ttl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/eventuallyUsed.ttl	Mon Sep 19 14:29:00 2011 -0400
@@ -0,0 +1,9 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+
+prov:eventuallyUsed 
+   a owl:ObjectProperty, owl:TransitiveProperty;
+.
+
+prov:used rdfs:subPropertyOf prov:eventuallyUsed .