W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > April to June 2005

Re: punctuationSyntax (let's drop reification shorthand)

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>
Message-ID: <OF190A490A.575D2070-ONC1256FDD.00797419-C1256FDD.007DBA27@agfa.com>

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:00:47 UTC