- From: Jos De Roo <josderoo@gmail.com>
- Date: Tue, 8 Jun 2021 15:06:02 +0200
- To: public-n3-dev@w3.org
- Message-ID: <CAJbsTZdS0A_-Y3P5E1cL6QLpZJXY7xr3G5zdRHSsD5rQRLYCiQ@mail.gmail.com>
Thanks for the constructive meeting yesterday https://docs.google.com/document/d/1A3HAUhjaVnnJ6yVbFAvIBRJQjUY9aFlQ2_bGxkD0mnE/edit and ss discussed, I investigated the 3 test case http://ppr.cs.dal.ca:3002/n3/editor/s/BCjsuKDM http://ppr.cs.dal.ca:3002/n3/editor/s/c3BNl6HQ http://ppr.cs.dal.ca:3002/n3/editor/s/36y4Kyvc and made corrections in the latest eye release https://github.com/josd/eye/releases/tag/v21.0608.1236 In detail, the answers are now as follows: $ cat test1.n3 Prefix : <https://example.org/ns/example#> :tom a :Cat. _:x a :Cat. {?x a :Cat}=>{:we :doubt {?x a :Dog}}. $ eye --quiet --nope test1.n3 --pass 2> /dev/null PREFIX : <https://example.org/ns/example#> :tom a :Cat. _:e_x_1 a :Cat. :we :doubt {:tom a :Dog}. :we :doubt {< http://josd.github.io/.well-known/genid/b2nrBWsoaecgOIC7KXr1yViiq:k#e_x_1> a :Dog}. $ cat test2.n3 @prefix : <https://example.org/ns/example#> . :we :doubt { _:x a :Unicorn }. :we :doubt { :rex a :Unicorn }. @forAll :x. { :we :doubt { :x a :Unicorn } } => { :we :like :x }. $ eye --quiet --nope test2.n3 --pass 2> /dev/null PREFIX : <https://example.org/ns/example#> :we :doubt {< http://josd.github.io/.well-known/genid/Cq1oCASTEiQwLTKPixnecepqJCg#e_x_1> a :Unicorn}. :we :doubt {:rex a :Unicorn}. :we :like _:e_x_1. :we :like :rex. $ cat test3.n3 @prefix : <https://example.org/ns/example#> . :we :doubt { _:x a :Unicorn }. :we :doubt { :rex a :Unicorn }. @forAll :x. { :we :doubt { :x a :Unicorn } } => { :we :like :x }. $ eye --quiet --nope test3.n3 --pass 2> /dev/null PREFIX : <https://example.org/ns/example#> :we :doubt {< http://josd.github.io/.well-known/genid/3qFbvxHHHzcCfeYYMoDVFV79S5g#e_x_1> a :Unicorn}. :we :doubt {:rex a :Unicorn}. :we :like _:e_x_1. :we :like :rex. PS William, if fine, could you install the latest eye https://github.com/josd/eye/releases/tag/v21.0608.1236 at http://ppr.cs.dal.ca:3002/n3/editor/ and BTw thanks for such a nice tool, it's really nice and useful! -- https://josd.github.io/ <http://josd.github.io/>
Received on Tuesday, 8 June 2021 13:07:37 UTC