A Proof Theory for Description Logics

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Database Management, Data Processing, General Computing
Cover of the book A Proof Theory for Description Logics by Alexandre Rademaker, Springer London
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Alexandre Rademaker ISBN: 9781447140023
Publisher: Springer London Publication: May 17, 2012
Imprint: Springer Language: English
Author: Alexandre Rademaker
ISBN: 9781447140023
Publisher: Springer London
Publication: May 17, 2012
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer London

Cover of the book Atlas of Endoscopic Perforator Vein Surgery by Alexandre Rademaker
Cover of the book Extremum-Seeking Control and Applications by Alexandre Rademaker
Cover of the book Nanomaterials: A Danger or a Promise? by Alexandre Rademaker
Cover of the book A Clinician's Pearls & Myths in Rheumatology by Alexandre Rademaker
Cover of the book Formal Languages and Compilation by Alexandre Rademaker
Cover of the book Introduction to Software Process Improvement by Alexandre Rademaker
Cover of the book Vasculitis in Clinical Practice by Alexandre Rademaker
Cover of the book Computational Models for Neuroscience by Alexandre Rademaker
Cover of the book Introduction to Computational Social Science by Alexandre Rademaker
Cover of the book Measurement of Atmospheric Emissions by Alexandre Rademaker
Cover of the book Stress and Cardiovascular Disease by Alexandre Rademaker
Cover of the book The Mass Retrofitting of an Energy Efficient—Low Carbon Zone by Alexandre Rademaker
Cover of the book Service Placement in Ad Hoc Networks by Alexandre Rademaker
Cover of the book Control Design and Analysis for Underactuated Robotic Systems by Alexandre Rademaker
Cover of the book Revision Surgery in Total Hip Arthroplasty by Alexandre Rademaker
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy