W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2007

RE: Data models as constraints

From: Gerd Wagner <wagnerg@tu-cottbus.de>
Date: Tue, 16 Jan 2007 15:25:36 +0100
To: 'Hassan At-Kaci' <hak@ilog.com>, "'W3C RIF WG'" <public-rif-wg@w3.org>
Message-ID: <001201c7397a$32b8e580$a2ca2b8d@informatik.tucottbus.de>

> I have finalized the writeup on data models as constraints. 
> It is available as
> http://koala.ilog.fr/wiki/pub/Main/HassanAitKaci/semwebclp.pdf
> Comments are welcome.

Hassan, it seems that you have completely ignored the 
fundamental issue of negation-as-failure (NaF), also 
called "negation-by-default", and the related issue 
of open vs. closed predicates in your paper. 

Why? Because you didn't consider that (yet) in your 
OSF formalism?

How can you capture SQL, Prolog and production rules
without supporting NaF?

-Gerd
Received on Tuesday, 16 January 2007 14:25:46 GMT

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