Next: Negation: Up: Translation to Description Previous: Use of DL

Removal of cyclic definitions:

Semantics of cyclic specifications cause problems and are difficult to handle. DL systems automatically recognize these cycles. For instance, the specifications for rules and agents are mutually dependent on each other and contain a cycle. We remove this cycle by changing the definition for rules as follows. The definition for agents remains unchanged.

The modified definition does not change the language since rule bodies are only allowed as top-level elements if they can also be classified as agents.