|
|
|
This allows one legal nesting of the two kinds of negations, for which
we propose to use the notation Naf/Neg, as in RuleML:
Its XML serialization form is:
<NafNeg>
(XML serialization of Atom)
</NafNeg>
|
Copyright © 2006 ILOG, Inc.; All Rights Reserved.
