Open source reasoner for OWL 2 DL in Java
