Merge branch 'main' of github.com:eyereasoner/rdfsurfaces-tests

eyereasoner · Oct 6, 2024 · 99bda54 · 99bda54
2 parents 75b50e3 + 81b1849
commit 99bda54
Show file tree

Hide file tree

Showing 3 changed files with 80 additions and 3 deletions.
diff --git a/test/pure/water.n3s b/test/pure/water.n3s
@@ -10,7 +10,7 @@
 # water is an inorganic compound
 :water a :InorganicCompound.
 
-# water is a solid or a liquid or a gas
+# water is solid or liquid or gas
 (_:A) log:onNegativeSurface {
     _:A a :InorganicCompound.
     () log:onNegativeSurface {

diff --git a/test/pure/water2.trig b/test/pure/water2.trig
@@ -12,7 +12,7 @@
 # water is an inorganic compound
 :water a :InorganicCompound.
 
-# water is a solid or a liquid or a gas
+# water is solid or liquid or gas
 (_:A) log:onNegativeSurface _:bng_1.
 
 _:bng_1 {
@@ -72,4 +72,4 @@ _:bng_9 {
 
 _:bng_10 {
     :test :is true.
-}
+}
diff --git a/test/pure/water3_FAIL.n3s b/test/pure/water3_FAIL.n3s
@@ -0,0 +1,77 @@
+# --------------------------
+# RDF surfaces water example
+# --------------------------
+#
+# See https://en.wikipedia.org/wiki/Disjunction_elimination
+
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <urn:example:>.
+
+# water is an inorganic compound
+:water a :InorganicCompound.
+
+# water is solid or liquid
+(_:A) log:onNegativeSurface {
+    _:A a :InorganicCompound.
+    () log:onNegativeSurface {
+        _:A :is :solid.
+    }.
+    () log:onNegativeSurface {
+        _:A :is :liquid.
+    }.
+}.
+
+# water is packaged or gas
+(_:A) log:onNegativeSurface {
+    _:A a :InorganicCompound.
+    () log:onNegativeSurface {
+        _:A :is :packaged.
+    }.
+    () log:onNegativeSurface {
+        _:A :is :gas.
+    }.
+}.
+
+# solid things are observable
+(_:A) log:onNegativeSurface {
+    _:A :is :solid.
+    () log:onNegativeSurface {
+        _:A :is :observable.
+    }.
+}.
+
+# liquid things are observable
+(_:A) log:onNegativeSurface {
+    _:A :is :liquid.
+    () log:onNegativeSurface {
+        _:A :is :observable.
+    }.
+}.
+
+# packaged things are not observable
+(_:A) log:onNegativeSurface {
+    _:A :is :packaged.
+    () log:onNegativeSurface {
+        () log:onNegativeSurface {
+            _:A :is :observable.
+        }.
+    }.
+}.
+
+# gas things are not observable
+(_:A) log:onNegativeSurface {
+    _:A :is :gas.
+    () log:onNegativeSurface {
+        () log:onNegativeSurface {
+            _:A :is :observable.
+        }.
+    }.
+}.
+
+# query
+() log:onNegativeSurface {
+    :water :is :observable.
+    () log:onNegativeAnswerSurface {
+        :test :is true.
+    }.
+}.