- From: Gary Hallmark <gary.hallmark@gmail.com>
- Date: Tue, 26 May 2009 15:54:17 -0700
- 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 Hallmark
Received on Tuesday, 26 May 2009 22:54:50 UTC