Terminological Cycles in KL-ONE-based Knowledge Representation Languages.

Franz Baader

Browse the full AAAI paper archive.