From 224ce3afec9697b11433cbf04cb153e12fee578b Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Wed, 2 Oct 2024 17:01:17 +0200
Subject: [PATCH] rdfsurfaces expressed in trig and running on gsm.n3

---
 reasoning/gsm/README | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/reasoning/gsm/README b/reasoning/gsm/README
index 2989f648c..24246d9cf 100644
--- 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.