Rademaker, Alexandre. <br/><br/>
A Proof Theory for Description Logics / 
by Alexandre Rademaker. 
 - x, 106 páginas 16 ilustraciones  recurso en línea. 
 - SpringerBriefs in Computer Science,  2191-5768 .
<br/><br/> Springer eBooks 
<br/><br/>Introduction -- Background -- Sequent Calculus for ALC -- Comparing SCalc with other ALC Deduction Systems -- Natural Deduction for ALC.- A Proof Theory for ALCQI -- Proofs and Explanations -- A Prototype Theorem Prover -- Conclusion. 
<br/><br/> Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge. A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes. 
<br/><br/><label>ISBN: </label>9781447140023 
<br/><br/><label>Standard No.: </label>10.1007/9781447140023  doi 
<br/><br/><label>LC Class. No.: </label>QA8.9-QA10.3