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

Packages that use AtomicConcept

Package	Description
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.hierarchy
org.semanticweb.HermiT.model
org.semanticweb.HermiT.structural

Uses of AtomicConcept in org.semanticweb.HermiT.blocking

Methods in org.semanticweb.HermiT.blocking that return types with arguments of type AtomicConcept

Modifier and Type	Method and Description
Set<AtomicConcept>	ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getAtomicConceptsLabel()
Set<AtomicConcept>	ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getAtomicConceptsLabel()
Set<AtomicConcept>	ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getFullAtomicConceptsLabel()
Set<AtomicConcept>	ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullAtomicConceptsLabel()

Uses of AtomicConcept in org.semanticweb.HermiT.existentials

Methods in org.semanticweb.HermiT.existentials that return AtomicConcept

Modifier and Type	Method and Description
AtomicConcept	IndividualReuseStrategy.getConceptForNode(Node node)

Methods in org.semanticweb.HermiT.existentials that return types with arguments of type AtomicConcept

Modifier and Type	Method and Description
Set<AtomicConcept>	IndividualReuseStrategy.getDontReuseConceptsEver()

Uses of AtomicConcept in org.semanticweb.HermiT.hierarchy

Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type AtomicConcept

Modifier and Type	Method and Description
Hierarchy<AtomicConcept>	DeterministicClassification.classify()
Hierarchy<AtomicConcept>	QuasiOrderClassification.classify()
Set<HierarchyNode<AtomicConcept>>	InstanceManager.getTypes(Individual individual, boolean direct)

Methods in org.semanticweb.HermiT.hierarchy with parameters of type AtomicConcept

Modifier and Type	Method and Description
void	ClassificationProgressMonitor.elementClassified(AtomicConcept element)
Set<Individual>	InstanceManager.getInstances(AtomicConcept atomicConcept, boolean direct)
boolean	InstanceManager.hasType(Individual individual, AtomicConcept atomicConcept, boolean direct)

Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type AtomicConcept

Modifier and Type	Method and Description
Set<Individual>	InstanceManager.getInstances(HierarchyNode<AtomicConcept> node, boolean direct)
boolean	InstanceManager.hasType(Individual individual, HierarchyNode<AtomicConcept> node, boolean direct)
void	HierarchyPrinterFSS.loadAtomicConceptPrefixIRIs(Collection<AtomicConcept> atomicConcepts)
void	HierarchyDumperFSS.printAtomicConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
void	HierarchyPrinterFSS.printAtomicConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
void	InstanceManager.setToClassifiedConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type AtomicConcept

Constructor and Description
DeterministicClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements)
QuasiOrderClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements)
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements, boolean hasInverses, Map<Role,AtomicConcept> conceptsForRoles, Map<AtomicConcept,Role> rolesForConcepts)

Constructor parameters in org.semanticweb.HermiT.hierarchy with type arguments of type AtomicConcept

Constructor and Description
DeterministicClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements)
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)
QuasiOrderClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements)
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements, boolean hasInverses, Map<Role,AtomicConcept> conceptsForRoles, Map<AtomicConcept,Role> rolesForConcepts)
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements, boolean hasInverses, Map<Role,AtomicConcept> conceptsForRoles, Map<AtomicConcept,Role> rolesForConcepts)
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements, boolean hasInverses, Map<Role,AtomicConcept> conceptsForRoles, Map<AtomicConcept,Role> rolesForConcepts)

Uses of AtomicConcept in org.semanticweb.HermiT.model

Fields in org.semanticweb.HermiT.model declared as AtomicConcept

Modifier and Type	Field and Description
static AtomicConcept	AtomicConcept.INTERNAL_NAMED Internal.
static AtomicConcept	AtomicConcept.NOTHING Nothing.
static AtomicConcept	AtomicConcept.THING Thing.

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

Modifier and Type	Method and Description
static AtomicConcept	AtomicConcept.create(String uri)
AtomicConcept	DescriptionGraph.getAtomicConceptForVertex(int vertex)
AtomicConcept	AtomicNegationConcept.getNegatedAtomicConcept()

Methods in org.semanticweb.HermiT.model that return types with arguments of type AtomicConcept

Modifier and Type	Method and Description
Set<AtomicConcept>	DLOntology.getAllAtomicConcepts()
Set<AtomicConcept>	DescriptionGraph.getStartConcepts()

Methods in org.semanticweb.HermiT.model with parameters of type AtomicConcept

Modifier and Type	Method and Description
boolean	DLOntology.containsAtomicConcept(AtomicConcept concept)
static AtomicNegationConcept	AtomicNegationConcept.create(AtomicConcept negatedAtomicConcept)

Constructors in org.semanticweb.HermiT.model with parameters of type AtomicConcept

Constructor and Description
DescriptionGraph(String name, AtomicConcept[] atomicConceptsByVertices, DescriptionGraph.Edge[] edges, Set<AtomicConcept> startConcepts)

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

Constructor and Description
DescriptionGraph(String name, AtomicConcept[] atomicConceptsByVertices, DescriptionGraph.Edge[] edges, Set<AtomicConcept> startConcepts)
DLOntology(String ontologyIRI, Collection<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 AtomicConcept in org.semanticweb.HermiT.structural

Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type AtomicConcept

Constructor and Description
ReducedABoxOnlyClausification(Configuration configuration, Set<AtomicConcept> allAtomicConcepts, Set<AtomicRole> allAtomicObjectRoles, Set<AtomicRole> allAtomicDataRoles)