A Proof Theory for Description Logics

Rademaker, Alexandre

ISBN 10: 144714001X / ISBN 13: 9781447140016

Verlag: Springer Verlag, 2012

Beschreibung

106 pages. 9.25x6.20x0.25 inches. In Stock.

Bestandsnummer des Verkäufers zk144714001X

Bibliografische Details

• Titel: A Proof Theory for Description Logics
• Verlag: Springer Verlag
• Erscheinungsjahr: 2012
• Sprache: Englisch
• ISBN-10: 144714001X
• ISBN-13: 9781447140016
• Einband: Paperback
• Zustand: Brand New

Über diesen Titel

Inhaltsangabe

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.