Efficient Reasoning in ::::EL+::::

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. Efficient Reasoning in ::::EL+::::. In Bijan Parsia, Ulrike Sattler, David Toman, editors, Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. Volume 189 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]

Abstract

Abstract is missing.