A Proof Theory for Description Logics PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download A Proof Theory for Description Logics PDF full book. Access full book title A Proof Theory for Description Logics by Alexandre Rademaker. Download full books in PDF and EPUB format.

A Proof Theory for Description Logics

A Proof Theory for Description Logics PDF Author: Alexandre Rademaker
Publisher: Springer
ISBN: 9781447140016
Category : Mathematics
Languages : en
Pages : 0

Get Book Here

Book Description
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.