Hybrid Unification in the Description Logic EL

Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid Unification in the Description Logic EL. In Konstantin Korovin, Barbara Morawska, editors, 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. Volume 19 of EPiC Series, pages 8-12, EasyChair, 2013. [doi]

Abstract

Abstract is missing.