|
|
|
|
| ISBN10: 144714001X |
| ISBN13: 9781447140016 |
| Publisher: Springer |
| Pubdate: 06-12 |
| Pages: 106 |
| Weight: 2 lbs |
| CBO Price: $59.95 |
|  |
A Proof Theory for Description Logics
by Alexandre Rademaker
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. 
| Have
you read this book? |
 Write
a Review |
Did you love it? Hate it?
Write the first original CBO review for this book, and let others
know what you thought about it! |
|
|
|
|
|
|
|
|
|
|
|
Copyright © 1997-2012 Computer Books Online
|
|
|
All products and company names mentioned herein are
the trademarks of their respective owners. No part of this
website may be reproduced without the prior written permission
of Computer Books Online. Prices and availability subject to
change without notice.
This website may contain affiliate links and/or sponsered links.
|
|
|
|
|
|
