Understanding the complexity of axiom pinpointing in lightweight description logics

Rafael PeƱaloza, Baris Sertkaya. Understanding the complexity of axiom pinpointing in lightweight description logics. Artificial Intelligence, 250:80-104, 2017. [doi]

Bibliographies