Yevgeny Kazakov, Pavel Klinov. Goal-Directed Tracing of Inferences in EL Ontologies. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Volume 1193 of CEUR Workshop Proceedings, pages 221-232, CEUR-WS.org, 2014. [doi]
@inproceedings{KazakovK14,
title = {Goal-Directed Tracing of Inferences in EL Ontologies},
author = {Yevgeny Kazakov and Pavel Klinov},
year = {2014},
url = {http://ceur-ws.org/Vol-1193/paper_26.pdf},
researchr = {https://researchr.org/publication/KazakovK14},
cites = {0},
citedby = {0},
pages = {221-232},
booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014},
editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus},
volume = {1193},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}