refreshing

eyereasoner · Nov 19, 2023 · 322eaca · 322eaca
1 parent e1c6d9d
commit 322eaca
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 24 deletions.
diff --git a/looking-through-rdf-glasses/temp/lott.ttl b/looking-through-rdf-glasses/temp/lott.ttl
@@ -2,7 +2,7 @@
 @prefix rule: <http://eyereasoner.github.io/rule#>.
 @prefix : <urn:example:>.
 
-[] a rule:QueryRule;
+[] a rule:ForwardRule;
     rule:premise ();
     rule:conclusion (
         (:Socrates a :Human)

diff --git a/looking-through-rdf-glasses/temp/out/lott.ttl.out b/looking-through-rdf-glasses/temp/out/lott.ttl.out
@@ -1,21 +1,3 @@
 @prefix : <urn:example:>.
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
-@prefix rule: <http://eyereasoner.github.io/rule#>.
 
-: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)
-).
+:Socrates 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
diff --git a/looking-through-rdf-glasses/temp/test b/looking-through-rdf-glasses/temp/test
@@ -2,4 +2,3 @@
 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