|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
IntegerReasoner | This interface models a reasoner. |
Class Summary | |
---|---|
OntologyEntailmentChecker | An object of this class checks ontology entailment. |
RuleBasedReasoner | This class models a rule-based reasoner. |
Exception Summary | |
---|---|
UnsupportedQueryException | This exception is thrown when a query is not supported. |
de.tudresden.inf.lat.jcel.coreontology.datatype
de.tudresden.inf.lat.jcel.coreontology.axiom
de.tudresden.inf.lat.jcel.ontology.datatype
de.tudresden.inf.lat.jcel.ontology.axiom.complex
de.tudresden.inf.lat.jcel.ontology.axiom.extension
de.tudresden.inf.lat.jcel.ontology.normalization
de.tudresden.inf.lat.jcel.core.graph
de.tudresden.inf.lat.jcel.core.saturation
de.tudresden.inf.lat.jcel.core.completion.common
de.tudresden.inf.lat.jcel.core.completion.basic
de.tudresden.inf.lat.jcel.core.completion.ext
de.tudresden.inf.lat.jcel.core.algorithm.common
de.tudresden.inf.lat.jcel.core.algorithm.rulebased
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |