Foundations for the Logical Difference of EL-TBoxes

Shasha Feng, Michel Ludwig, Dirk Walther 0002. Foundations for the Logical Difference of EL-TBoxes. In Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov, editors, Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015. Volume 36 of EPiC Series in Computing, pages 93-112, EasyChair, 2015. [doi]

Abstract

Abstract is missing.