Next: Verification of Formal Up: Translation to Description Previous: Removal of cyclic

Negation:

Many DLs do not include negation. We have used negation only under certain circumstances. Therefore, we can remove negations by changing the number restrictions of roles to zero. For instance, the modified definition of an empty region uses for the role containing a zero restriction instead of negation: