further support for reasoning/n3plus1 (N3 plus increments like RDF 1.…

…1, RDF 1.2, functional terms, ...)
eyereasoner · Oct 18, 2024 · e7f1537 · e7f1537
1 parent fdb8863
commit e7f1537
Showing 1 changed file with 18 additions and 4 deletions.
diff --git a/reasoning/n3plus1/in.n3 b/reasoning/n3plus1/in.n3
@@ -52,7 +52,21 @@ _:i {
 (~ :s (~ :s 0)) a :PeanoNumber.
 :tom a (~ :good :Pilot).
 
-# query
-{ ?S ?P ?O } =^ { ?S ?P ?O }.
-{ ?S graph:statement ?O } =^ { ?S graph:statement ?O }.
-{ ?S => ?O } =^ { ?S => ?O }.
+# queries
+{
+    ?S ?P ?O.
+} =^ {
+    ?S ?P ?O.
+}.
+
+{
+    ?S graph:statement ?O.
+} =^ {
+    ?S graph:statement ?O.
+}.
+
+{
+    ?S => ?O.
+} =^ {
+    ?S => ?O.
+}.