|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
BinaryTBox | Title: |
PrimitiveTBox | Title: |
RuleAbsorber | Title: |
TBoxBase | |
TBoxExpImpl | Title: Implementation of TBox interface to generate explanations efficiently and correctly. |
TBoxImpl | TBox implementation that keeps track of explanations and allows flexible absorption algorithms. |
TermDefinition | |
TgBox | |
TuBox | |
UnaryTBox | Title: |
Unfolding | Title: |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |