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

Re: Gary's weird test case

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Fri, 26 Sep 2008 16:07:39 -0400
To: Jos de Bruijn <debruijn@inf.unibz.it>
Cc: RIF WG <public-rif-wg@w3.org>
Message-ID: <20080926160739.6130ee1d@cs.sunysb.edu>



On Fri, 26 Sep 2008 16:00:21 -0400
Jos de Bruijn <debruijn@inf.unibz.it> wrote:

> It was my test case, and you missed the p(?x) in the body, so the rule
> is not inconsistent.

OK. But then we actually derive

Forall ~p(?X) \/ isInt(?X) \/ isStr(?X)

which is not a condition formula.

m

> 
> 
> Jos
> 
> 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  
> > 
> 
Received on Friday, 26 September 2008 20:08:33 GMT

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