Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London :
Springer London : Imprint: Springer,
2012.
|
| Edición: | 1st ed. 2012. |
| Colección: | SpringerBriefs in Computer Science,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.