Gary's weird test case from Michael Kifer on 2008-09-26 (public-rif-wg@w3.org from September 2008)

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Fri, 26 Sep 2008 15:45:33 -0400
To: public-rif-wg@w3.org (RIF WG)
Message-ID: <10486.1222458333@cs.sunysb.edu>

This is regarding the rule that kept bugging me:

1=2 :- AND(p(?X) isNotInt(?X) isNotString(?X)).

It seems this is inconsistent in the presence of other data types, such as 
xsd:date. This is because this implies

 Forall ?X OR(isInt(?X) isString(?X))

Since there are things that are disjoint from ints and strs (e.g., dates,
time), it follows that the above rule is inconsistent.

To make the above stick, all data types must be mentioned in the body.


	--michael

Received on Friday, 26 September 2008 19:50:45 UTC