Re: hyphens in node names in Eye

Hi Roberto,

Thanks for finding such interesting issues!
I hope you don't mind that I have added public-cwm-talk@w3.org in cc.

The remarkable thing about this test case is the following:

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
- - -
$ cat roberto-2.n3 
@prefix : <#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

:A :edge :B, :C.
:B :edge :D, :E.
:C :edge :F, :G.
:H :edge :A.

{?x :edge [:edge ?y, ?z], [:edge ?t, ?r].
 ?y log:notEqualTo ?z. ?y log:notEqualTo ?t.  ## Roberto's original test
 ?t log:notEqualTo ?r.
} => {?x a :complete}.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
- - -
$ cwm roberto-2.n3 --think --data
#Processed by Id: cwm.py,v 1.197 2007/12/13 15:38:39 syosi Exp 
        #    using base file:///home/jdroo/temp/roberto-2.n3
 
#  Notation3 generation by
#       notation3.py,v 1.200 2007/12/11 21:18:08 syosi Exp

#   Base was: file:///home/jdroo/temp/roberto-2.n3
     @prefix : <#> .
 
    :A     a :complete;
         :edge :B,
                :C .
 
    :B     :edge :D,
                :E .
 
    :C     :edge :F,
                :G .
 
    :H     :edge :A .
 
#ENDS
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
- - -
$ cat roberto-3.n3 
@prefix : <#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

:A :edge :B, :C.
:B :edge :D, :E.
:C :edge :F, :G.
:H :edge :A.

{?x :edge [:edge ?y, ?z], [:edge ?t, ?r].
 ?z log:notEqualTo ?y. ?y log:notEqualTo ?t.  ## ?z and ?y swapped
 ?t log:notEqualTo ?r.
} => {?x a :complete}.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
- - -
$ cwm roberto-3.n3 --think --data
#Processed by Id: cwm.py,v 1.197 2007/12/13 15:38:39 syosi Exp 
        #    using base file:///home/jdroo/temp/roberto-3.n3
 
#  Notation3 generation by
#       notation3.py,v 1.200 2007/12/11 21:18:08 syosi Exp

#   Base was: file:///home/jdroo/temp/roberto-3.n3
     @prefix : <#> .
 
    :A     a :complete;
         :edge :B,
                :C .
 
    :B     :edge :D,
                :E .
 
    :C     :edge :F,
                :G .
 
    :H     a :complete;
         :edge :A .
 
#ENDS
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 
- - -

Hence using a premis
?z log:notEqualTo ?y
instead of
?y log:notEqualTo ?z
is enough to let cwm produce
:H a :complete.

I can't actually explain that ..


Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T  +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare




Roberto <roberto@fraile-vallejo.me.uk> 
Sent by: altavox@gmail.com
04/09/2010 08:57 AM

To
Jos De Roo/AMDUS/AGFA@AGFA
cc

Subject
Re: hyphens in node names in Eye







Thanks for the prompt fix, I have upgraded my copy.

I found another difference with cwm:

 ?x :edge [:edge ?y, ?z], [:edge ?t, ?r].
 ?y log:notEqualTo ?z, ?t.
 ?t log:notEqualTo ?r.

yields more matches in eye than in cwm.  Eye matches when ?y=?r and
?z=?t and cwm does not, see example below.

(As a workaround, I am now using log:notEqual and explicit node names
in my code).

> What is your family name Roberto?

My full name is Roberto Fraile.

-- file: test.n3 --------------
@prefix : <#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

:A :edge :B, :C.
:B :edge :D, :E.
:C :edge :F, :G.
:H :edge :A.

{?x :edge [:edge ?y, ?z], [:edge ?t, ?r].
 ?y log:notEqualTo ?z, ?t.
 ?t log:notEqualTo ?r.
} => {?x a :complete}.

# > cwm test.n3 --think --data
# ... :A a :complete.
# eye --nope test.n3 --pass
# ... :A a :complete.
# ... :H a :complete.