[Jdrew-all] Negation in RuleML (and oo-jdrew)

[David Z. Hirtle]

Hi SianLun,

As you may know, RuleML has two kinds of negation: classical "strong"
negation (<Neg>), and "weak" negation as failgure (<Naf>).  There are
plenty of examples of each at http://www.ruleml.org/0.89/exa.

The only negation currently supported by OO jDREW is the latter, i.e.
<Naf>.  An example of its use can also be found in a recent workshop
paper: http://www.w3.org/2004/12/rules-ws/paper/49/#extensions

Note that support for <Neg> is on the Roadmap for Open Source OO jDREW
Development posted to the list back in June
http://mail.jdrew.org/pipermail/jdrew-all/2005-June/000001.html.

Dave

On 9/2/05, Sian Lun Lau <wahlau at gmail.com> wrote:
> Hi all,
> 
> just wonder can anyone provide me a sample on how to use negation
> <Neg> with oo-jdrew?
> 
> have not seen any example online anywhere...
> 
> thank you very much.
> 
> regards,
> SianLun
> --
> ===================== : : : ---
> normal reply to wahlau at gmail.com
> urgent reply to slau at wahlau.org
> --- : : : ======================
> _______________________________________________
> Jdrew-all mailing list
> Jdrew-all at jdrew.org
> http://mail.jdrew.org/mailman/listinfo/jdrew-all
>