Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package org.mindswap.pellet

Interface Summary
ConceptCache | Title: Concept Cache
Dependency | Dependency interface

Class Summary
ABox |
AbstractConceptCache | Title:
Blocking |
BranchAddDependency | Dependency structure for when a branch is added.
BranchDependency | Abstract class for a branch dependency
CachedNode |
ChooseBranch |
Clash |
ClashDependency | A clash dependency.
CloseBranchDependency | A depedency for a closed disjunct, merge pair, etc.
CompletionQueue | A queue for individuals that need to have completion rules applied
CompletionStrategy | A completion strategy specifies how the tableau rules will be applied to an ABox.
ConceptCacheLRU | Title:
ContinuousRulesStrategy |
DependencyEntry | Structure for containing all dependencies for a given assertion.
DependencyIndex | This is the index structure for maintaining the dependencies between structures in an ABox and the syntactic asseertions which caused them to be created.
DependencySet | DependencySet for concepts and edges in the ABox for backjumping
DisjunctionSorting |
DoubleBlocking |
Edge |
EdgeList |
EmptySHNStrategy | Completion strategy for a SHN KB that does not have individuals in the ABox.
EqualityBlocking |
Expressivity |
Individual |
KnowledgeBase |
KRSSLoader | Parse files written in KRSS format and loads into the given KB.
Literal |
MergeDependency | A dependency for a node merge
Node |
OptimizedDoubleBlocking |
Pellet | This is the command-line version of Pellet.
PelletKRSS |
PelletOptions | This class contains options used throughout different modules of the reasoner.
QueueElement | Structured stored on the completion queue
RBox | Title:
Role | Title:
RoleTaxonomyBuilder |
RuleBranch |
RuleStrategy |
SHINStrategy | Completion strategy for SHIN ontologies (simply uses SHOINStartegy but with optimized double blocking)
SHNStrategy | Completion strategy for SHN ontologies (simply uses SHONStartegy but without nominal rule)
SHOINStrategy |
SHOIQStrategy | Title:
SHONStrategy | Completion strategy for SHON ontologies (simply uses SHOINStartegy but with subset blocking)
SROIQIncStrategy | The completion strategy for incremental consistency checking.
SROIQStrategy | Title:
SubsetBlocking |
TypeDependency | A type dependency.
UpdatedIndividualIterator |

Enum Summary
KnowledgeBase.AssertionType |
PelletOptions.MonitorType |

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

Copyright © 2004 Evren Sirin. All Rights Reserved.