Media type: E-Article Title: Automated Deduction – CADE-22: Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis Contributor: Sebastiani, Roberto; Vescovi, Michele Published: Springer Berlin Heidelberg, 2009 Published in: Automated Deduction – CADE-22 (2009), Seite 84-99 Language: Not determined DOI: 10.1007/978-3-642-02959-2_6 ISBN: 9783642029585; 9783642029592 ISSN: 0302-9743; 1611-3349 Origination: Footnote: