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

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 UTC