|
||||||||||
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
|
protected static InterningManager<DLClause> |
DLClause.s_interningManager
|
Methods in org.semanticweb.HermiT.model that return DLClause | |
---|---|
static DLClause |
DLClause.create(Atom[] headAtoms,
Atom[] bodyAtoms)
|
DLClause |
DLClause.getChangedDLClause(Atom[] headAtoms,
Atom[] bodyAtoms)
|
DLClause |
DLClause.getSafeVersion(DLPredicate safeMakingPredicate)
|
Methods in org.semanticweb.HermiT.model that return types with arguments of type DLClause | |
---|---|
java.util.Set<DLClause> |
DLOntology.getDLClauses()
|
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)
|
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 |
---|
Fields in org.semanticweb.HermiT.structural with type parameters of type DLClause | |
---|---|
protected java.util.Set<DLClause> |
OWLClausification.NormalizedRuleClausifier.m_dlClauses
|
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()
|
Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type DLClause | |
---|---|
OWLClausification.NormalizedRuleClausifier(java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> objectPropertiesOccurringInOWLAxioms,
java.util.Collection<DescriptionGraph> descriptionGraphs,
OWLClausification.DataRangeConverter dataRangeConverter,
java.util.Set<DLClause> dlClauses)
|
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 |