- From: Alex Kozlenkov <alex.kozlenkov@betfair.com>
- Date: Fri, 14 Jul 2006 17:12:00 +0100
- To: "Michael Kifer" <kifer@cs.sunysb.edu>
- Cc: <public-rif-wg@w3.org>
Michael and all Firstly, remember we are only talking here about the condition ("WHEN") part of the rules, not the full production system. Secondly, the NAF in JBoss Rules is indeed only interpreted in a strictly CWA sense and moreover limited to objects (that is facts). No WFS in the Frame Logic sense is available. Alex >> -----Original Message----- >> From: Michael Kifer [mailto:kifer@cs.sunysb.edu] >> Sent: 14 July 2006 17:06 >> To: Alex Kozlenkov >> Cc: public-rif-wg@w3.org >> Subject: Re: Task points to analyse condition language of commercial >> rule engines and contact JSR-94 people >> >> >> > The Jboss Rules >> > (former Drools) is a fairly classic production rules system with >> syntax >> > and semantics that so far look to me as mappable to Frame logic. >> >> Since Jboss is a production system with NAF, I doubt it very much that >> its >> semantics can be mapped to any declarative LP system. >> >> > Now we haven't used Frame logic directly in our documents. However, we >> > should be aware that Frame logic is essentially a syntactic sugar on >> top >> > of logic programming with negation based on well-formed semantics. I >> > don't see Jboss Rules using WFS but a scoped NAF seems to be there as >> >> What kind of NAF is it then? I haven't looked carefully at Jboss, but >> production systems typically don't have NAF in the sense of Prolog or of >> declarative LP (i.e., WFS or stable models). These systems are normally >> constructing models on the fly, and negation in the body is interpreted >> as the absence of a fact in the current state of the model. >> >> >> --michael >> >> >> ________________________________________________________________________ >> In order to protect our email recipients, Betfair use SkyScan from >> MessageLabs to scan all Incoming and Outgoing mail for viruses. >> >> ________________________________________________________________________
Received on Friday, 14 July 2006 16:12:28 UTC