A hypertableau-based Description Logic reasoner for OWL ontologies
Primary LanguageJava
No issues in this repository yet.