Hybrid Unification in the Description Logic

Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid Unification in the Description Logic. In Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt, editors, Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Volume 8152 of Lecture Notes in Computer Science, pages 295-310, Springer, 2013. [doi]

Abstract

Abstract is missing.