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

Packages that use DLClause
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

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)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters 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(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.BodyAtomsSwapper(DLClause dlClause)
           
HyperresolutionManager.DLClauseBodyKey(DLClause dlClause)
           
 

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)