- 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>
> 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 UTC