Re: rdf as a base for other languages from Jonathan Borden on 2001-06-01 (www-rdf-logic@w3.org from June 2001)

From: Jonathan Borden <jborden@mediaone.net>
Date: Fri, 1 Jun 2001 12:42:35 -0400
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, "Sandro Hawke" <sandro@w3.org>
Cc: <www-rdf-logic@w3.org>
Message-ID: <06c801c0eab9$dcada230$0a2e249b@nemc.org>

Sandro Hawke wrote:

>
> The only potential for confusion I see is that some people might want
> to jump from having a triple described (with ground facts) to assuming
> the described triple is true, but that seems clearly wrong.
>

Calling something a "fact" implies that it is "true". You might try to
assert a falsehood but that would be false or inconsistent. To be consistent
you must assert a fact, i.e. the fact _must be_ true. What am I clearly
missing?

-Jonathan

Received on Friday, 1 June 2001 12:59:30 UTC