The HermiT OWL Reasoner
The OWL API: A Java API for Working with OWL 2 Ontologies