|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RuleBasedReasoner | |
---|---|
de.tudresden.inf.lat.jcel.reasoner.main |
Provides interfaces and classes used for the reasoner. |
Uses of RuleBasedReasoner in de.tudresden.inf.lat.jcel.reasoner.main |
---|
Methods in de.tudresden.inf.lat.jcel.reasoner.main that return RuleBasedReasoner | |
---|---|
RuleBasedReasoner |
OntologyEntailmentChecker.getReasoner()
|
Constructors in de.tudresden.inf.lat.jcel.reasoner.main with parameters of type RuleBasedReasoner | |
---|---|
OntologyEntailmentChecker(RuleBasedReasoner reasoner)
Constructs a new ontology entailment checker. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |