Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics

Rafael PeƱaloza, Baris Sertkaya. Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. In Helder Coelho, Rudi Studer, Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 29-34, IOS Press, 2010. [doi]

Abstract

Abstract is missing.