rdfsurfaces expressed in trig and running on gsm.n3

eyereasoner · Oct 2, 2024 · 224ce3a · 224ce3a
1 parent 1d2778f
commit 224ce3a
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/reasoning/gsm/README b/reasoning/gsm/README
@@ -38,6 +38,14 @@ GSM supports querying with queries described in RDF as
         RDF triples
     }
 
+GSM supports reasoning with rdfsurfaces described in RDF as
+
+    ( graffiti ) log:onNegativeSurface _:bng_1.
+
+    _:bng_1 {
+        RDF triples
+    }
+
 The var: prefix is <http://www.w3.org/2000/10/swap/var#> and is used for
 variables that are interpreted as universally quantified variables except for
 forward rule conclusion-only variables which are interpreted existentially.