Hybrid EL-Unification is NP-complete

Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid EL-Unification is NP-complete. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 29-40, CEUR-WS.org, 2013. [doi]

Authors

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Oliver Fernandez Gil

This author has not been identified. Look up 'Oliver Fernandez Gil' in Google

Barbara Morawska

This author has not been identified. Look up 'Barbara Morawska' in Google