|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| Edge | Title: |
| Class Summary | |
|---|---|
| ABox | Title: |
| Clash | Title: |
| DefaultEdge | |
| DependencySet | DependencySet for concepts and edges in the ABox for backjumping |
| EdgeList | |
| Individual | |
| IndividualIterator | An iterator to return nodes in the order they are added. |
| KBLoader | A generic class that allows the creation of Pellet KnowledgeBase instances and load ontologies. |
| KnowledgeBase | |
| KRSSLoader | Parse files written in KRSS format and loads into the given KB. |
| Literal | |
| LiteralIterator | An iterator to return nodes in the order they are added. |
| Node | |
| NodeMerge | Stores a pair of nodes to be merged. |
| PelletOptions | This class contains options used throughout different modules of the reasoner. |
| RBox | Title: |
| Role | Title: |
| RoleTaxonomyBuilder | |
| Enum Summary | |
|---|---|
| Clash.ClashType | |
| KnowledgeBase.AssertionType | |
| KnowledgeBase.ChangeType | |
| PelletOptions.InstanceRetrievalMethod | |
| PelletOptions.MonitorType | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||