- From: <jos.deroo@agfa.com>
- Date: Sat, 9 Apr 2005 00:53:19 +0200
- To: connolly@w3.org
- Cc: Dave Beckett <dave.beckett@bristol.ac.uk>, Jeen Broekstra <jeen@aduna.biz>, RDF Data Access Working Group <public-rdf-dawg@w3.org>
Dan Connolly wrote:
[...]
> In contrast, the N3 {}s do quote their contents, so it
> does *not* follow from
>
> :Lois :believes { Superman a Hero }.
^: ^:
> :Superman owl:sameAs ClarkKent.
^:
>
> that
>
> :Lois :believes { :ClarkKent a :Hero }.
think I'm starting to understand..
was confused because from
{:x :y :z} log:implies {:a :b :c}.
:a owl:sameAs d.
:x :y :z.
{?X ?P ?Y. ?X owl:sameAs ?Z} log:implies {?Z ?P ?Y}.
it follows that
:d :b :c.
have to redo my substitution of equals-by-equals
and do it probably just for facts only..
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 8 April 2005 22:53:28 UTC