|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |