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

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

Uses of AtomicConcept in org.semanticweb.HermiT
 

Fields in org.semanticweb.HermiT with type parameters of type AtomicConcept
protected  Hierarchy<AtomicConcept> Reasoner.m_atomicConceptHierarchy
           
protected  java.util.Map<AtomicRole,java.util.Set<HierarchyNode<AtomicConcept>>> Reasoner.m_directDataRoleDomains
           
protected  java.util.Map<HierarchyNode<AtomicConcept>,java.util.Set<HierarchyNode<AtomicConcept>>> Reasoner.m_directDisjointClasses
           
protected  java.util.Map<HierarchyNode<AtomicConcept>,java.util.Set<HierarchyNode<AtomicConcept>>> Reasoner.m_directDisjointClasses
           
protected  java.util.Map<Role,java.util.Set<HierarchyNode<AtomicConcept>>> Reasoner.m_directObjectRoleDomains
           
protected  java.util.Map<Role,java.util.Set<HierarchyNode<AtomicConcept>>> Reasoner.m_directObjectRoleRanges
           
 

Methods in org.semanticweb.HermiT that return AtomicConcept
protected static AtomicConcept Reasoner.H(org.semanticweb.owlapi.model.OWLClass owlClass)
           
 

Methods in org.semanticweb.HermiT that return types with arguments of type AtomicConcept
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConcepts(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean forceQuasiOrder)
           
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConceptsForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts, boolean forceQuasiOrder)
           
protected  java.util.Set<HierarchyNode<AtomicConcept>> Reasoner.getDirectSuperConceptNodes(Individual individual)
           
protected  java.util.Set<HierarchyNode<AtomicConcept>> Reasoner.getDisjointConceptNodes(HierarchyNode<AtomicConcept> node)
           
protected  HierarchyNode<AtomicConcept> Reasoner.getHierarchyNode(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
           
protected  java.util.Set<AtomicConcept> Configuration.loadConceptsFromFile(java.io.File file)
           
 

Methods in org.semanticweb.HermiT with parameters of type AtomicConcept
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConcepts(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean forceQuasiOrder)
           
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConceptsForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts, boolean forceQuasiOrder)
           
 

Method parameters in org.semanticweb.HermiT with type arguments of type AtomicConcept
protected  org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> Reasoner.atomicConceptHierarchyNodesToNodeSet(java.util.Collection<HierarchyNode<AtomicConcept>> hierarchyNodes)
           
protected  org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> Reasoner.atomicConceptHierarchyNodeToNode(HierarchyNode<AtomicConcept> hierarchyNode)
           
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConcepts(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean forceQuasiOrder)
           
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConceptsForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts, boolean forceQuasiOrder)
           
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConceptsForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts, boolean forceQuasiOrder)
           
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConceptsForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts, boolean forceQuasiOrder)
           
protected  java.util.Set<HierarchyNode<AtomicConcept>> Reasoner.getDisjointConceptNodes(HierarchyNode<AtomicConcept> node)
           
protected  void Configuration.setIndividualReuseStrategyReuseAlways(java.util.Set<? extends AtomicConcept> concepts)
           
protected  void Configuration.setIndividualReuseStrategyReuseNever(java.util.Set<? extends AtomicConcept> concepts)
           
 

Uses of AtomicConcept in org.semanticweb.HermiT.blocking
 

Fields in org.semanticweb.HermiT.blocking declared as AtomicConcept
protected  AtomicConcept BlockingValidator.MirroredYConsequenceAtom.m_atomicConcept
           
protected  AtomicConcept[] BlockingValidator.DLClauseInfo.m_xConcepts
           
protected  AtomicConcept[] BlockingValidator.YConstraint.m_yConcepts
           
protected  AtomicConcept[][] BlockingValidator.DLClauseInfo.m_zConcepts
           
 

Fields in org.semanticweb.HermiT.blocking with type parameters of type AtomicConcept
protected  java.util.Set<AtomicConcept> PairWiseDirectBlockingChecker.PairWiseBlockingSignature.m_atomicConceptLabel
           
protected  java.util.List<AtomicConcept> ValidatedSingleDirectBlockingChecker.m_atomicConceptsBuffer
           
