Unification in the Description Logic EL without the Top Concept

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska. Unification in the Description Logic EL without the Top Concept. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. Volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]

Abstract

Abstract is missing.