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

Re: Name of a graph? and FROM and FROM NAMED

From: <jos.deroo@agfa.com>
Date: Fri, 3 Jun 2005 01:34:07 +0200
To: kendall@monkeyfist.com
Cc: "Seaborne, Andy" <andy.seaborne@hp.com>, Yoshio FUKUSHIGE <fuku@w3.org>, public-rdf-dawg@w3.org, public-rdf-dawg-request@w3.org
Message-ID: <OF4C821521.24D3847C-ONC1257014.0080935F-C1257014.00817502@agfa.com>

> I don't see how we can abjure the addition of told triples without also
> abjuring the addition of inferred triples.

I'm still one of those who think that inferred triples
can be sharply described e.g. as sequent proofs and is
all about explicit assumptions and transparent explanations

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 2 June 2005 23:34:20 UTC

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