SpringerBriefs in Computer Science

A Proof Theory for Description Logics

Authors: Rademaker, Alexandre

  • Provides an innovative approach for reasoning with description logic theories
  • Presents future practical applications of description logic proof theories
Show all benefits

Buy this book

eBook $44.99
price for USA
  • ISBN 978-1-4471-4002-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Softcover $59.95
price for USA
  • ISBN 978-1-4471-4001-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (9 chapters)

Buy this book

eBook $44.99
price for USA
  • ISBN 978-1-4471-4002-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Softcover $59.95
price for USA
  • ISBN 978-1-4471-4001-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Bibliographic Information

Bibliographic Information
Book Title
A Proof Theory for Description Logics
Authors
Series Title
SpringerBriefs in Computer Science
Copyright
2012
Publisher
Springer-Verlag London
Copyright Holder
The Author(s)
eBook ISBN
978-1-4471-4002-3
DOI
10.1007/978-1-4471-4002-3
Softcover ISBN
978-1-4471-4001-6
Series ISSN
2191-5768
Edition Number
1
Number of Pages
X, 106
Number of Illustrations and Tables
16 b/w illustrations
Topics