W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2002

Re: A Single Foundational Logic for the Semantic Web

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Wed, 1 May 2002 00:51:41 +0200
To: pfps@research.bell-labs.com
Cc: "www-rdf-logic" <www-rdf-logic@w3.org>
Message-ID: <OF9DC762EB.296AB564-ONC1256BAB.007B712E@agfa.be>

> A simple analysis shows than every formula has to exist in every model.

the simplest formula I can imagine is the empty graph { }
and it doesn't have a model/interpretation (it's simply false)
how could it exist in every model???

--
Jos
Received on Tuesday, 30 April 2002 18:53:45 GMT

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