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 |