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

Re: Paradoxes are bugs on the SW was: Re: questions on assertion

From: Jonathan Borden <jonathan@openhealth.org>
Date: Tue, 9 Jul 2002 10:26:46 -0400
Message-ID: <035b01c22754$a8230a40$0a2e249b@nemc.org>
To: "Giles Hogben" <giles.hogben@jrc.it>, "Joshua Allen" <joshuaa@microsoft.com>, <www-rdf-logic@w3.org>

Giles Hogben wrote:


>
> So what is the meaning of assertion in RDF? If triples are, as you say,
> unasserted, what is the meaning of
>
> "This document describes a model theory for RDF(S) which treats the
language
> as simple assertional language, in which each triple makes a distinct
> assertion and the meaning of any triple is not changed by adding other
> triples"
>

I did not say that triples are unasserted according to RDF, to the contrary.
I said that in order to solve some of the broader issues that Joshua raised,
languages or layers that are (in some sense) built on RDF may need to use
RDF triples as _syntax_ to which the model theory of such a language
provides its own semantics.

Jonathan
Received on Tuesday, 9 July 2002 10:32:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:42 GMT