refreshing

looking-through-rdf-glasses/temp/lott.ttl

@@ -1,12 +1,25 @@
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
 @prefix rule: <http://eyereasoner.github.io/rule#>.
 @prefix : <urn:example:>.
 
 [] a rule:QueryRule;
     rule:premise ();
     rule:conclusion (
-        (:test :is (
-            (:A a :B)
-            (:C a :D)
-        )
-    )
-).
+        (:Socrates a :Human)
+        (:Human rdfs:subClassOf :Mortal)
+        (_:rule1 a rule:ForwardRule)
+        (_:rule1 rule:premise (
+            (_:A rdfs:subClassOf _:B)
+            (_:S a _:A)
+        ))
+        (_:rule1 rule:conclusion (
+            (_:S a _:B)
+        ))
+        (_:query1 a rule:QueryRule)
+        (_:query1 rule:premise (
+            (_:S a :Mortal)
+        ))
+        (_:query1 rule:conclusion (
+            (_:S a :Mortal)
+        ))
+    ).

looking-through-rdf-glasses/temp/out/lott.ttl.out

@@ -1,6 +1,21 @@
 @prefix : <urn:example:>.
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
+@prefix rule: <http://eyereasoner.github.io/rule#>.
 
-:test :is (
-    (:A a :B)
-    (:C a :D)
+:Socrates a :Human.
+:Human rdfs:subClassOf :Mortal.
+_:sk_0 a rule:ForwardRule.
+_:sk_0 rule:premise (
+    (_:sk_1 rdfs:subClassOf _:sk_2)
+    (_:sk_3 a _:sk_1)
+).
+_:sk_0 rule:conclusion (
+    (_:sk_3 a _:sk_2)
+).
+_:sk_4 a rule:QueryRule.
+_:sk_4 rule:premise (
+    (_:sk_3 a :Mortal)
+).
+_:sk_4 rule:conclusion (
+    (_:sk_3 a :Mortal)
 ).

looking-through-rdf-glasses/temp/out/lott.ttl.out.out

@@ -0,0 +1,3 @@
+@prefix : <urn:example:>.
+
+:Socrates a :Mortal.

looking-through-rdf-glasses/temp/test

@@ -2,3 +2,4 @@
 eye --quiet --nope union.ttl --output out/union.ttl.out
 eye --quiet --nope append.ttl --output out/append.ttl.out
 eye --quiet --nope lott.ttl --output out/lott.ttl.out
+eye --quiet --nope out/lott.ttl.out --output out/lott.ttl.out.out