Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis.

Roberto Sebastiani, Michele Vescovi

Browse the full CADE paper archive.