Re: bugs in Eric's implementation of RDF shapes

* Peter F. Patel-Schneider <pfpschneider@gmail.com> [2014-07-10 13:48-0700]
> I'm getting what appear to be incorrect results.
> 
> For example:
> 
> Constraints:
> 
> 
> prefix : <http://example.org/>


start=<FooShape>


> <FooShape> {
>     :patron @<BarShape> {2,2}
> }
> 
> <BarShape> {
>     :patron @<FooShape> {2,2}
> }
> 
> 
> Data:
> 
> @prefix : <http://example.org/> .
> 
> <Foo> :patron <Bar>, <Foo>, <XXX> .
> <Bar> :patron <XXX> .
> <XXX> :patron <Foo> .
> 
> 
> Results in everything matching everything.

Without the start shape, it tries the target node as every shape in
the schema.


> Are there known problems with this implementation?

I'd probably chop off an arm before calling it a reference
implementation, but the only problems I currently know about have to
do with some cool rendering which seems to have rotted in the face of
hasty typing and a complete lack of type safety. And colorize makes
your cursor jump around bizarrely, and back arrow sometimes gives you
two copies of your schema and your data, and Find Type Nodes makes it
think that you've run the GenX extension.


> peter
> 

-- 
-ericP

office: +1.617.599.3509
mobile: +33.6.80.80.35.59

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

There are subtle nuances encoded in font variation and clever layout
which can only be seen by printing this message on high-clay paper.

Received on Thursday, 10 July 2014 21:14:45 UTC