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

Packages that use TBox

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

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

Fields in uk.ac.manchester.cs.jfact.kernel declared as TBox

Modifier and Type	Field and Description
protected TBox	DlSatTester.tBox host TBox
protected TBox	AxiomSet.tboxHost host TBox that holds all concepts/etc

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

Modifier and Type	Method and Description
boolean	Axiom.absorbIntoBottom(TBox KB) absorb into BOTTOM; @return true if absorption is performed
boolean	Axiom.absorbIntoConcept(TBox KB)
boolean	Axiom.absorbIntoDomain(TBox KB)
boolean	Axiom.absorbIntoNegConcept(TBox KB) absorb into negation of a concept; @return true if absorption is performed
boolean	Axiom.absorbIntoTop(TBox KB) absorb into TOP; @return true if absorption performs
Axiom	Axiom.simplifyCN(TBox tbox) replace a defined concept with its description
Axiom	Axiom.simplifyForall(TBox KB) replace a universal restriction with a fresh concept
List<Axiom>	Axiom.split(TBox KB) split an axiom; @return new axiom and/or NULL

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

Constructor and Description
AxiomSet(TBox host)
DLConceptTaxonomy(Concept pTop, Concept pBottom, TBox kb) the only c'tor
DlSatTester(TBox tbox, JFactReasonerConfiguration Options, DatatypeFactory datatypeFactory)
NominalReasoner(TBox tbox, JFactReasonerConfiguration Options, DatatypeFactory datatypeFactory)
OntologyLoader(TBox KB)

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

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

Constructor and Description
KnowledgeExplorer(TBox box, ExpressionManager pEM)