improving the way to deal with backward rules in blogic

eyereasoner · Apr 14, 2023 · 1afe565 · 1afe565
1 parent 0fe7e83
commit 1afe565
Show file tree

Hide file tree

Showing 7 changed files with 30 additions and 3 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v3.19.0 (2023-04-14) improving the way to deal with backward rules in blogic
 v3.18.1 (2023-04-13) using memberchk to improve the performance
 v3.18.0 (2023-04-13) more scalable resolve negative surfaces
 v3.17.6 (2023-04-12) removing the negative surface count limit

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-3.18.1
+3.19.0
diff --git a/eye.pl b/eye.pl
@@ -20,7 +20,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v3.18.1 (2023-04-13)').
+version_info('EYE v3.19.0 (2023-04-14)').
 
 license_info('MIT License
 
@@ -718,7 +718,8 @@
     % blow inference fuse
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     makevars(G, H, beta(V)),
-                    catch(call(H), _, false)
+                    catch(call(H), _, false),
+                    '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, H)
                     ), false, '<>')),
     % resolve positive surface
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
@@ -745,6 +746,7 @@
     % resolve negative surfaces
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     conj_list(G, L),
+                    \+member('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(_, _), L),
                     findall(1,
                         (   member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), L)
                         ),
@@ -754,6 +756,7 @@
                     memberchk(E, [0, 2, 3]),
                     '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(W, F),
                     conj_list(F, K),
+                    \+member('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(_, _), K),
                     length(K, 2),
                     \+ (member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, I), K), atomic(I)),
                     makevars(K, J, beta(W)),

diff --git a/eye.zip b/eye.zip
diff --git a/reasoning/blogic/edt-answer.n3 b/reasoning/blogic/edt-answer.n3
@@ -0,0 +1,6 @@
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <http://eulersharp.sourceforge.net/2009/12dtb/test#>.
+
+:i100000 a :N100000.
+
diff --git a/reasoning/blogic/edt.n3 b/reasoning/blogic/edt.n3
@@ -0,0 +1,16 @@
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <http://eulersharp.sourceforge.net/2009/12dtb/test#>.
+
+(_:X _:D _:C) log:onNegativeSurface {
+    () log:onQuerySurface {
+        _:X a _:D.
+    }.
+    _:C rdfs:subClassOf _:D.
+    _:X a _:C.
+}.
+
+# query
+() log:onQuerySurface {
+    :i100000 a :N100000.
+}.
diff --git a/reasoning/blogic/test b/reasoning/blogic/test
@@ -25,6 +25,7 @@ eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/disj2.n3 --output disj2-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/disj3.n3 --output disj3-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/disj-elim.n3 --output disj-elim-answer.n3
+eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/edt.n3 --turtle http://eyereasoner.github.io/eye/reasoning/edt/test-facts.ttl --turtle http://eyereasoner.github.io/eye/reasoning/edt/test-dl.ttl --output edt-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/equal.n3 --output equal-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/equal2.n3 --output equal2-answer.n3
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --blogic http://eyereasoner.github.io/eye/reasoning/blogic/eras1.n3 --output eras1-answer.n3