protected  java.util.List<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.m_atomicConceptsBuffer
           
protected  java.util.List<AtomicConcept> SingleDirectBlockingChecker.m_atomicConceptsBuffer
           
protected  java.util.List<AtomicConcept> PairWiseDirectBlockingChecker.m_atomicConceptsBuffer
           
protected  java.util.Set<AtomicConcept> SingleDirectBlockingChecker.SingleBlockingObject.m_atomicConceptsLabel
           
protected  java.util.Set<AtomicConcept> SingleDirectBlockingChecker.SingleBlockingSignature.m_atomicConceptsLabel
           
protected  java.util.Set<AtomicConcept> PairWiseDirectBlockingChecker.PairWiseBlockingObject.m_atomicConceptsLabel
           
protected  SetFactory<AtomicConcept> ValidatedSingleDirectBlockingChecker.m_atomicConceptsSetFactory
           
protected  SetFactory<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.m_atomicConceptsSetFactory
           
protected  SetFactory<AtomicConcept> SingleDirectBlockingChecker.m_atomicConceptsSetFactory
           
protected  SetFactory<AtomicConcept> PairWiseDirectBlockingChecker.m_atomicConceptsSetFactory
           
protected  java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.m_blockingRelevantConceptsLabel
           
protected  java.util.Set<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.m_blockingRelevantConceptsLabel
           
protected  java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_blockingRelevantLabel
           
protected  java.util.Set<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_blockingRelevantLabel
           
protected  java.util.Map<AtomicConcept,java.util.List<BlockingValidator.DLClauseInfo>> BlockingValidator.m_dlClauseInfosByXConcepts
           
protected  java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_fullAtomicConceptsLabel
           
protected  java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.m_fullAtomicConceptsLabel
           
protected  java.util.Set<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_fullAtomicConceptsLabel
           
protected  java.util.Set<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.m_fullAtomicConceptsLabel
           
protected  java.util.Set<AtomicConcept> PairWiseDirectBlockingChecker.PairWiseBlockingSignature.m_parentAtomicConceptLabel
           
protected  java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.m_parentFullAtomicConceptsLabel
           
protected  java.util.Set<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.m_parentFullAtomicConceptsLabel
           
 

Methods in org.semanticweb.HermiT.blocking that return types with arguments of type AtomicConcept
protected  java.util.Set<AtomicConcept> SingleDirectBlockingChecker.fetchAtomicConceptsLabel(Node node)
           
protected  java.util.Set<AtomicConcept> PairWiseDirectBlockingChecker.fetchAtomicConceptsLabel(Node node)
           
protected  java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.fetchAtomicConceptsLabel(Node node, boolean onlyCore)
           
protected  java.util.Set<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.fetchAtomicConceptsLabel(Node node, boolean onlyCore)
           
 java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getAtomicConceptsLabel()
           
 java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getAtomicConceptsLabel()
           
 java.util.Set<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.getAtomicConceptsLabel()
           
 java.util.Set<AtomicConcept> SingleDirectBlockingChecker.SingleBlockingObject.getAtomicConceptsLabel()
           
 java.util.Set<AtomicConcept> PairWiseDirectBlockingChecker.PairWiseBlockingObject.getAtomicConceptsLabel()
           
 java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getFullAtomicConceptsLabel()
           
 java.util.Set<AtomicConcept> ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullAtomicConceptsLabel()
           
 java.util.Set<AtomicConcept> ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.getFullAtomicConceptsLabel()
           
 

Methods in org.semanticweb.HermiT.blocking with parameters of type AtomicConcept
 void SingleDirectBlockingChecker.SingleBlockingObject.addAtomicConcept(AtomicConcept atomicConcept)
           
 void PairWiseDirectBlockingChecker.PairWiseBlockingObject.addAtomicConcept(AtomicConcept atomicConcept)
           
 void SingleDirectBlockingChecker.SingleBlockingObject.removeAtomicConcept(AtomicConcept atomicConcept)
           
 void PairWiseDirectBlockingChecker.PairWiseBlockingObject.removeAtomicConcept(AtomicConcept atomicConcept)
           
 

Constructors in org.semanticweb.HermiT.blocking with parameters of type AtomicConcept
BlockingValidator.MirroredYConsequenceAtom(AtomicConcept atomicConcept, int yArgumentIndex)
           
BlockingValidator.YConstraint(AtomicConcept[] yConcepts, AtomicRole[] x2yRoles, AtomicRole[] y2xRoles)
           
 

Uses of AtomicConcept in org.semanticweb.HermiT.existentials
 

Fields in org.semanticweb.HermiT.existentials with type parameters of type AtomicConcept
protected  java.util.Set<AtomicConcept> IndividualReuseStrategy.m_dontReuseConceptsEver
           
protected  java.util.Set<AtomicConcept> IndividualReuseStrategy.m_dontReuseConceptsThisRun
           
protected  java.util.Set<AtomicConcept> IndividualReuseStrategy.m_doReuseConceptsAlways
           
protected  java.util.Map<AtomicConcept,IndividualReuseStrategy.NodeBranchingPointPair> IndividualReuseStrategy.m_reusedNodes
           
 

Methods in org.semanticweb.HermiT.existentials that return AtomicConcept
 AtomicConcept IndividualReuseStrategy.getConceptForNode(Node node)
           
 

Methods in org.semanticweb.HermiT.existentials that return types with arguments of type AtomicConcept
 java.util.Set<AtomicConcept> IndividualReuseStrategy.getDontReuseConceptsEver()
           
 

Uses of AtomicConcept in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as AtomicConcept
protected  AtomicConcept InstanceManager.m_bottomConcept
           
protected  AtomicConcept QuasiOrderClassification.m_bottomElement
           
protected  AtomicConcept DeterministicClassification.m_bottomElement
           
protected  AtomicConcept InstanceManager.m_topConcept
           
protected  AtomicConcept QuasiOrderClassification.m_topElement
           
protected  AtomicConcept DeterministicClassification.m_topElement
           
 

Fields in org.semanticweb.HermiT.hierarchy with type parameters of type AtomicConcept
protected  HierarchyNode<AtomicConcept> HierarchyPrinterFSS.AtomicConceptPrinter.m_bottomNode
           
protected  java.util.Map<Role,AtomicConcept> QuasiOrderClassificationForRoles.m_conceptsForRoles
           
protected  java.util.Map<AtomicConcept,AtomicConceptElement> InstanceManager.m_conceptToElement
           
protected  Hierarchy<AtomicConcept> InstanceManager.m_currentConceptHierarchy
           
protected  java.util.Set<AtomicConcept> QuasiOrderClassification.m_elements
           
protected  java.util.Set<AtomicConcept> DeterministicClassification.m_elements
           
protected  Graph<AtomicConcept> QuasiOrderClassification.m_knownSubsumptions
           
protected  Graph<AtomicConcept> QuasiOrderClassification.m_possibleSubsumptions
           
protected  java.util.Map<AtomicConcept,Role> QuasiOrderClassificationForRoles.m_rolesForConcepts
           
 

Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type AtomicConcept
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildHierarchy(HierarchySearch.Relation<AtomicConcept> hierarchyRelation)
           
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildHierarchyOfUnknownPossible(java.util.Set<AtomicConcept> unknownSubsumers)
           
protected  Hierarchy<AtomicConcept> InstanceManager.buildTransitivelyReducedConceptHierarchy(Graph<AtomicConcept> knownSubsumptions)
           
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildTransitivelyReducedHierarchy(Graph<AtomicConcept> knownSubsumptions, java.util.Set<AtomicConcept> elements)
           
 Hierarchy<AtomicConcept> QuasiOrderClassification.classify()
           
 Hierarchy<AtomicConcept> DeterministicClassification.classify()
           
protected  java.util.Set<AtomicConcept> QuasiOrderClassification.getAllKnownSubsumers(AtomicConcept child)
           
 HierarchyNode<AtomicConcept> InstanceManager.getBottomConceptNode()
           
 HierarchyNode<AtomicConcept> InstanceManager.getTopConceptNode()
           
 java.util.Set<HierarchyNode<AtomicConcept>> InstanceManager.getTypes(Individual individual, boolean direct)
           
 

