| Interface | Description |
|---|---|
| Edge |
Title:
|
| Class | Description |
|---|---|
| ABox |
Title:
|
| ABoxStats |
Title:
|
| Clash |
Title:
|
| DefaultEdge | |
| DependencySet |
DependencySet for concepts and edges in the ABox for backjumping
|
| EdgeList | |
| FSMBuilder | |
| 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 | Description |
|---|---|
| Clash.ClashType | |
| KnowledgeBase.AssertionType | |
| KnowledgeBase.ChangeType | |
| KnowledgeBase.ReasoningState |
The state of KB w.r.t.
|
| PelletOptions.InstanceRetrievalMethod | |
| PelletOptions.MonitorType | |
| PelletOptions.OrderedClassification | |
| PelletOptions.UndefinedDatatypeHandling | |
| PropertyType |
Copyright © 2019. All rights reserved.