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: | Rademaker, Alexandre (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
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 |
Ejemplares similares
-
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity /
por: Skrzypczak, Michał
Publicado: (2016) -
Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
Publicado: (2016) -
Mathematical Logic Foundations for Information Science /
por: Li, Wei
Publicado: (2010) -
Mathematical Logic Foundations for Information Science /
por: Li, Wei
Publicado: (2014) -
Logic for Computer Scientists
por: Schöning, Uwe
Publicado: (2008)