removed explicit typing; letting subsumption do it
authorTim L <lebot@rpi.edu>
Mon, 19 Sep 2011 16:28:15 -0400
changeset 349 47fbedeb7213
parent 348 5a8ffcbe55a9
child 350 7d5467bac478
removed explicit typing; letting subsumption do it
ontology/components/assumedBy/appending-a-file-to-itself.ttl
--- a/ontology/components/assumedBy/appending-a-file-to-itself.ttl	Mon Sep 19 16:26:21 2011 -0400
+++ b/ontology/components/assumedBy/appending-a-file-to-itself.ttl	Mon Sep 19 16:28:15 2011 -0400
@@ -14,7 +14,7 @@
    dcterms:description "Tim used the cat unix command to append appending-a-file-to-itself.ttl to itself.";
                        "cat appending-a-file-to-itself.ttl > tmp; cat tmp >> appending-a-file-to-itself.ttl";
    prov:used [
-      a :Input, prov:Role, prov:Entity;
+      a :Input; # and by subsumption, also a prov:Role, prov:Entity;
       ext:hasFilePath <appending-a-file-to-itself.ttl>;
       ext:hasFileContent "hello"^^xsd:string;
       dcterms:modified "2011-09-12T16:00:00-04:00"^^xsd:dateTime;
@@ -24,7 +24,7 @@
       prov:assumedBy <http://tw.rpi.edu/instances/TimLebo>;
    ];
    prov:used [
-      a :Output, prov:Role, prov:Entity;
+      a :Output; # and by subsumption, also a prov:Role, prov:Entity;
       ext:hasFilePath <appending-a-file-to-itself.ttl>;
       ext:hasFileContent "hellohello"^^xsd:string;
       dcterms:modified "2011-09-12T16:01:00-04:00"^^xsd:dateTime;