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

OK - so can you explain this para?

The idea of "unasserted triples" allows a "higher level" language to define
the truth value for such triples according to its own rules (i.e. model
theory).

Giles


----- Original Message -----
From: "Jonathan Borden" <jonathan@openhealth.org>
To: "Giles Hogben" <giles.hogben@jrc.it>; "Joshua Allen"
<joshuaa@microsoft.com>; <www-rdf-logic@w3.org>
Sent: Tuesday, July 09, 2002 4:26 PM
Subject: Re: Paradoxes are bugs on the SW was: Re: questions on assertion


>
> 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:51:45 UTC