author | Tim L <lebot@rpi.edu> |
Mon, 19 Sep 2011 16:04:44 -0400 | |
changeset 346 | 7355341341ad |
parent 345 | 1cc03923ac5a |
child 347 | 9431a148ad29 |
ontology/components/assumedBy.ttl |
--- a/ontology/components/assumedBy.ttl Mon Sep 19 16:01:27 2011 -0400 +++ b/ontology/components/assumedBy.ttl Mon Sep 19 16:04:44 2011 -0400 @@ -7,3 +7,12 @@ rdfs:domain prov:Role; rdfs:range [ owl:complementOf prov:Entity ]; . + +prov:Role + rdfs:subClassOf prov:Entity; + rdfs:subClassOf [ + a owl:Restriction; + owl:onProperty prov:assumedBy; + owl:minCardinality 1; + ] +.