OWLIM Reasoning over FactForge

Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova, Kiril Simov. In:Proceedings of OWL Reasoner Evaluation Workshop (ORE’2012), collocated with IJCAR 2012, Manchester, UK.

View Paper>

Tags