What a treat! Get Apress Access for just $149 Subscribe now >>

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 n/a
  • ISBN 978-1-4471-4002-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-1-4471-4001-6
  • Free shipping for individuals worldwide
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)

  • Introduction

    Rademaker, Alexandre

    Pages 1-7

    Preview Buy Chapter price n/a
  • Background

    Rademaker, Alexandre

    Pages 9-15

    Preview Buy Chapter price n/a
  • The Sequent Calculus for $${\mathcal{ ALC} }$$

    Rademaker, Alexandre

    Pages 17-36

    Preview Buy Chapter price n/a
  • Comparing $$\mathrm{ SC} _{\mathcal{ ALC} }$$ with Other $$\mathcal{ ALC} $$ Deduction Systems

    Rademaker, Alexandre

    Pages 37-49

    Preview Buy Chapter price n/a
  • A Natural Deduction for $$\mathcal{ ALC} $$

    Rademaker, Alexandre

    Pages 51-63

    Preview Buy Chapter price n/a

Buy this book

eBook n/a
  • ISBN 978-1-4471-4002-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-1-4471-4001-6
  • Free shipping for individuals worldwide
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