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

Re: Gary's weird test case

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Fri, 26 Sep 2008 16:00:21 -0400
Message-ID: <48DD3F55.70102@inf.unibz.it>
To: Michael Kifer <kifer@cs.sunysb.edu>
CC: RIF WG <public-rif-wg@w3.org>
It was my test case, and you missed the p(?x) in the body, so the rule
is not inconsistent.


Michael Kifer wrote:
> 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  


Jos de Bruijn,        http://www.debruijn.net/
One man that has a mind and knows it can
always beat ten men who haven't and don't.
  -- George Bernard Shaw

Received on Friday, 26 September 2008 20:01:26 UTC

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