W3C home > Mailing lists > Public > public-rif-wg@w3.org > September 2008

Gary's weird test case

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.

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

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