Re: interesting examples revised

• From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
• Date: Sat, 26 Nov 2016 13:39:31 -0800
• To: Andy Seaborne <andy@apache.org>, public-sparql-exists@w3.org
• Message-ID: <126e6847-609e-62dd-f3b1-22aec0425756@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.  (Revised to take into account the empty BGPs that are generated
and stick around.)

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 { { (x,:s) } }
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) } }  << I think.
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 21:40:08 UTC