Magdalena Ortiz. An Automata-based algorithm for description logics around SRIQ. In Mauricio Osorio, Ivan Olmos, editors, Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008. Volume 408 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{Ortiz08-0,
title = {An Automata-based algorithm for description logics around SRIQ},
author = {Magdalena Ortiz},
year = {2008},
url = {http://ceur-ws.org/Vol-408/Paper01.pdf},
researchr = {https://researchr.org/publication/Ortiz08-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008},
editor = {Mauricio Osorio and Ivan Olmos},
volume = {408},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}