refreshing

eyereasoner · Sep 22, 2023 · d4a66f2 · d4a66f2
1 parent cc44dd2
commit d4a66f2
Show file tree

Hide file tree

Showing 4 changed files with 3,726 additions and 7 deletions.
diff --git a/reasoning/blogic/lubm.n3s b/reasoning/blogic/lubm.n3s
@@ -4,6 +4,11 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix : <http://www.example.org/>.
 
+() log:onNegativeSurface {
+    <> log:imports <../lubm/facts.ttl>.
+    () log:onNegativeSurface true.
+}.
+
 (_:X) log:onNegativeSurface {
     _:X a :AdministrativeStaff.
     () log:onNegativeSurface {
@@ -767,6 +772,6 @@
 }.
 
 # query
-(_:X) log:onQuerySurface {
-    _:X a :Chair.
+(_:X _:Y) log:onQuerySurface {
+    _:X :degreeFrom _:Y.
 }.