- From: Jos De Roo <jos.deroo@agfa.com>
- Date: Mon, 19 Jan 2015 22:37:49 +0100
- To: Tim Berners-Lee <timbl@w3.org>
- Cc: Dörthe Arndt <dorthe.arndt@ugent.be>, public-cwm-talk <public-cwm-talk@w3.org>
Hi Tim, just a quick clarification:
> I wasn't aware that EYE was different.
At the occasion of the first team submission d.d. 2008-01-14
http://www.w3.org/TeamSubmission/2008/SUBM-n3-20080114/
I made the following comments 5 days later
http://lists.w3.org/Archives/Public/public-cwm-talk/2008JanMar/0000.html
esp.
[[
The main differences that we have in our implementation are
1/ the scope of quickvars like ?A is the statement level
...
]]
Statements are clauses i.e. facts (triples) and rules.
I never wanted to change that in our implementation,
so we have an issue:
$ cat black_and_white.n3
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://example.org/test#>.
{{?s :p :o} => {?s :pp :o}} => {:i a :Black}.
{<>!log:semantics log:notIncludes {{?s :p :o} => {?s :pp :o}}} => {:i a :White}.
{:p :p :o} => {:p :pp :o}.
$ eye --nope black_and_white.n3 --pass 2> /dev/null
#Processed by Id: euler.yap 7698 2015-01-13 19:40:14Z josd
#eye --nope black_and_white.n3 --pass
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX : <http://example.org/test#>
:i a :Black.
$ cwm black_and_white.n3 --think --data 2> /dev/null
#Processed by Id: cwm.py,v 1.198 2012-01-30 09:30:20 timbl Exp
# using base file:///home/jdroo/temp/quickvars/black_and_white.n3
@prefix : <http://example.org/test#> .
:i a :White .
This inconsistency was resolved by Dörthe by simply adding a dummy rule
$ cat black_and_white_try.n3
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://example.org/test#>.
# "dummy rule" found by Dörthe
{?s ?s ?s} => {?s ?s ?s}.
{{?s :p :o} => {?s :pp :o}} => {:i a :Black}.
{<>!log:semantics log:notIncludes {{?s :p :o} => {?s :pp :o}}} => {:i a :White}.
{:p :p :o} => {:p :pp :o}.
and then cwm gives
$ cwm black_and_white_try.n3 --think --data 2> /dev/null
#Processed by Id: cwm.py,v 1.198 2012-01-30 09:30:20 timbl Exp
# using base file:///home/jdroo/temp/quickvars/black_and_white_try.n3
@prefix : <http://example.org/test#> .
:i a :Black .
Kind regards,
Jos
Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
http://www.agfa.com/w3c/jdroo
http://twitter.com/josderoo
Agfa HealthCare NV, Moutstraat 100, B-9000 Gent, Belgium
http://www.agfa.com/healthcare
Received on Monday, 19 January 2015 21:38:13 UTC