TY  - BOOK
AU  - Rademaker,Alexandre
TI  - A proof theory for description logics
T2  - SpringerBriefs in computer science,
SN  - 9781447140016
PY  - 2012///
CY  - London, New York
PB  - Springer
KW  - Description logics
KW  - Proof theory
KW  - Data processing
N1  - Includes bibliographical references; Introduction --; Background --; The Sequent Calculus for ALC --; Comparing SC ALC SC with Other ALC Deduction Systems --; A Natural Deduction for ALC --; Towards a Proof Theory for ALCQI --; Proofs and Explanations --; A Prototype Theorem Prover --; Conclusion
ER  -