|
||||||||||
| 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 | |||||||||