Efficient Axiom Pinpointing with EL2MCS

KI 2015: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24489-1_17 ◽

2015 ◽

pp. 225-233 ◽

Author(s):

M. Fareed Arif ◽

Carlos Mencía ◽

Joao Marques-Silva

Download Full-text