Package org.mindswap.pellet

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
 



Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.