[Jdrew-all] Questions regarding RuleML status

[Wahlau -]

Hi,

i am not an expert but i have some answers :)

> Concerning OO jDREW:
>
> * does the engine support strong negation already, i.e. 'Not'? and what
> about 'Naf'

from what i know, oojdrew supports only Naf in TD (although you can
also have Naf in BU with jing's extension, but it has a bug afaik at
this point).

<Neg> is planned, but i have no idea whether when it would be ready
for us to use ;)

regards,
SianLun