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

Re: model theory of error

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Thu, 10 Jan 2008 09:49:28 -0500
To: Christian de Sainte Marie <csma@ilog.fr>
Cc: RIF WG <public-rif-wg@w3.org>
Message-ID: <23290.1199976568@cs.sunysb.edu>

> Michael Kifer wrote:
> > 
> > It is clear like mud.
> Ok...
> > You still fail to understand that we are supposed to
> > give formal semantics: model-theoretic, denotational, operational in that
> > order.
> Let me try another angle to attempt to get my message through.
> How do commonly used implementations of basic logic rule languages (e.g. 
> various implementations of Prolog, datalog, whatever) handle the case of 
> evaluated functions or predicates when some argument is out of there 
> domain of definition?

Usually they issue an error. But they do not have a model theory for it,
and they do not write a document for W3C saying "this is THE semantics of
...".  They give the semantics in conference papers and do not include
builtins in it.


> This is not a rethorical question: I do not know and I do not care to 
> check myself if other people in the WG know.
> But this is the key question, with respect to making rule interchange 
> possible between applications that use these rule languages (and with 
> respect to RIF adoption, of course).
> Christian.
Received on Thursday, 10 January 2008 14:49:34 UTC

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