- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Tue, 16 Jan 2007 15:25:36 +0100
- To: 'Hassan Aït-Kaci' <hak@ilog.com>, "'W3C RIF WG'" <public-rif-wg@w3.org>
> 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 UTC