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