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

[Joshua Allen]

> Example:
> A. Joe says "There are aliens in my house"
> B. John says "Joe doesn't have a house"
>
> The *meaning* of statement "A" is clear.  Statement "B" does not in any
> way affect the meaning of statement "A".  In fact, it doesn't even
> affect the truth of statement A.  The listener is left to make a
> judgment call about which assertion he accepts and which he rejects.
> Rejecting a triple is not the same as changing its meaning.
>

Remember, a reified statement is not considered asserted in RDF.  That is,
the reification is asserted but not the truth of the triple described by the
rdf:Statement.  So you can in fact make statements about other statements
without having RDF insist on their being asserted.  Of course, you only want
to do that to selected statements, not every one.  It seems ridiculous to
have to think about treating an entire store of triples that way, pending,
perhaps, a resolution of their veracity.

Cheers,

Tom P

Received on Tuesday, 9 July 2002 14:47:45 UTC