|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
ABox | |
Blocking | |
CachedNode | |
Clash | |
CompletionStrategy | A completion strategy specifies how the tableau rules will be applied to an ABox. |
DependencySet | DependencySet for concepts and edges in the ABox for backjumping |
DisjunctionSorting | |
DoubleBlocking | |
EconnDoubleBlocking | |
EconnectedKB | |
EconnExpressivity | |
EconnSHIONStrategy | |
Edge | |
EdgeList | |
EmptySHNStrategy | Completion strategy for a SHN KB that does not have individuals in the ABox. |
EqualityBlocking | |
Expressivity | |
Individual | |
IntMap | |
KnowledgeBase | |
KRSSLoader | Parse files written in KRSS format and loads into the given KB. |
Literal | |
Node | |
OptimizedDoubleBlocking | |
OWLTStrategy | |
PECDoubleBlocking | |
PECSHIONStrategy | |
Pellet | This is the command-line version of Pellet. |
PelletCGI | |
PelletErrorForm | Print HTML form to submit error messages. |
PelletKRSS | |
PelletMeT | User: NataKeberle Date: 5/5/2009 Time: 12:44:33 |
PelletOptions | This class contains options used throughout different modules of the reasoner. |
PelletQuery | |
PelletQueryCGI | |
RBox | |
Role | |
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 | |
SHONStrategy | Completion strategy for SHON ontologies (simply uses SHOINStartegy but with subset blocking) |
SubsetBlocking | |
TemporalMarking | User: NataKeberle Date: 01.08.2008 Time: 10:00:44 |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |