Re: SPARQL editors playing with non-quoting reification syntax from jos.deroo@agfa.com on 2005-04-02 (public-cwm-talk@w3.org from April to June 2005)

From: <jos.deroo@agfa.com>
Date: Sun, 3 Apr 2005 01:33:45 +0200
To: connolly@w3.org
Cc: public-cwm-talk@w3.org
Message-ID: <OF5ADEF218.CD01056A-ONC1256FD7.0080CAA5-C1256FD7.00816E09@agfa.com>

Dan Connolly wrote:
[...]
> The N3 {}s do quote terms, so it does *not* follow
> from
>
>   Lois believes { Superman a Hero }.
>   Superman = ClarkKent.
>
> that
>
>   Lois believes { ClarkKent a Hero }.

true that given

:Lois :believes { :Superman a :Hero }.
:Superman = :ClarkKent.

cwm --filter

{ :Lois :believes { :Superman a :Hero } } => { :Superman a :Answer}.
{ :Lois :believes { :ClarkKent a :Hero } } => { :ClarkKent a :Answer}.

only gives

    :Superman     a :Answer .

hm.. euler gives

:Superman a :Answer. 
:ClarkKent a :Answer. 

(is that it does substition of equals by equals for everything..)


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Saturday, 2 April 2005 23:34:01 UTC