reasoner
OWL 2 Reasoner built on DataFrog
Python bindings for upgraded FaCT++ description logic reasoner