From e1c6d9d4896affae44fec13e4ec0e8b6a27977ab Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Sat, 18 Nov 2023 23:24:06 +0100
Subject: [PATCH] refreshing

---
 looking-through-rdf-glasses/temp/lott.ttl     | 25 ++++++++++++++-----
 .../temp/out/lott.ttl.out                     | 21 +++++++++++++---
 .../temp/out/lott.ttl.out.out                 |  3 +++
 looking-through-rdf-glasses/temp/test         |  1 +
 4 files changed, 41 insertions(+), 9 deletions(-)
 create mode 100644 looking-through-rdf-glasses/temp/out/lott.ttl.out.out

diff --git a/looking-through-rdf-glasses/temp/lott.ttl b/looking-through-rdf-glasses/temp/lott.ttl
index 2c78aa40b..485cb8668 100644
--- a/looking-through-rdf-glasses/temp/lott.ttl
+++ b/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)
+        ))
+    ).
diff --git a/looking-through-rdf-glasses/temp/out/lott.ttl.out b/looking-through-rdf-glasses/temp/out/lott.ttl.out
index 07274899d..955383ce8 100644
--- a/looking-through-rdf-glasses/temp/out/lott.ttl.out
+++ b/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)
 ).
diff --git a/looking-through-rdf-glasses/temp/out/lott.ttl.out.out b/looking-through-rdf-glasses/temp/out/lott.ttl.out.out
new file mode 100644
index 000000000..70c96ba87
--- /dev/null
+++ b/looking-through-rdf-glasses/temp/out/lott.ttl.out.out
@@ -0,0 +1,3 @@
+@prefix : <urn:example:>.
+
+:Socrates a :Mortal.
diff --git a/looking-through-rdf-glasses/temp/test b/looking-through-rdf-glasses/temp/test
index 5049bad8b..2337c8779 100755
--- a/looking-through-rdf-glasses/temp/test
+++ b/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