eg 29
authorTim L <lebot@rpi.edu>
Sun, 27 May 2012 14:20:48 -0400
changeset 2998 585d347c1c81
parent 2997 b3828f082c13
child 2999 9f8a8092a157
eg 29
examples/eg-29-pml-mappings/rdf/create/rdf/property_qualifiedRevision.ttl
--- a/examples/eg-29-pml-mappings/rdf/create/rdf/property_qualifiedRevision.ttl	Sun May 27 14:01:42 2012 -0400
+++ b/examples/eg-29-pml-mappings/rdf/create/rdf/property_qualifiedRevision.ttl	Sun May 27 14:20:48 2012 -0400
@@ -6,4 +6,17 @@
 @prefix prov: <http://www.w3.org/ns/prov#> .
 @prefix :     <http://example.com/> .
 
-# TODO
+:draft2_NS
+   a pmlj:NodeSet;
+   pmlj:hasConclusion :draft2;
+   pmlj:isConsequentOf [
+      a pmlj:InferenceStep;
+      pmlj:hasAntecedentList ( :draft1_NS );
+      pmlj:hasInferenceEngine :edward;
+   ];
+.
+
+:draft1_NS
+   a pmlj:NodeSet;
+   pmlj:hasConclusion :draft1;
+.