using RDF star to describe logic rules and queries

eyereasoner · Oct 18, 2024 · 0412698 · 0412698
1 parent c85c587
commit 0412698
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git a/reasoning/rdfstar/README b/reasoning/rdfstar/README
@@ -54,10 +54,10 @@ RDF star supports reasoning with rdfsurfaces described in RDF as
         log:conjunction log:isFunctorOf (
             << _:x a :City >>
             << () log:onNegativeSurface <<
-                    log:conjunction log:isFunctorOf (
-                        << _:x a :HumanCommunity >>
-                    )
-                >>
+                log:conjunction log:isFunctorOf (
+                    << _:x a :HumanCommunity >>
+                )
+            >>
             >>
         )
     >>.

diff --git a/reasoning/rdfstar/slide32.ttl b/reasoning/rdfstar/slide32.ttl
@@ -15,10 +15,10 @@
     log:conjunction log:isFunctorOf (
         << _:x a :City >>
         << () log:onNegativeSurface <<
-                log:conjunction log:isFunctorOf (
-                    << _:x a :HumanCommunity >>
-                )
-            >>
+            log:conjunction log:isFunctorOf (
+                << _:x a :HumanCommunity >>
+            )
+        >>
         >>
     )
 >>.
@@ -28,10 +28,10 @@
     log:conjunction log:isFunctorOf (
         << :Ghent a :HumanCommunity >>
         << () log:onNegativeAnswerSurface <<
-                log:conjunction log:isFunctorOf (
-                    << :Ghent a :HumanCommunity >>
-                )
-            >>
+            log:conjunction log:isFunctorOf (
+                << :Ghent a :HumanCommunity >>
+            )
+        >>
         >>
     )
 >>.