Consequence-based and fixed-parameter tractable reasoning in description logics

Frantisek Simancik, Boris Motik, Ian Horrocks. Consequence-based and fixed-parameter tractable reasoning in description logics. Artificial Intelligence, 209:29-77, 2014. [doi]

Abstract

Abstract is missing.