From: Gary Hallmark <gary.hallmark@gmail.com>

Date: Tue, 26 May 2009 15:54:17 -0700

Message-ID: <499257640905261554p3b1e0e0bvd8118edd260b74dc@mail.gmail.com>

To: RIF WG <public-rif-wg@w3.org>

Date: Tue, 26 May 2009 15:54:17 -0700

Message-ID: <499257640905261554p3b1e0e0bvd8118edd260b74dc@mail.gmail.com>

To: RIF WG <public-rif-wg@w3.org>

It just takes a counterexample to "prove" this, and here is one, I think: consider the condition 1=1. By the model theory, this condition is satisfied in every fact base. However, by the matching substitution semantics, this condition is satisfied only in fact bases that explicitly contain 1=1 as an atomic formula. Now, the equality relation is infinite but a fact base is finite, therefore no fact base can contain the entire equality relation. -- Cheers, Gary HallmarkReceived on Tuesday, 26 May 2009 22:54:50 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:47:56 UTC
*