Uses of Class
org.semanticweb.HermiT.model.DLClause

Packages that use DLClause

Package	Description
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of DLClause in org.semanticweb.HermiT.blocking

Methods in org.semanticweb.HermiT.blocking with parameters of type DLClause

Modifier and Type	Method and Description
void	BlockingStrategy.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	AnywhereValidatedBlocking.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	AnywhereBlocking.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	AncestorBlocking.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)

Constructor parameters in org.semanticweb.HermiT.blocking with type arguments of type DLClause

Constructor and Description
BlockingValidator(Tableau tableau, Set<DLClause> dlClauses)

Uses of DLClause in org.semanticweb.HermiT.existentials

Methods in org.semanticweb.HermiT.existentials with parameters of type DLClause

Modifier and Type	Method and Description
void	ExistentialExpansionStrategy.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	AbstractExpansionStrategy.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)

Uses of DLClause in org.semanticweb.HermiT.model

Methods in org.semanticweb.HermiT.model that return DLClause

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
Set<DLClause>	DLOntology.getDLClauses()

Method parameters in org.semanticweb.HermiT.model with type arguments of type DLClause

Modifier and Type	Method and Description
void	DescriptionGraph.produceStartDLClauses(Set<DLClause> resultingDLClauses)

Constructor parameters in org.semanticweb.HermiT.model with type arguments of type DLClause

Constructor and Description

DLOntology(String ontologyIRI, Set<DLClause> dlClauses, Set<Atom> positiveFacts, Set<Atom> negativeFacts, Set<AtomicConcept> atomicConcepts, Set<AtomicRole> atomicObjectRoles, Set<Role> allComplexObjectRoles, Set<AtomicRole> atomicDataRoles, Set<DatatypeRestriction> allUnknownDatatypeRestrictions, Set<String> definedDatatypeIRIs, Set<Individual> individuals, boolean hasInverseRoles, boolean hasAtMostRestrictions, boolean hasNominals, boolean hasDatatypes)

Uses of DLClause in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return DLClause

Modifier and Type	Method and Description
DLClause	DLClauseEvaluator.getDLClause(int dlClauseIndex)
DLClause	HyperresolutionManager.BodyAtomsSwapper.getSwappedDLClause(int bodyIndex)

Constructors in org.semanticweb.HermiT.tableau with parameters of type DLClause

Constructor and Description
BodyAtomsSwapper(DLClause dlClause)
DLClauseEvaluator(Tableau tableau, DLClause bodyDLClause, List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval, DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, org.semanticweb.HermiT.tableau.DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, Map<Integer,org.semanticweb.HermiT.tableau.UnionDependencySet> unionDependencySetsBySize)

Constructor parameters in org.semanticweb.HermiT.tableau with type arguments of type DLClause

Constructor and Description
DLClauseEvaluator(Tableau tableau, DLClause bodyDLClause, List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval, DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, org.semanticweb.HermiT.tableau.DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, Map<Integer,org.semanticweb.HermiT.tableau.UnionDependencySet> unionDependencySetsBySize)
HyperresolutionManager(Tableau tableau, Set<DLClause> dlClauses)
ValuesBufferManager(Set<DLClause> dlClauses, Map<Term,Node> termsToNodes)