Methods in org.semanticweb.HermiT.hierarchy with parameters of type AtomicConcept
protected  void InstanceManager.addKnownConceptSubsumption(Graph<AtomicConcept> knownSubsumptions, AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  void QuasiOrderClassificationForRoles.addKnownSubsumption(AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  void QuasiOrderClassification.addKnownSubsumption(AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  void QuasiOrderClassification.addKnownSubsumptions(AtomicConcept subConcept, java.util.Set<AtomicConcept> superConcepts)
           
protected  void QuasiOrderClassificationForRoles.addPossibleSubsumption(AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  void QuasiOrderClassification.addPossibleSubsumption(AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  Node QuasiOrderClassification.buildModelForConcept(AtomicConcept concept)
           
protected  void QuasiOrderClassification.checkUnknownSubsumersUsingEnhancedTraversal(HierarchySearch.Relation<AtomicConcept> hierarchyRelation, HierarchyNode<AtomicConcept> startNode, AtomicConcept pickedElement)
           
 int HierarchyPrinterFSS.AtomicConceptComparator.compare(AtomicConcept atomicConcept1, AtomicConcept atomicConcept2)
           
 int HierarchyDumperFSS.AtomicConceptComparator.compare(AtomicConcept atomicConcept1, AtomicConcept atomicConcept2)
           
 void ClassificationProgressMonitor.elementClassified(AtomicConcept element)
           
protected  java.util.Set<AtomicConcept> QuasiOrderClassification.getAllKnownSubsumers(AtomicConcept child)
           
protected  int HierarchyPrinterFSS.AtomicConceptComparator.getAtomicConceptClass(AtomicConcept atomicConcept)
           
protected  int HierarchyDumperFSS.AtomicConceptComparator.getAtomicConceptClass(AtomicConcept atomicConcept)
           
 java.util.Set<Individual> InstanceManager.getInstances(AtomicConcept atomicConcept, boolean direct)
           
 int[] InstanceManager.getNumberOfInstances(AtomicConcept concept)
           
protected  ReasoningTaskDescription QuasiOrderClassificationForRoles.getSatTestDescription(AtomicConcept atomicConcept)
           
protected  ReasoningTaskDescription QuasiOrderClassification.getSatTestDescription(AtomicConcept atomicConcept)
           
protected  ReasoningTaskDescription QuasiOrderClassificationForRoles.getSubsumedByListTestDescription(AtomicConcept subConcept, java.lang.Object[] superconcepts)
           
protected  ReasoningTaskDescription QuasiOrderClassification.getSubsumedByListTestDescription(AtomicConcept subConcept, java.lang.Object[] superconcepts)
           
protected  ReasoningTaskDescription QuasiOrderClassificationForRoles.getSubsumptionTestDescription(AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  ReasoningTaskDescription QuasiOrderClassification.getSubsumptionTestDescription(AtomicConcept subConcept, AtomicConcept superConcept)
           
 boolean InstanceManager.hasType(Individual individual, AtomicConcept atomicConcept, boolean direct)
           
protected  boolean QuasiOrderClassification.isEveryPossibleSubsumerNonSubsumer(java.util.Set<AtomicConcept> unknownPossibleSubsumers, AtomicConcept pickedElement, int lowerBound, int upperBound)
           
protected  boolean InstanceManager.isInstance(Individual individual, AtomicConcept atomicConcept)
           
protected  boolean QuasiOrderClassification.isUnsatisfiable(AtomicConcept concept)
           
protected  void QuasiOrderClassification.makeConceptUnsatisfiable(AtomicConcept concept)
           
protected  boolean HierarchyPrinterFSS.AtomicConceptPrinter.needsDeclaration(AtomicConcept atomicConcept)
           
protected  void HierarchyPrinterFSS.AtomicConceptPrinter.print(AtomicConcept atomicConcept)
           
protected  void QuasiOrderClassification.prunePossibleSubsumersOfConcept(AtomicConcept atomicConcept, Node node)
           
protected  void QuasiOrderClassification.readKnownSubsumersFromRootNode(AtomicConcept subconcept, Node checkedNode)
           
protected  void QuasiOrderClassification.readPossibleSubsumersFromNodeLabel(AtomicConcept atomicConcept, Node node)
           
 

Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type AtomicConcept
protected  void InstanceManager.addKnownConceptInstance(HierarchyNode<AtomicConcept> currentNode, AtomicConceptElement element, Individual instance)
           
protected  void InstanceManager.addKnownConceptSubsumption(Graph<AtomicConcept> knownSubsumptions, AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  void QuasiOrderClassification.addKnownSubsumptions(AtomicConcept subConcept, java.util.Set<AtomicConcept> superConcepts)
           
protected  void InstanceManager.addPossibleConceptInstance(HierarchyNode<AtomicConcept> currentNode, AtomicConceptElement element, Individual instance)
           
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildHierarchy(HierarchySearch.Relation<AtomicConcept> hierarchyRelation)
           
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildHierarchyOfUnknownPossible(java.util.Set<AtomicConcept> unknownSubsumers)
           
protected  Hierarchy<AtomicConcept> InstanceManager.buildTransitivelyReducedConceptHierarchy(Graph<AtomicConcept> knownSubsumptions)
           
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildTransitivelyReducedHierarchy(Graph<AtomicConcept> knownSubsumptions, java.util.Set<AtomicConcept> elements)
           
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildTransitivelyReducedHierarchy(Graph<AtomicConcept> knownSubsumptions, java.util.Set<AtomicConcept> elements)
           
protected  void QuasiOrderClassification.checkUnknownSubsumersUsingEnhancedTraversal(HierarchySearch.Relation<AtomicConcept> hierarchyRelation, HierarchyNode<AtomicConcept> startNode, AtomicConcept pickedElement)
           
protected  void QuasiOrderClassification.checkUnknownSubsumersUsingEnhancedTraversal(HierarchySearch.Relation<AtomicConcept> hierarchyRelation, HierarchyNode<AtomicConcept> startNode, AtomicConcept pickedElement)
           
 java.util.Set<Individual> InstanceManager.getInstances(HierarchyNode<AtomicConcept> node, boolean direct)
           
protected  void InstanceManager.getInstancesForNode(HierarchyNode<AtomicConcept> node, java.util.Set<Individual> result, boolean direct)
           
protected  int[] InstanceManager.getNumberOfInstances(HierarchyNode<AtomicConcept> node, int[] result)
           
 boolean InstanceManager.hasType(Individual individual, HierarchyNode<AtomicConcept> node, boolean direct)
           
protected  boolean QuasiOrderClassification.isEveryPossibleSubsumerNonSubsumer(java.util.Set<AtomicConcept> unknownPossibleSubsumers, AtomicConcept pickedElement, int lowerBound, int upperBound)
           
 void HierarchyPrinterFSS.loadAtomicConceptPrefixIRIs(java.util.Collection<AtomicConcept> atomicConcepts)
           
 void InstanceManager.DFSTypeCounter.postvisit(int level, HierarchyNode<AtomicConcept> node)
           
 void InstanceManager.DFSTypeCounter.previsit(int level, HierarchyNode<AtomicConcept> node)
           
 void HierarchyPrinterFSS.printAtomicConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
           
 void HierarchyDumperFSS.printAtomicConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
           
 void HierarchyPrinterFSS.AtomicConceptPrinter.printNode(int level, HierarchyNode<AtomicConcept> node, HierarchyNode<AtomicConcept> parentNode, boolean firstVisit)
           
 void HierarchyPrinterFSS.AtomicConceptPrinter.printNode(int level, HierarchyNode<AtomicConcept> node, HierarchyNode<AtomicConcept> parentNode, boolean firstVisit)
           
 void InstanceManager.setToClassifiedConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
           
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)
           
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)
           
 boolean InstanceManager.DFSTypeCounter.visit(int level, HierarchyNode<AtomicConcept> node)
           
 void HierarchyPrinterFSS.AtomicConceptPrinter.visit(int level, HierarchyNode<AtomicConcept> node, HierarchyNode<AtomicConcept> parentNode, boolean firstVisit)
           
 void HierarchyPrinterFSS.AtomicConceptPrinter.visit(int level, HierarchyNode<AtomicConcept> node, HierarchyNode<AtomicConcept> parentNode, boolean firstVisit)
           
 

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type AtomicConcept
DeterministicClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements)
           
QuasiOrderClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements)
           
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts)
           
 

Constructor parameters in org.semanticweb.HermiT.hierarchy with type arguments of type AtomicConcept
DeterministicClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements)
           
HierarchyPrinterFSS.AtomicConceptPrinter(HierarchyNode<AtomicConcept> bottomNode)
           
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Tableau tableau, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)
           
QuasiOrderClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements)
           
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts)
           
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts)
           
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts)
           
 

Uses of AtomicConcept in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model declared as AtomicConcept
static AtomicConcept AtomicConcept.INTERNAL_NAMED
           
protected  AtomicConcept[] DescriptionGraph.m_atomicConceptsByVertices
           
protected  AtomicConcept AtomicNegationConcept.m_negatedAtomicConcept
           
static AtomicConcept AtomicConcept.NOTHING
           
static AtomicConcept AtomicConcept.THING
           
 

Fields in org.semanticweb.HermiT.model with type parameters of type AtomicConcept
static java.util.Comparator<AtomicConcept> DLOntology.AtomicConceptComparator.INSTANCE
           
protected  java.util.Set<AtomicConcept> DLOntology.m_allAtomicConcepts
           
protected  java.util.Set<AtomicConcept> DescriptionGraph.m_startConcepts
           
protected static InterningManager<AtomicConcept> AtomicConcept.s_interningManager
           
 

Methods in org.semanticweb.HermiT.model that return AtomicConcept
static AtomicConcept AtomicConcept.create(java.lang.String uri)
           
 AtomicConcept DescriptionGraph.getAtomicConceptForVertex(int vertex)
           
 AtomicConcept AtomicNegationConcept.getNegatedAtomicConcept()
           
 

