Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova, Kiril Ivanov Simov. OWLIM Reasoning over FactForge. In Ian Horrocks, Mikalai Yatskevich, Ernesto Jiménez-Ruiz, editors, Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012. Volume 858 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]
@inproceedings{BishopKTDS12,
title = {OWLIM Reasoning over FactForge},
author = {Barry Bishop and Atanas Kiryakov and Zdravko Tashev and Mariana Damova and Kiril Ivanov Simov},
year = {2012},
url = {http://ceur-ws.org/Vol-858/ore2012_paper14.pdf},
researchr = {https://researchr.org/publication/BishopKTDS12},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012},
editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jiménez-Ruiz},
volume = {858},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}