Uses of Interface
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression

Packages that use IndividualExpression

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.kernel.dl.axioms

Uses of IndividualExpression in uk.ac.manchester.cs.jfact

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

Modifier and Type	Method and Description
List<IndividualExpression>	TranslationMachinery.translate(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLIndividual> inds)

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

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

Modifier and Type	Method and Description
TaxonomyActor<IndividualExpression>	ReasoningKernel.getInstances(ConceptExpression c, TaxonomyActor<IndividualExpression> actor, boolean direct)

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

Modifier and Type	Method and Description
Individual	OntologyLoader.getIndividual(IndividualExpression i, String reason)
List<Individual>	ReasoningKernel.getRoleFillers(IndividualExpression i, ObjectRoleExpression r)
boolean	ReasoningKernel.isInstance(IndividualExpression i, ConceptExpression c)
boolean	ReasoningKernel.isSameIndividuals(IndividualExpression ie, IndividualExpression je)
ConceptExpression	ExpressionCache.oneOf(IndividualExpression i)
static ConceptExpression	ExpressionManager.value(ObjectRoleExpression r, IndividualExpression i)

Method parameters in uk.ac.manchester.cs.jfact.kernel with type arguments of type IndividualExpression

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
TaxonomyActor<IndividualExpression>	ReasoningKernel.getInstances(ConceptExpression c, TaxonomyActor<IndividualExpression> actor, boolean direct)
ConceptExpression	ExpressionCache.oneOf(List<IndividualExpression> l)

Uses of IndividualExpression in uk.ac.manchester.cs.jfact.kernel.dl

Classes in uk.ac.manchester.cs.jfact.kernel.dl with type parameters of type IndividualExpression

Modifier and Type	Class and Description
class	ConceptOneOf<I extends IndividualExpression> object nominal

Classes in uk.ac.manchester.cs.jfact.kernel.dl that implement IndividualExpression

Modifier and Type	Class and Description
class	IndividualName individual name

Methods in uk.ac.manchester.cs.jfact.kernel.dl that return IndividualExpression

Modifier and Type	Method and Description
IndividualExpression	ConceptObjectValue.getIndividual()

Constructors in uk.ac.manchester.cs.jfact.kernel.dl with parameters of type IndividualExpression

Constructor and Description
ConceptObjectValue(ObjectRoleExpression r, IndividualExpression i)

Uses of IndividualExpression in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Methods in uk.ac.manchester.cs.jfact.kernel.dl.axioms that return IndividualExpression

Modifier and Type	Method and Description
IndividualExpression	AxiomRelatedToNot.getRelatedIndividual()
IndividualExpression	AxiomRelatedTo.getRelatedIndividual()

Constructors in uk.ac.manchester.cs.jfact.kernel.dl.axioms with parameters of type IndividualExpression

Constructor and Description
AxiomInstanceOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, ConceptExpression c)
AxiomRelatedTo(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, ObjectRoleExpression r, IndividualExpression j)
AxiomRelatedToNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, ObjectRoleExpression r, IndividualExpression j)
AxiomValueOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, DataRoleExpression a, Literal<?> v)
AxiomValueOfNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, DataRoleExpression a, Literal<?> v)

Constructor parameters in uk.ac.manchester.cs.jfact.kernel.dl.axioms with type arguments of type IndividualExpression

Constructor and Description
AxiomDifferentIndividuals(org.semanticweb.owlapi.model.OWLAxiom ax, List<IndividualExpression> v)
AxiomSameIndividuals(org.semanticweb.owlapi.model.OWLAxiom ax, List<IndividualExpression> v)