Uses of Class
uk.ac.manchester.cs.jfact.kernel.TBox

Packages that use TBox

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.kernel

Uses of TBox in uk.ac.manchester.cs.jfact

Constructors in uk.ac.manchester.cs.jfact with parameters of type TBox

Constructor and Description
KnowledgeExplorer(TBox box, ExpressionCache pEM)

Uses of TBox in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return TBox

Modifier and Type	Method and Description
TBox	ReasoningKernel.getTBox()

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type TBox

Modifier and Type	Method and Description
boolean	Axiom.absorbIntoBottom(TBox tbox) absorb into BOTTOM;
boolean	Axiom.absorbIntoConcept(TBox tbox) absorb into concept; @return true if absorption is performed
boolean	Axiom.absorbIntoDomain(TBox tbox) absorb single axiom AX into role domain; @return true if succeed
boolean	Axiom.absorbIntoNegConcept(TBox tbox) absorb single concept into negation of a concept;
boolean	Axiom.absorbIntoTop(TBox tbox) absorb into TOP;
Axiom	Axiom.simplifyCN(TBox t) replace a defined concept with its description
Axiom	Axiom.simplifyForall(TBox kb) replace a universal restriction with a fresh concept
Axiom	Axiom.simplifySForall(TBox kb) replace a simple universal restriction with a fresh concept
List<Axiom>	Axiom.split(TBox tbox) split an axiom;

Constructors in uk.ac.manchester.cs.jfact.kernel with parameters of type TBox

Constructor and Description
AxiomSet(TBox host)
DLConceptTaxonomy(Taxonomy pTax, TBox tbox) the only c'tor
ExpressionTranslator(TBox kb)
NominalReasoner(TBox tbox, JFactReasonerConfiguration options)
OntologyLoader(TBox kb)