- From: Hassan Aït-Kaci <hak@ilog.com>
- Date: Tue, 19 Dec 2006 05:25:48 -0800
- To: Giorgos Stoilos <gstoil@image.ntua.gr>
- CC: W3C RIF WG <public-rif-wg@w3.org>
Dear Giorgos,
In the minutes you scribed you wrote:
> michael: if you agree on syntax you have to also specify semantics to
> exchange
> ... harold's example might not cover c-terms
Please correct before submitting for acceptance: it's not 'c-terms' but
\psi-terms (i.e., the Greek (!) letter "psi").
Same remark also everywhere else it occurs in the rest of the text below.
> hassan: subsumption is too much for minimal core
> ... you can close your signature and have the same semantics as individuals
>
> <GerdW> john{age->40} what is the predicate ?
>
> <sandro> ChrisW? Are you purposely ignoring the queue or not paying
> attention to IRC?
>
> hassan: it is important for exchange
Please modify to:
hassan: Constraints are IMHO the right level of abstraction for rule exchange
because they allow *approximation*. Approximation it is important for exchange
as one may still wish to exchange rules at some level of *abstraction*. Indeed,
abstraction is possible simply by relaxing some constraints describing the
data over which the rules are defined.
Thanks.
Regards,
-hak
--
Hassan Aït-Kaci
ILOG, Inc. - Product Division R&D
tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com
Received on Tuesday, 19 December 2006 13:26:13 UTC