- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Fri, 14 Jul 2006 12:05:32 -0400
- To: "Alex Kozlenkov" <alex.kozlenkov@betfair.com>
- Cc: public-rif-wg@w3.org
> 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
Received on Friday, 14 July 2006 16:05:41 UTC