Methods in org.semanticweb.HermiT.model that return types with arguments of type AtomicConcept
 java.util.Set<AtomicConcept> DLOntology.getAllAtomicConcepts()
           
protected  java.util.Set<AtomicConcept> DLOntology.getBodyOnlyAtomicConcepts()
           
 java.util.Set<AtomicConcept> DescriptionGraph.getStartConcepts()
           
 

Methods in org.semanticweb.HermiT.model with parameters of type AtomicConcept
 int DLOntology.AtomicConceptComparator.compare(AtomicConcept o1, AtomicConcept o2)
           
 boolean DLOntology.containsAtomicConcept(AtomicConcept concept)
           
static AtomicNegationConcept AtomicNegationConcept.create(AtomicConcept negatedAtomicConcept)
           
 

Method parameters in org.semanticweb.HermiT.model with type arguments of type AtomicConcept
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.
 

Constructors in org.semanticweb.HermiT.model with parameters of type AtomicConcept
AtomicNegationConcept(AtomicConcept negatedAtomicConcept)
           
DescriptionGraph(java.lang.String name, AtomicConcept[] atomicConceptsByVertices, DescriptionGraph.Edge[] edges, java.util.Set<AtomicConcept> startConcepts)
           
 

Constructor parameters in org.semanticweb.HermiT.model with type arguments of type AtomicConcept
DescriptionGraph(java.lang.String name, AtomicConcept[] atomicConceptsByVertices, DescriptionGraph.Edge[] edges, java.util.Set<AtomicConcept> startConcepts)
           
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 AtomicConcept in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural with type parameters of type AtomicConcept
protected  java.util.Set<AtomicConcept> ReducedABoxOnlyClausification.m_allAtomicConcepts
           
 

Methods in org.semanticweb.HermiT.structural that return AtomicConcept
protected  AtomicConcept OWLClausification.NormalizedAxiomClausifier.getConceptForNominal(org.semanticweb.owlapi.model.OWLIndividual individual)
           
 

Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type AtomicConcept
ReducedABoxOnlyClausification(Configuration configuration, org.semanticweb.owlapi.model.OWLDataFactory factory, java.util.Set<AtomicConcept> allAtomicConcepts, java.util.Set<AtomicRole> allAtomicObjectRoles, java.util.Set<AtomicRole> allAtomicDataRoles)
           
 

Uses of AtomicConcept in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type AtomicConcept
protected  java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept1
           
protected  java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept2