rvcx/hermit

A hypertableau-based Description Logic reasoner for OWL ontologies

Java