OWLIM Reasoning over FactForge

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]

Abstract

Abstract is missing.