HermiT: A Highly-Efficient OWL Reasoner
FaCT++ description logic reasoner: System description