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:55:08 -0400
Message-ID: <037501c22758$9f0bc830$0a2e249b@nemc.org>
To: "Giles Hogben" <giles.hogben@jrc.it>, <www-rdf-logic@w3.org>




>
> 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).
>

Certainly, this is an _idea_. I did not say this was part of RDF as it is
currently formulated. On the other hand, the current round of RDF working
drafts are just that -- working drafts. They are not yet final
recommendations.

For extensive discussion of this topic see
http://www.w3.org/Archives/Public/www-webont-wg and/or
http://www.w3.org/Archives/Public/w3c-rdfcore-wg archives. For a summary as
of May, see: http://www.openhealth.org/WOWG/DTTF but the RDFCore archives
contain lots of discussion subsequent to this.

Jonathan
Received on Tuesday, 9 July 2002 11:00:46 GMT

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