W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2006

lost with the existencial variables

From: marcos rebelo <oleber@gmail.com>
Date: Wed, 26 Apr 2006 14:51:18 +0100
Message-ID: <319d96980604260651r5610175dw2f74509287ece231@mail.gmail.com>
To: "Dan Connolly" <connolly@w3.org>, "Sandro Hawke" <sandro@w3.org>, "Tim Berners-Lee" <timbl@w3.org>, "Carlos Viegas Damásio" <cd@di.fct.unl.pt>, "public-cwm-talk@w3.org" <public-cwm-talk@w3.org>

with:

@forAll :a.
{ @forSome :b . :a :b :e } => { ?a :e :b }.
{ :a _:b :e } => { ?a :f _:b }.
:m :n :e.

I obtain from cwm

:m :e :b;
   :f  [];
   :n :e .
{ @forSome :b . :a :b :e . } log:implies {:a :e :b . } .
{ @forSome :_g0 . :a :_g0 :e . } log:implies {:a :f [] . } .

####################################

but from

@forAll :a.
@forSome :b .

{ :a :b :e } => { ?a :e :b }.
{ :a _:b :e } => { ?a :f _:b }.
:m :n :e.

I obtain

@forAll :a.
@forSome :b .

:m :f [];
   :n :e .
{ :a :b :e . } log:implies { :a :e :b . } .
{ @forSome :_g0 . :a :_g0 :e . } log:implies { :a :f [] . } .

this means that we louse the triple ':m :e :b' from the output. I was
aspecting to get one of 2 triples:

:m :e :n
:m :e :[]

but no triples seems strang.
Shall I intrepet that:
   if we have a existencial variable in the head (right side of the
rule), no triple shall be created.
   if we have a existencial variable in the body (left side of the
rule) defined in a upper level (outside this context {} ), no triple
shall be created.

Or there is a bug in cwm

Thanks for the help

Marcos


--
Marcos Rebelo
http://oleber.awardspace.com/
Received on Wednesday, 26 April 2006 13:51:29 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT