A Proof Theory for Description Logics

Alexandre Rademaker

ISBN 10: 144714001X / ISBN 13: 9781447140016

Published by SPRINGER NATURE Mai 2012, 2012

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 106 pp. Englisch.

Seller Inventory # 9781447140016

Bibliographic Details

• Title: A Proof Theory for Description Logics
• Publisher: SPRINGER NATURE Mai 2012
• Publication Date: 2012
• Language: English
• ISBN 10: 144714001X
• ISBN 13: 9781447140016
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

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.