W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

[PRD] proof that model theory of conditions != matching substitution semantics

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT