adding inference fuse for log:negativeTriple

eyereasoner · May 31, 2023 · a360e7f · a360e7f
1 parent 9817130
commit a360e7f
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 2 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v4.0.2 (2023-05-31) adding inference fuse for log:negativeTriple
 v4.0.1 (2023-05-31) fixing issue with output of true predicate (obs from Patrick Hochstenbach)
 v4.0.0 (2023-05-31) removing --query-answer option and implementing --blogic using rdfsurfaces/0
 v3.28.1 (2023-05-30) Integrated Surfaces in EYE

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-4.0.1
+4.0.2
diff --git a/eye.pl b/eye.pl
@@ -21,7 +21,7 @@
 :- use_module(library(pcre)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v4.0.1 (2023-05-31)').
+version_info('EYE v4.0.2 (2023-05-31)').
 
 license_info('MIT License
 
@@ -651,6 +651,10 @@
                     ),
                     '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, I)
                     ), false, '<>')),
+    assertz(implies(('<http://www.w3.org/2000/10/swap/log#negativeTriple>'(A, T),
+                    catch(call(T), _, false),
+                    '<http://www.w3.org/2000/10/swap/log#negativeTriple>'(A, T)
+                    ), false, '<>')),
     % simplify positive surface
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     is_list(V),

diff --git a/eye.zip b/eye.zip