superproperty: prov:involved
authorTim L <lebot@rpi.edu>
Sun, 06 Nov 2011 11:43:42 -0500
changeset 812 068f975eb5e1
parent 811 400ef0216ed1
child 813 1617fd936cd0
superproperty: prov:involved
ontology/components/involved.ttl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/involved.ttl	Sun Nov 06 11:43:42 2011 -0500
@@ -0,0 +1,15 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://www.w3.org/ns/prov-o/> .
+
+prov:involved
+   a owl:ObjectProperty;
+   rdfs:comment "A generic involvement between Entities and ProcessExecutions (and vice versa); a superproperty of ProcessExecutions' :used, :hadParticipant, :wasControlledBy, and Entities' :wasGeneratedBy";
+   rdfs:domain [ owl:unionOf ( prov:Entity prov:ProcessExecution ) ];
+   rdfs:range  [ owl:unionOf ( prov:Entity prov:ProcessExecution ) ];
+.
+
+prov:used            rdfs:subPropertyOf prov:involved .
+prov:hadParticipant  rdfs:subPropertyOf prov:involved .
+prov:wasControlledBy rdfs:subPropertyOf prov:involved .
+prov:wasGeneratedBy  rdfs:subPropertyOf prov:involved .