Franz Baader, Ralf Küsters. Unification in a Description Logic with Inconsistency and Transitive Closure of Roles. In Ian Horrocks, Sergio Tessaris, editors, Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. Volume 53 of CEUR Workshop Proceedings, CEUR-WS.org, 2002. [doi]
Abstract is missing.