Proof Theoretical Foundations For Constructive Description Logic
Download Proof Theoretical Foundations For Constructive Description Logic PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Proof Theoretical Foundations For Constructive Description Logic book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Model and Proof Theory of Constructive ALC
Author: Stephan Scheele
language: en
Publisher: University of Bamberg Press
Release Date: 2015-07-02
A Proof Theory for Description Logics
Author: Alexandre Rademaker
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-05-17
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.