On the Complexity of Axiom Pinpointing in the EL Family of Description Logics

Rafael PeƱaloza, Baris Sertkaya. On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010. [doi]

Abstract

Abstract is missing.