regular path expressions

I was happy to see the revisions earlier in the week to the SPARQL 1.1
working draft that saw the default semantics of the *, + and ?
operators changed from counting to existential.

Is it to be expected that a similar revision will be forthcoming for
the simple walk vs. regular path problem signalled by Wim Martens et
al?

As I understand it, the non-standard W3C simple-walk semantics mean
that evaluating path expressions containing those operators is
intractable even with counting semantics. See Wim's earlier mail at
[1].

I understand that the WG is already over time and there is pressure to
carve the spec into stone, but it seems to me better to be late than
to release something containing a known serious error especially when
the fix is clear.

I would also like to point out -- and this is the reason I call the
simple-walk semantics non-standard -- that basic things like the
equivalence of "aa*" and "a+" are not true under the current
draft. Apart from questions of tractability, this could be quite
confusing to users.

Cheers,
-w

[1] http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2012Feb/0029.html

Received on Thursday, 19 April 2012 13:59:15 UTC