See: Description
Interface | Description |
---|---|
IntegerReasoner |
This interface models a reasoner.
|
VersionInfo |
This interface contains the reasoner name and version.
|
Class | Description |
---|---|
OntologyEntailmentChecker |
An object of this class checks ontology entailment.
|
RuleBasedReasoner |
This class models a rule-based reasoner.
|
Exception | Description |
---|---|
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
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.