|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of DLClause in org.semanticweb.HermiT.blocking |
---|
Fields in org.semanticweb.HermiT.blocking declared as DLClause | |
---|---|
protected DLClause |
BlockingValidator.DLClauseInfo.m_dlClause
|
protected DLClause |
AnywhereValidatedBlocking.ComputeCoreVariables.m_dlClause
|
Methods in org.semanticweb.HermiT.blocking with parameters of type DLClause | |
---|---|
void |
BlockingStrategy.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
void |
AnywhereValidatedBlocking.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
void |
AnywhereBlocking.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
void |
AncestorBlocking.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
Constructors in org.semanticweb.HermiT.blocking with parameters of type DLClause | |
---|---|
AnywhereValidatedBlocking.ComputeCoreVariables(DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
|
BlockingValidator.DLClauseInfo(DLClause dlClause,
ExtensionManager extensionManager)
|
Constructor parameters in org.semanticweb.HermiT.blocking with type arguments of type DLClause | |
---|---|
BlockingValidator(Tableau tableau,
java.util.Set<DLClause> dlClauses)
|
Uses of DLClause in org.semanticweb.HermiT.debugger |
---|
Fields in org.semanticweb.HermiT.debugger declared as DLClause | |
---|---|
protected DLClause |
DerivationHistory.DLClauseApplication.m_dlClause
|
Methods in org.semanticweb.HermiT.debugger that return DLClause | |
---|---|
DLClause |
DerivationHistory.DLClauseApplication.getDLClause()
|
Constructors in org.semanticweb.HermiT.debugger with parameters of type DLClause | |
---|---|
DerivationHistory.DLClauseApplication(DLClause dlClause,
DerivationHistory.Atom[] premises)
|
Uses of DLClause in org.semanticweb.HermiT.existentials |
---|
Methods in org.semanticweb.HermiT.existentials with parameters of type DLClause | |
---|---|
void |
ExistentialExpansionStrategy.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
void |
AbstractExpansionStrategy.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
Uses of DLClause in org.semanticweb.HermiT.hierarchy |
---|
Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type DLClause | |
---|---|
protected void |
QuasiOrderClassificationForRoles.initialiseKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses)
|
protected void |
QuasiOrderClassification.initialiseKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses)
|
protected void |
InstanceManager.updateKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses,
Graph<AtomicConcept> knownConceptSubsumptions,
java.util.Set<AtomicConcept> concepts,
Graph<Role> knownRoleSubsumptions,
java.util.Set<Role> roles)
|
Uses of DLClause in org.semanticweb.HermiT.model |
---|
Fields in org.semanticweb.HermiT.model with type parameters of type DLClause | |
---|---|
protected java.util.Set<DLClause> |
DLOntology.m_dlClauses
|
Methods in org.semanticweb.HermiT.model that return DLClause | |
---|---|
static DLClause |
DLClause.create(Atom[] headAtoms,
Atom[] bodyAtoms,
DLClause.ClauseType clauseType)
|
static DLClause |
DLClause.createEx(boolean isKnownToBeAdmissible,
Atom[] headAtoms,
Atom[] bodyAtoms,
DLClause.ClauseType clauseType)
|
DLClause |
DLClause.getChangedDLClause(Atom[] headAtoms,
Atom[] bodyAtoms)
|
DLClause |
DLClause.getSafeVersion()
|
Methods in org.semanticweb.HermiT.model that return types with arguments of type DLClause | |
---|---|
java.util.Set<DLClause> |
DLOntology.getDLClauses()
|
java.util.Collection<DLClause> |
DLOntology.getNonadmissibleDLClauses()
|
Methods in org.semanticweb.HermiT.model with parameters of type DLClause | |
---|---|
protected boolean |
DLOntology.addAtomicRoles(DLClause dlClause,
java.util.Set<AtomicRole> roles)
|
protected boolean |
DLOntology.containsAtomicRoles(DLClause dlClause,
java.util.Set<AtomicRole> roles)
|
protected int |
DLOntology.getUsedRoleTypes(DLClause dlClause,
java.util.Set<AtomicRole> graphAtomicRoles)
Takes the set of roles that are for use in Description Graphs and detects whether clause contains no roles, only roles from the given set, only roles not from the given set or both types of roles. |
protected boolean |
DLOntology.isGraphDLClause(DLClause dlClause)
|
protected boolean |
DLOntology.isTreeDLClause(DLClause dlClause,
java.util.Set<AtomicRole> graphAtomicRoles,
java.util.Set<AtomicConcept> bodyOnlyAtomicConcepts)
Tests whether the clause conforms to the properties of HT clauses, i.e., the variables can be split into a center variable x, a set of branch variables y_i, and a set of nominal variables z_j such that certain conditions hold. |
protected boolean |
DLOntology.isTreeWithCenterVariable(DLClause dlClause,
Variable centerVariable,
java.util.Set<AtomicConcept> bodyOnlyAtomicConcepts)
Tests whether the given center variable is suitable. |
Method parameters in org.semanticweb.HermiT.model with type arguments of type DLClause | |
---|---|
void |
DescriptionGraph.produceStartDLClauses(java.util.Set<DLClause> resultingDLClauses)
|
Constructor parameters in org.semanticweb.HermiT.model with type arguments of type DLClause | |
---|---|
DLOntology(java.lang.String ontologyIRI,
java.util.Set<DLClause> dlClauses,
java.util.Set<Atom> positiveFacts,
java.util.Set<Atom> negativeFacts,
java.util.Set<AtomicConcept> atomicConcepts,
java.util.Set<AtomicRole> atomicObjectRoles,
java.util.Set<Role> allComplexObjectRoles,
java.util.Set<AtomicRole> atomicDataRoles,
java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
java.util.Set<java.lang.String> definedDatatypeIRIs,
java.util.Set<Individual> individuals,
boolean hasInverseRoles,
boolean hasAtMostRestrictions,
boolean hasNominals,
boolean hasDatatypes)
|
Uses of DLClause in org.semanticweb.HermiT.structural |
---|
Methods in org.semanticweb.HermiT.structural that return DLClause | |
---|---|
protected DLClause |
OWLClausification.clausifyKey(org.semanticweb.owlapi.model.OWLHasKeyAxiom object)
|
protected DLClause |
OWLClausification.NormalizedAxiomClausifier.getDLClause()
|
protected DLClause |
OWLClausification.NormalizedDataRangeAxiomClausifier.getDLClause()
|
Uses of DLClause in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as DLClause | |
---|---|
protected DLClause |
DLClauseEvaluator.m_bodyDLClause
|
protected DLClause |
DLClauseEvaluator.DLClauseCompiler.m_bodyDLClause
|
protected DLClause |
HyperresolutionManager.BodyAtomsSwapper.m_dlClause
|
protected DLClause |
HyperresolutionManager.DLClauseBodyKey.m_dlClause
|
Fields in org.semanticweb.HermiT.tableau with type parameters of type DLClause | |
---|---|
protected java.util.List<DLClause> |
DLClauseEvaluator.m_headDLClauses
|
protected java.util.List<DLClause> |
DLClauseEvaluator.DLClauseCompiler.m_headDLClauses
|
Methods in org.semanticweb.HermiT.tableau that return DLClause | |
---|---|
DLClause |
DLClauseEvaluator.getDLClause(int dlClauseIndex)
|
DLClause |
HyperresolutionManager.BodyAtomsSwapper.getSwappedDLClause(int bodyIndex)
|
Methods in org.semanticweb.HermiT.tableau with parameters of type DLClause | |
---|---|
protected void |
HyperresolutionManager.getAtomicRoleClauseGuards(DLClause swappedDLClause,
java.util.List<Atom> guardingAtomicConceptAtoms1,
java.util.List<Atom> guardingAtomicConceptAtoms2)
|
Method parameters in org.semanticweb.HermiT.tableau with type arguments of type DLClause | |
---|---|
protected void |
ExistentialExpansionManager.loadDLClausesIntoGraph(java.util.Set<DLClause> dlClauses,
Graph<Role> superRoleGraph,
java.util.Set<Role> functionalRoles)
|
Constructor parameters in org.semanticweb.HermiT.tableau with type arguments of type DLClause | |
---|---|
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)
|
|
DLClauseEvaluator.ValuesBufferManager(java.util.Set<DLClause> dlClauses)
|
|
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)
|
|
HyperresolutionManager(Tableau tableau,
java.util.Set<DLClause> dlClauses)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |