A Proof Theory for Description Logics

Alexandre Rademaker

ISBN 10: 144714001X / ISBN 13: 9781447140016

Editore: SPRINGER NATURE, 2012

Riguardo questo articolo

Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.

Codice articolo 12007945/12

Dati bibliografici

• Titolo: A Proof Theory for Description Logics
• Editore: SPRINGER NATURE
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 144714001X
• ISBN 13: 9781447140016
• Rilegatura: Brossura
• Condizione: Sehr gut
• Cataloghi dei venditori:
  • Bücher

Descrizione articolo

Riassunto

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.