|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Tableau in org.semanticweb.HermiT |
---|
Fields in org.semanticweb.HermiT declared as Tableau | |
---|---|
protected Tableau |
Reasoner.m_tableau
|
Methods in org.semanticweb.HermiT that return Tableau | |
---|---|
protected static Tableau |
Reasoner.createTableau(InterruptFlag interruptFlag,
Configuration config,
DLOntology permanentDLOntology,
DLOntology additionalDLOntology,
Prefixes prefixes)
|
protected Tableau |
Reasoner.getTableau()
|
Tableau |
Reasoner.getTableau(org.semanticweb.owlapi.model.OWLAxiom... additionalAxioms)
A mostly internal method. |
Methods in org.semanticweb.HermiT with parameters of type Tableau | |
---|---|
protected static Hierarchy<AtomicConcept> |
Reasoner.classifyAtomicConcepts(Tableau tableau,
ClassificationProgressMonitor progressMonitor,
AtomicConcept topElement,
AtomicConcept bottomElement,
java.util.Set<AtomicConcept> elements,
boolean forceQuasiOrder)
|
protected static Hierarchy<AtomicConcept> |
Reasoner.classifyAtomicConceptsForRoles(Tableau tableau,
ClassificationProgressMonitor progressMonitor,
AtomicConcept topElement,
AtomicConcept bottomElement,
java.util.Set<AtomicConcept> elements,
boolean hasInverses,
java.util.Map<Role,AtomicConcept> conceptsForRoles,
java.util.Map<AtomicConcept,Role> rolesForConcepts,
boolean forceQuasiOrder)
|
Uses of Tableau in org.semanticweb.HermiT.blocking |
---|
Fields in org.semanticweb.HermiT.blocking declared as Tableau | |
---|---|
protected Tableau |
ValidatedSingleDirectBlockingChecker.m_tableau
|
protected Tableau |
ValidatedPairwiseDirectBlockingChecker.m_tableau
|
protected Tableau |
SingleDirectBlockingChecker.m_tableau
|
protected Tableau |
PairWiseDirectBlockingChecker.m_tableau
|
protected Tableau |
AnywhereValidatedBlocking.m_tableau
|
protected Tableau |
AnywhereBlocking.m_tableau
|
protected Tableau |
AncestorBlocking.m_tableau
|
Methods in org.semanticweb.HermiT.blocking with parameters of type Tableau | |
---|---|
void |
ValidatedSingleDirectBlockingChecker.initialize(Tableau tableau)
|
void |
ValidatedPairwiseDirectBlockingChecker.initialize(Tableau tableau)
|
void |
SingleDirectBlockingChecker.initialize(Tableau tableau)
|
void |
PairWiseDirectBlockingChecker.initialize(Tableau tableau)
|
void |
DirectBlockingChecker.initialize(Tableau tableau)
|
void |
BlockingStrategy.initialize(Tableau tableau)
|
void |
AnywhereValidatedBlocking.initialize(Tableau tableau)
|
void |
AnywhereBlocking.initialize(Tableau tableau)
|
void |
AncestorBlocking.initialize(Tableau tableau)
|
Constructors in org.semanticweb.HermiT.blocking with parameters of type Tableau | |
---|---|
BlockingValidator(Tableau tableau,
java.util.Set<DLClause> dlClauses)
|
Uses of Tableau in org.semanticweb.HermiT.debugger |
---|
Fields in org.semanticweb.HermiT.debugger declared as Tableau | |
---|---|
protected Tableau |
Debugger.m_tableau
|
Methods in org.semanticweb.HermiT.debugger that return Tableau | |
---|---|
Tableau |
Debugger.getTableau()
|
Methods in org.semanticweb.HermiT.debugger with parameters of type Tableau | |
---|---|
void |
Debugger.setTableau(Tableau tableau)
|
Uses of Tableau in org.semanticweb.HermiT.existentials |
---|
Fields in org.semanticweb.HermiT.existentials declared as Tableau | |
---|---|
protected Tableau |
AbstractExpansionStrategy.m_tableau
|
Methods in org.semanticweb.HermiT.existentials with parameters of type Tableau | |
---|---|
void |
IndividualReuseStrategy.initialize(Tableau tableau)
|
void |
ExistentialExpansionStrategy.initialize(Tableau tableau)
|
void |
AbstractExpansionStrategy.initialize(Tableau tableau)
|
void |
IndividualReuseStrategy.IndividualReuseBranchingPoint.startNextChoice(Tableau tableau,
DependencySet clashDependencySet)
|
Constructors in org.semanticweb.HermiT.existentials with parameters of type Tableau | |
---|---|
IndividualReuseStrategy.IndividualReuseBranchingPoint(Tableau tableau,
AtLeastConcept existential,
Node node,
boolean wasParentReuse)
|
Uses of Tableau in org.semanticweb.HermiT.hierarchy |
---|
Fields in org.semanticweb.HermiT.hierarchy declared as Tableau | |
---|---|
protected Tableau |
QuasiOrderClassification.m_tableau
|
protected Tableau |
InstanceManager.m_tableau
|
protected Tableau |
DeterministicClassification.m_tableau
|
Methods in org.semanticweb.HermiT.hierarchy with parameters of type Tableau | |
---|---|
void |
InstanceManager.initializeKnowAndPossibleClassInstances(Tableau tableau,
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor,
int completedSteps,
int steps)
|
int |
InstanceManager.initializeKnowAndPossiblePropertyInstances(Tableau tableau,
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor,
int startIndividualIndex,
int completedSteps,
int steps)
|
protected int |
InstanceManager.readOffClassInstancesByIndividual(Tableau tableau,
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor,
int completedSteps,
int steps)
|
protected int |
InstanceManager.readOffPropertyInstancesByIndividual(Tableau tableau,
java.util.Map<Node,Individual> individualsForNodes,
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor,
int completedSteps,
int steps,
int startIndividualIndex)
|
Constructors in org.semanticweb.HermiT.hierarchy with parameters of type Tableau | |
---|---|
DeterministicClassification(Tableau tableau,
ClassificationProgressMonitor progressMonitor,
AtomicConcept topElement,
AtomicConcept bottomElement,
java.util.Set<AtomicConcept> elements)
|
|
InstanceManager(InterruptFlag interruptFlag,
Reasoner reasoner,
Tableau tableau,
Hierarchy<AtomicConcept> atomicConceptHierarchy,
Hierarchy<Role> objectRoleHierarchy)
|
|
QuasiOrderClassification(Tableau tableau,
ClassificationProgressMonitor progressMonitor,
AtomicConcept topElement,
AtomicConcept bottomElement,
java.util.Set<AtomicConcept> elements)
|
|
QuasiOrderClassificationForRoles(Tableau tableau,
ClassificationProgressMonitor progressMonitor,
AtomicConcept topElement,
AtomicConcept bottomElement,
java.util.Set<AtomicConcept> elements,
boolean hasInverses,
java.util.Map<Role,AtomicConcept> conceptsForRoles,
java.util.Map<AtomicConcept,Role> rolesForConcepts)
|
Uses of Tableau in org.semanticweb.HermiT.monitor |
---|
Fields in org.semanticweb.HermiT.monitor declared as Tableau | |
---|---|
protected Tableau |
TableauMonitorAdapter.m_tableau
|
Methods in org.semanticweb.HermiT.monitor with parameters of type Tableau | |
---|---|
void |
TableauMonitorForwarder.setTableau(Tableau tableau)
|
void |
TableauMonitorFork.setTableau(Tableau tableau)
|
void |
TableauMonitorAdapter.setTableau(Tableau tableau)
|
void |
TableauMonitor.setTableau(Tableau tableau)
|
Uses of Tableau in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as Tableau | |
---|---|
protected Tableau |
NominalIntroductionManager.m_tableau
|
protected Tableau |
Node.m_tableau
|
protected Tableau |
MergingManager.m_tableau
|
protected Tableau |
ExtensionTable.m_tableau
|
protected Tableau |
ExtensionManager.m_tableau
|
protected Tableau |
ExistentialExpansionManager.m_tableau
|
protected Tableau |
DLClauseEvaluator.DeriveDisjunction.m_tableau
|
protected Tableau |
DescriptionGraphManager.m_tableau
|
Methods in org.semanticweb.HermiT.tableau that return Tableau | |
---|---|
Tableau |
Node.getTableau()
|
Methods in org.semanticweb.HermiT.tableau with parameters of type Tableau | |
---|---|
boolean |
GroundDisjunction.addDisjunctToTableau(Tableau tableau,
int disjunctIndex,
DependencySet dependencySet)
|
void |
GroundDisjunction.destroy(Tableau tableau)
|
boolean |
GroundDisjunction.isSatisfied(Tableau tableau)
|
void |
NominalIntroductionManager.NominalIntroductionBranchingPoint.startNextChoice(Tableau tableau,
DependencySet clashDepdendencySet)
|
void |
DisjunctionBranchingPoint.startNextChoice(Tableau tableau,
DependencySet clashDependencySet)
|
void |
BranchingPoint.startNextChoice(Tableau tableau,
DependencySet clashDepdendencySet)
|
Constructors in org.semanticweb.HermiT.tableau with parameters of type Tableau | |
---|---|
BranchingPoint(Tableau tableau)
|
|
ClashManager(Tableau tableau)
|
|
DatatypeManager(Tableau tableau)
|
|
DescriptionGraphManager(Tableau tableau)
|
|
DisjunctionBranchingPoint(Tableau tableau,
GroundDisjunction groundDisjunction,
int[] sortedDisjunctIndexes)
|
|
DLClauseEvaluator.DeriveDisjunction(java.lang.Object[] valuesBuffer,
boolean[] coreVariables,
DependencySet dependencySet,
Tableau tableau,
GroundDisjunctionHeader groundDisjunctionHeader,
int[] copyIsCore,
int[] copyValuesToArguments)
|
|
DLClauseEvaluator(Tableau tableau,
DLClause bodyDLClause,
java.util.List<DLClause> headDLClauses,
ExtensionTable.Retrieval firstAtomRetrieval,
DLClauseEvaluator.BufferSupply bufferSupply,
DLClauseEvaluator.ValuesBufferManager valuesBufferManager,
DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager,
java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize)
|
|
ExistentialExpansionManager(Tableau tableau)
|
|
ExtensionManager(Tableau tableau)
|
|
ExtensionTable(Tableau tableau,
int tupleArity,
boolean needsDependencySets)
|
|
ExtensionTableWithFullIndex(Tableau tableau,
int tupleArity,
boolean needsDependencySets)
|
|
ExtensionTableWithTupleIndexes(Tableau tableau,
int tupleArity,
boolean needsDependencySets,
TupleIndex[] tupleIndexes)
|
|
GroundDisjunction(Tableau tableau,
GroundDisjunctionHeader groundDisjunctionHeader,
Node[] arguments,
boolean[] isCore,
DependencySet dependencySet)
|
|
HyperresolutionManager(Tableau tableau,
java.util.Set<DLClause> dlClauses)
|
|
MergingManager(Tableau tableau)
|
|
Node(Tableau tableau)
|
|
NominalIntroductionManager.NominalIntroductionBranchingPoint(Tableau tableau,
Node rootNode,
Node niTargetNode,
Node otherNode,
AnnotatedEquality annotatedEquality)
|
|
NominalIntroductionManager(Tableau tableau)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |