Re: working with Skolem IRIs

Ooops..
The 3rd case should have been

$ 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 :wish { :x a :Unicorn } }.

$ eye --quiet --nope test3.n3 --pass 2> /dev/null
PREFIX : <https://example.org/ns/example#>

:we :doubt {<
http://josd.github.io/.well-known/genid/oiYDWzZAZyTTWrZsgJjysvBz7cY#e_x_1>
a :Unicorn}.
:we :doubt {:rex a :Unicorn}.
:we :wish {<
http://josd.github.io/.well-known/genid/oiYDWzZAZyTTWrZsgJjysvBz7cY#e_x_1>
a :Unicorn}.
:we :wish {:rex a :Unicorn}.


There are also some more eye corrections (esp. for rule generating rules)
and the latest release is now
https://github.com/josd/eye/releases/tag/v21.0608.1647

Jos

-- https://josd.github.io/ <http://josd.github.io/>


On Tue, Jun 8, 2021 at 3:06 PM Jos De Roo <josderoo@gmail.com> wrote:

> 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/>
>