Francis Gasse, Viorica Sofronie-Stokkermans. Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. 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 is missing.