Franz Baader. Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. In Aldo de Moor, Wilfried Lex, Bernhard Ganter, editors, Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003 Dresden, Germany, July 21-25, 2003 Proceedings. Volume 2746 of Lecture Notes in Computer Science, pages 117-130, Springer, 2003. [doi]
Abstract is missing.