| Class and Description |
|---|
| ABox
Title:
|
| Edge
Title:
|
| Individual |
| Node |
| Class and Description |
|---|
| Literal |
| Class and Description |
|---|
| KnowledgeBase |
| RBox
Title:
|
| Class and Description |
|---|
| KnowledgeBase |
| Class and Description |
|---|
| ABox
Title:
|
| Edge
Title:
|
| Individual |
| Node |
| Class and Description |
|---|
| ABox
Title:
|
| DependencySet
DependencySet for concepts and edges in the ABox for backjumping
|
| Edge
Title:
|
| Individual |
| Literal |
| Node |
| Role
Title:
|
| Class and Description |
|---|
| ABox
Title:
|
| Literal |
| Class and Description |
|---|
| ABox
Title:
|
| DependencySet
DependencySet for concepts and edges in the ABox for backjumping
|
| Edge
Title:
|
| EdgeList |
| Individual |
| Literal |
| Node |
| Role
Title:
|
| Class and Description |
|---|
| KnowledgeBase |
| Class and Description |
|---|
| KnowledgeBase |
| Class and Description |
|---|
| KnowledgeBase |
| Class and Description |
|---|
| ABox
Title:
|
| ABoxStats
Title:
|
| Clash
Title:
|
| Clash.ClashType |
| DependencySet
DependencySet for concepts and edges in the ABox for backjumping
|
| Edge
Title:
|
| 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 |
| KnowledgeBase.AssertionType |
| KnowledgeBase.ChangeType |
| KnowledgeBase.ReasoningState
The state of KB w.r.t.
|
| Literal |
| Node |
| NodeMerge
Stores a pair of nodes to be merged.
|
| PelletOptions.InstanceRetrievalMethod |
| PelletOptions.MonitorType |
| PelletOptions.OrderedClassification |
| PelletOptions.UndefinedDatatypeHandling |
| PropertyType |
| RBox
Title:
|
| Role
Title:
|
| Class and Description |
|---|
| Individual |
| Node |
| Role
Title:
|
| Class and Description |
|---|
| ABox
Title:
|
| DependencySet
DependencySet for concepts and edges in the ABox for backjumping
|
| Individual |
| Node |
| NodeMerge
Stores a pair of nodes to be merged.
|
| Role
Title:
|
| Class and Description |
|---|
| ABox
Title:
|
| DependencySet
DependencySet for concepts and edges in the ABox for backjumping
|
| Edge
Title:
|
| EdgeList |
| Individual |
| KnowledgeBase |
| Node |
| Role
Title:
|
| Class and Description |
|---|
| ABox
Title:
|
| DependencySet
DependencySet for concepts and edges in the ABox for backjumping
|
| Edge
Title:
|
| EdgeList |
| Individual |
| Literal |
| Node |
| NodeMerge
Stores a pair of nodes to be merged.
|
| Role
Title:
|
| Class and Description |
|---|
| Clash
Title:
|
| DependencySet
DependencySet for concepts and edges in the ABox for backjumping
|
| Edge
Title:
|
| KnowledgeBase |
| Class and Description |
|---|
| ABox
Title:
|
| Individual |
| IndividualIterator
An iterator to return nodes in the order they are added.
|
| Node |
| Class and Description |
|---|
| DependencySet
DependencySet for concepts and edges in the ABox for backjumping
|
| Individual |
| IndividualIterator
An iterator to return nodes in the order they are added.
|
| Node |
| Role
Title:
|
| Class and Description |
|---|
| KnowledgeBase |
| Class and Description |
|---|
| KnowledgeBase |
| Class and Description |
|---|
| KnowledgeBase |
| Class and Description |
|---|
| KnowledgeBase |
| Role
Title:
|
Copyright © 2019. All rights reserved.