Uses of Package
org.mindswap.pellet.tableau.completion.incremental

Packages that use org.mindswap.pellet.tableau.completion.incremental
org.mindswap.pellet   
org.mindswap.pellet.tableau.completion.incremental   
 

Classes in org.mindswap.pellet.tableau.completion.incremental used by org.mindswap.pellet
DependencyIndex
          This is the index structure for maintaining the dependencies between structures in an ABox and the syntactic assertions which caused them to be created.
 

Classes in org.mindswap.pellet.tableau.completion.incremental used by org.mindswap.pellet.tableau.completion.incremental
BranchAddDependency
          Dependency structure for when a branch is added.
BranchDependency
          Abstract class for a branch dependency
ClashDependency
          A clash dependency.
CloseBranchDependency
          A depedency for a closed disjunct, merge pair, etc.
Dependency
          Dependency interface
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 assertions which caused them to be created.
MergeDependency
          A dependency for a node merge
TypeDependency
          A type dependency.
 



Copyright © 2004 Evren Sirin. All Rights Reserved.