Keyword:HERMIT

Papers
Building an Efficient OWL 2 DL Reasoner Boris Motik In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning