|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExistentialExpansionStrategy | |
---|---|
org.semanticweb.HermiT.existentials | |
org.semanticweb.HermiT.tableau |
Uses of ExistentialExpansionStrategy in org.semanticweb.HermiT.existentials |
---|
Classes in org.semanticweb.HermiT.existentials that implement ExistentialExpansionStrategy | |
---|---|
class |
AbstractExpansionStrategy
Implements the common bits of an ExistentialsExpansionStrategy, leaving only actual processing of existentials in need of expansion to subclasses. |
class |
CreationOrderStrategy
Strategy for expanding all existentials on the oldest node in the tableau with unexpanded existentials. |
class |
IndividualReuseStrategy
|
Uses of ExistentialExpansionStrategy in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as ExistentialExpansionStrategy | |
---|---|
protected ExistentialExpansionStrategy |
Tableau.m_existentialExpansionStrategy
|
protected ExistentialExpansionStrategy |
DLClauseEvaluator.DLClauseCompiler.m_existentialExpansionStrategy
|
Methods in org.semanticweb.HermiT.tableau that return ExistentialExpansionStrategy | |
---|---|
ExistentialExpansionStrategy |
Tableau.getExistentialsExpansionStrategy()
|
Constructors in org.semanticweb.HermiT.tableau with parameters of type ExistentialExpansionStrategy | |
---|---|
DLClauseEvaluator.DLClauseCompiler(DLClauseEvaluator.BufferSupply bufferSupply,
DLClauseEvaluator.ValuesBufferManager valuesBufferManager,
DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager,
java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize,
DLClauseEvaluator dlClauseEvalautor,
ExtensionManager extensionManager,
ExistentialExpansionStrategy existentialExpansionStrategy,
DLClause bodyDLClause,
java.util.List<DLClause> headDLClauses,
ExtensionTable.Retrieval firstAtomRetrieval)
|
|
Tableau(InterruptFlag interruptFlag,
TableauMonitor tableauMonitor,
ExistentialExpansionStrategy existentialsExpansionStrategy,
boolean useDisjunctionLearning,
DLOntology permanentDLOntology,
DLOntology additionalDLOntology,
java.util.Map<java.lang.String,java.lang.Object> parameters)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |