Re: interesting examples

• From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
• Date: Sat, 26 Nov 2016 10:47:51 -0800
• To: james anderson <james@dydra.com>, public-sparql-exists@w3.org
• Message-ID: <92df37fd-2c34-8b42-c669-f7fcc6379a7b@gmail.com>

I have added a new test and shown what I think the results for several
setups are are on some data.  The "Expected" results are what I think should
be expected from the fixed definition of SPARQL that the group is supposed
to produce.

Graph
 :s :p :v .
 :t :r :w .


SELECT ?x WHERE {
  ?x :p :v .
  FILTER ( EXISTS {
    FILTER ( ?x = :s ) )
    } )
  }

Specification { { (x,:s) } }
Proposal A { { (x,:s) } }
Proposal B { }
Expected { { (x,:s) } }

SELECT ?x WHERE {
  ?x :p :v .
  FILTER ( EXISTS {
    SELECT (?y as ?x) WHERE {
      ?y :r :w .
      }
    } )
  }

Specification error issue 2
Proposal A { }
Proposal B { { (x,:s) } }
Expected { }

SELECT ?x WHERE {
  ?x :p :v .
  FILTER ( EXISTS {
    ?x :p :v . MINUS { ?x :p :v . }
    } )
  }

Specification { { (x,:s) } }
Proposal A { }
Proposal B { }
Expected { }

SELECT ?x WHERE {
  ?x :p :v .
  FILTER ( EXISTS {
    :a :q :c . MINUS { :a :q :c . }
    } )
  }

Specification { { (x,:s) } }
Proposal A { { (x,:s) } }
Proposal B { }
Expected* { { (x,:s) } }
* Expected only if the flipping nature of MINUS is considered to be
expected, otherwise the expected result would be { }.

SELECT ?x WHERE {
  ?x :p :v .
  FILTER ( EXISTS {
    ?x :p :v . MINUS { :a :q :c . }
    } )
  }

Specification { { (x,:s) } }
Proposal A { { (x,:s) } }
Proposal B { }
Expected { { (x,:s) } }

Received on Saturday, 26 November 2016 18:48:24 UTC