Home » Nonfiction » Alexandre Rademaker » A Proof Theory for Description Logics

February 26 , 2008

A Proof Theory for Description Logics


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.

Download MBR

Read also

Study Guide for Financial Management for Nonprofit Organizations

Never Highlight a Book Again! Just the FACTS101 study guides give the student the textbook outlines, highlights, practice quizzes and optional access to the full practice tests for their textbook.

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.

How to download book

Buy this book

You can buy this book now only for $33.89. This is the lowest price for this book.

Buy book

Download book free

If you want to download this book for free, please register, approve your account and get one book for free.


After that you may download book «A Proof Theory for Description Logics»:

Download DOCX:


Download FB2:


Download Papyre FB2: