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
           
 

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)
           
 

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)