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

Packages that use Individual

Package	Description
org.semanticweb.HermiT.hierarchy
org.semanticweb.HermiT.model
org.semanticweb.HermiT.structural
org.semanticweb.HermiT.tableau

Uses of Individual in org.semanticweb.HermiT.hierarchy

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

Modifier and Type	Method and Description
Set<Individual>	InstanceManager.getInstances(AtomicConcept atomicConcept, boolean direct)
Set<Individual>	InstanceManager.getInstances(HierarchyNode<AtomicConcept> node, boolean direct)
Set<Individual>	AtomicConceptElement.getKnownInstances()
Map<Individual,Node>	InstanceManager.getNodesForIndividuals()
Map<Individual,Set<Individual>>	InstanceManager.getObjectPropertyInstances(AtomicRole role)
Map<Individual,Set<Individual>>	InstanceManager.getObjectPropertyInstances(AtomicRole role)
Set<Individual>	InstanceManager.getObjectPropertySubjects(AtomicRole role, Individual individual)
Set<Individual>	InstanceManager.getObjectPropertyValues(AtomicRole role, Individual individual)
Set<Individual>	AtomicConceptElement.getPossibleInstances()
Set<Individual>	InstanceManager.getSameAsIndividuals(Individual individual)

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

Modifier and Type	Method and Description
boolean	AtomicConceptElement.addPossible(Individual individual)
Set<Individual>	InstanceManager.getObjectPropertySubjects(AtomicRole role, Individual individual)
Set<Individual>	InstanceManager.getObjectPropertyValues(AtomicRole role, Individual individual)
Set<Individual>	InstanceManager.getSameAsIndividuals(Individual individual)
Set<HierarchyNode<AtomicConcept>>	InstanceManager.getTypes(Individual individual, boolean direct)
boolean	InstanceManager.hasObjectRoleRelationship(AtomicRole role, Individual individual1, Individual individual2)
boolean	InstanceManager.hasObjectRoleRelationship(HierarchyNode<org.semanticweb.HermiT.hierarchy.RoleElementManager.RoleElement> node, Individual individual1, Individual individual2)
boolean	InstanceManager.hasType(Individual individual, AtomicConcept atomicConcept, boolean direct)
boolean	InstanceManager.hasType(Individual individual, HierarchyNode<AtomicConcept> node, boolean direct)
boolean	AtomicConceptElement.isKnown(Individual individual)
boolean	AtomicConceptElement.isPossible(Individual individual)
boolean	InstanceManager.isSameIndividual(Individual individual1, Individual individual2)
void	AtomicConceptElement.setToKnown(Individual individual)

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

Modifier and Type	Method and Description
boolean	AtomicConceptElement.addPossibles(Set<Individual> individuals)

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

Constructor and Description
AtomicConceptElement(Set<Individual> known, Set<Individual> possible)
AtomicConceptElement(Set<Individual> known, Set<Individual> possible)

Uses of Individual in org.semanticweb.HermiT.model

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

Modifier and Type	Method and Description
static Individual	Individual.create(String uri) Returns an Individual with the given identifier.
static Individual	Individual.createAnonymous(String id)

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

Modifier and Type	Method and Description
Set<Individual>	DLOntology.getAllIndividuals()
Map<AtomicRole,Map<Individual,Set<Constant>>>	DLOntology.getDataPropertyAssertions()

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

Modifier and Type	Method and Description
boolean	DLOntology.containsIndividual(Individual individual)

Method parameters in org.semanticweb.HermiT.model with type arguments of type Individual

Modifier and Type	Method and Description
void	Atom.getIndividuals(Set<Individual> individuals)

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

Constructor and Description

DLOntology(String ontologyIRI, Set<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 Individual in org.semanticweb.HermiT.structural

Methods in org.semanticweb.HermiT.structural that return types with arguments of type Individual

Modifier and Type	Method and Description
Set<Individual>	ReducedABoxOnlyClausification.getAllIndividuals()

Uses of Individual in org.semanticweb.HermiT.tableau

Method parameters in org.semanticweb.HermiT.tableau with type arguments of type Individual

Modifier and Type	Method and Description
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadPermanentABox, boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Term,Node> termsToNodes, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)
boolean	Tableau.isSatisfiable(boolean loadAdditionalABox, Set<Atom> perTestPositiveFactsNoDependency, Set<Atom> perTestNegativeFactsNoDependency, Set<Atom> perTestPositiveFactsDummyDependency, Set<Atom> perTestNegativeFactsDummyDependency, Map<Individual,Node> nodesForIndividuals, ReasoningTaskDescription reasoningTaskDescription)