SPARQL 1.1: Adds tests for inverse properties inside NegatedPropertyTest

This feature is in the specification but not covered by the testsuite
w3c · May 24, 2023 · 610f046 · 610f046
1 parent 9d70ac9
commit 610f046
Show file tree

Hide file tree

Showing 7 changed files with 73 additions and 0 deletions.
diff --git a/sparql/sparql11/property-path/manifest.ttl b/sparql/sparql11/property-path/manifest.ttl
@@ -39,6 +39,8 @@
     :pp37
 
     :values_and_path
+    :nps_inverse
+    :nps_direct_and_inverse
  ) .
 
 
@@ -294,3 +296,18 @@
         [ qt:query <values_and_path.rq> ;
           qt:data  <empty.ttl> ] ;
     mf:result  <values_and_path.srx> .
+
+:nps_inverse rdf:type mf:QueryEvaluationTest ;
+    mf:name "Negated Property Set with inverse properties" ;
+    mf:action
+        [ qt:query <nps_inverse.rq> ;
+          qt:data  <nps_inverse.ttl> ] ;
+    mf:result  <nps_inverse.srx> .
+
+
+:nps_direct_and_inverse rdf:type mf:QueryEvaluationTest ;
+    mf:name "Negated Property Set with both direct and inverse properties" ;
+    mf:action
+        [ qt:query <nps_direct_and_inverse.rq> ;
+          qt:data  <nps_direct_and_inverse.ttl> ] ;
+    mf:result  <nps_direct_and_inverse.srx> .
diff --git a/sparql/sparql11/property-path/nps_direct_and_inverse.rq b/sparql/sparql11/property-path/nps_direct_and_inverse.rq
@@ -0,0 +1,4 @@
+PREFIX ex: <http://example.org/>
+SELECT ?s ?o WHERE {
+  ?s !(ex:pd|^ex:pr) ?o
+}
diff --git a/sparql/sparql11/property-path/nps_direct_and_inverse.srx b/sparql/sparql11/property-path/nps_direct_and_inverse.srx
@@ -0,0 +1,25 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+    <head>
+        <variable name="s"/>
+        <variable name="o"/>
+    </head>
+    <results>
+        <result>
+            <binding name="s">
+                <uri>http://example.org/od</uri>
+            </binding>
+            <binding name="o">
+                <uri>http://example.org/sd</uri>
+            </binding>
+        </result>
+        <result>
+            <binding name="s">
+                <uri>http://example.org/sr</uri>
+            </binding>
+            <binding name="o">
+                <uri>http://example.org/or</uri>
+            </binding>
+        </result>
+    </results>
+</sparql>
diff --git a/sparql/sparql11/property-path/nps_direct_and_inverse.ttl b/sparql/sparql11/property-path/nps_direct_and_inverse.ttl
@@ -0,0 +1,3 @@
+@prefix ex: <http://example.org/> .
+ex:sd ex:pd ex:od .
+ex:sr ex:pr ex:or .
diff --git a/sparql/sparql11/property-path/nps_inverse.rq b/sparql/sparql11/property-path/nps_inverse.rq
@@ -0,0 +1,4 @@
+PREFIX ex: <http://example.org/>
+SELECT ?s ?o WHERE {
+  ?s !^ex:pr ?o
+}
diff --git a/sparql/sparql11/property-path/nps_inverse.srx b/sparql/sparql11/property-path/nps_inverse.srx
@@ -0,0 +1,17 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+    <head>
+        <variable name="s"/>
+        <variable name="o"/>
+    </head>
+    <results>
+        <result>
+            <binding name="s">
+                <uri>http://example.org/od</uri>
+            </binding>
+            <binding name="o">
+                <uri>http://example.org/sd</uri>
+            </binding>
+        </result>
+    </results>
+</sparql>
diff --git a/sparql/sparql11/property-path/nps_inverse.ttl b/sparql/sparql11/property-path/nps_inverse.ttl
@@ -0,0 +1,3 @@
+@prefix ex: <http://example.org/> .
+ex:sd ex:pd ex:od .
+ex:sr ex:pr ex:or .