de.tudresden.inf.lat.jcel.reasoner.main
Interfaces 
IntegerReasoner
Classes 
OntologyEntailmentChecker
RuleBasedReasoner
Exceptions 
UnsupportedQueryException