W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2002

Re: Implementing statement grouping, contexts, quads and scopes

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Wed, 26 Jun 2002 11:22:34 +0300
To: Patrick Stickler <patrick.stickler@nokia.com>, Pat Hayes <phayes@ai.uwf.edu>
CC: RDF Logic <www-rdf-logic@w3.org>
Message-ID: <B93F547A.1768F%patrick.stickler@nokia.com>

On 2002-06-26 11:00, "ext Patrick Stickler" <patrick.stickler@nokia.com>

> So there are some things that are true at higher layers
> that are not true at lower layers, but everything that is
> true at a lower layer is also true at all higher layers.

Sorry. That was stated poorly. Let me try again:

There are some statements that are asserted at higher layers that
are not asserted at lower layers, even if those statements are
described at the lower layers, but every statement that is
asserted at a lower layer is also asserted at all higher layers,
and the meaning of any asserted statement at a lower layer
remains unchanged at all higher layers.


Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com
Received on Wednesday, 26 June 2002 04:18:07 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:38 UTC