Uses of Interface
org.mindswap.pellet.tbox.TBox

Packages that use TBox

Package	Description
org.mindswap.pellet
org.mindswap.pellet.tableau.completion
org.mindswap.pellet.tbox
org.mindswap.pellet.tbox.impl

Uses of TBox in org.mindswap.pellet

Fields in org.mindswap.pellet declared as TBox

Modifier and Type	Field and Description
protected TBox	KnowledgeBase.tbox

Methods in org.mindswap.pellet that return TBox

Modifier and Type	Method and Description
TBox	ABox.getTBox() Return the TBox
TBox	KnowledgeBase.getTBox()

Methods in org.mindswap.pellet with parameters of type TBox

Modifier and Type	Method and Description
void	KnowledgeBase.setTBox(TBox tbox)

Uses of TBox in org.mindswap.pellet.tableau.completion

Fields in org.mindswap.pellet.tableau.completion declared as TBox

Modifier and Type	Field and Description
protected TBox	CompletionStrategy.tbox TBox associated with the abox

Methods in org.mindswap.pellet.tableau.completion that return TBox

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

Uses of TBox in org.mindswap.pellet.tbox

Methods in org.mindswap.pellet.tbox that return TBox

Modifier and Type	Method and Description
static TBox	TBoxFactory.createTBox(KnowledgeBase kb)

Uses of TBox in org.mindswap.pellet.tbox.impl

Classes in org.mindswap.pellet.tbox.impl that implement TBox

Modifier and Type	Class and Description
class	TBoxExpImpl Title: Implementation of TBox interface to generate explanations efficiently and correctly.
class	TBoxImpl TBox implementation that keeps track of explanations and allows flexible absorption algorithms.