A Proof Theory for Description Logics - Couverture souple

Rademaker, Alexandre

Couverture souple

ISBN 10 : 144714001X ISBN 13 : 9781447140016

Editeur : Springer, 2012

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.

A propos du livre

Présentation de l'éditeur

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2012
• Langue: anglais
• ISBN 10: 144714001X
• ISBN 13: 9781447140016
• Reliure: Broché
• Nombre de pages: 116
• Coordonnées du fabricant: Springer-Verlag GmbH; customerservice@springernature.com; ; Tiergartenstraße 17; Heidelberg; Baden-Württemberg; 69121; Allemagne