Uses of Class
uk.ac.manchester.cs.jfact.kernel.dl.IndividualName

Packages that use IndividualName

Package	Description
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.visitors

Uses of IndividualName in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return IndividualName

Modifier and Type	Method and Description
IndividualName	ExpressionCache.individual(org.semanticweb.owlapi.model.OWLEntity name)

Methods in uk.ac.manchester.cs.jfact.kernel that return types with arguments of type IndividualName

Modifier and Type	Method and Description
Collection<IndividualName>	ReasoningKernel.getDataRelatedIndividuals(RoleExpression or, RoleExpression os, int op, Collection<IndividualExpression> individuals) set RESULT into set of instances of A such that they do have data roles R and S

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type IndividualName

Modifier and Type	Method and Description
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getSameAs(IndividualName i, TaxonomyActor<T> actor) apply actor__apply() to all synonyms of an individual I
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getTypes(IndividualName i, boolean direct, TaxonomyActor<T> actor) apply actor__apply() to all DIRECT concepts that are types of an individual I
DLTree	ExpressionTranslator.visit(IndividualName expr)

Uses of IndividualName in uk.ac.manchester.cs.jfact.visitors

Methods in uk.ac.manchester.cs.jfact.visitors with parameters of type IndividualName

Modifier and Type	Method and Description
A	DLExpressionVisitorExAdapter.visit(IndividualName expr)
O	DLExpressionVisitorEx.visit(IndividualName expr)
void	DLExpressionVisitorAdapter.visit(IndividualName expr)
void	DLExpressionVisitor.visit(IndividualName expr)