Re: UNSAID - two test cases

Andy Seaborne wrote:
> [...]
>
> Turning into a test case:
>
> == Data 1:
> @prefix : <http://example.org/ns#> .
>
> :x a :foo .
> :x a :bar .
>
> :y a :bar .
>
> == Query 1:
> PREFIX : <http://example.org/ns#>
>
> SELECT ?r
> WHERE (?r rdf:type ?type)        # Get all the things with a type
>        UNSAID (?r rdf:type :foo)
>
> == Result Set 1:
> ------
> | r  |
> ======
> | :y |
> ------

not only seems to assume closed world but also assume unique names
i.e. there is an implicit assumption that
  :x owl:differentFrom :y.
and unless that is stated explicitly, I can't and want make
such result

also still think it would be more explicit to say
  UNSAID <in-which-graph> ( triple )


hm.. now realize that my implementation of UNSAID using
log:notIncludes has to be much improved.. not sure if
it will succeed..


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Wednesday, 22 December 2004 14:46:32 UTC