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