Loading…
A Proof Theory for Description Logics
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 re...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
London :
Springer London : Imprint: Springer,
2012.
|
| Edition: | 1st ed. 2012. |
| Series: | SpringerBriefs in Computer Science,
|
| Subjects: | |
| Online Access: | Texto Completo |
Table of Contents:
- Introduction
- Background
- Sequent Calculus for ALC
- Comparing SCalc with other ALC Deduction Systems
- Natural Deduction for ALC.- A Proof Theory for ALCQI
- Proofs and Explanations
- A Prototype Theorem Prover
- Conclusion.