A Proof Theory for Description Logics
Download or Read eBook A Proof Theory for Description Logics PDF written by Alexandre Rademaker and published by Springer Science & Business Media. This book was released on 2012-05-17 with total page 109 pages. Available in PDF, EPUB and Kindle.
| Author | : Alexandre Rademaker |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 109 |
| Release | : 2012-05-17 |
| ISBN-10 | : 9781447140023 |
| ISBN-13 | : 1447140028 |
| Rating | : 4/5 (23 Downloads) |
Book Synopsis A Proof Theory for Description Logics by : Alexandre Rademaker
Book excerpt: 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.
