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.actors
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 IndividualExpression

Modifier and Type	Method and Description
protected IndividualExpression	TranslationMachinery.toIndividualPointer(org.semanticweb.owlapi.model.OWLIndividual individual)

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

Modifier and Type	Method and Description
protected org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	TranslationMachinery.translateIndividualPointersToNodeSet(Iterable<IndividualExpression> pointers)

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

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

Modifier and Type	Method and Description
IndividualExpression	ExpressionManager.individual(String name) get named individual

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) get an individual be the DLTree; throw exception if unable
List<Individual>	ReasoningKernel.getRoleFillers(IndividualExpression I, ObjectRoleExpression R)
void	ReasoningKernel.getSameAs(IndividualExpression I, Actor actor) apply actor__apply() to all synonyms of an individual I
void	ReasoningKernel.getTypes(IndividualExpression I, boolean direct, Actor actor) apply actor__apply() to all DIRECT concepts that are types of an individual I
Axiom	ReasoningKernel.instanceOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, ConceptExpression C) axiom I e C
boolean	ReasoningKernel.isInstance(IndividualExpression I, ConceptExpression C)
boolean	ReasoningKernel.isRelated(IndividualExpression I, ObjectRoleExpression R, IndividualExpression J)
boolean	ReasoningKernel.isSameIndividuals(IndividualExpression I, IndividualExpression J)
ConceptExpression	ExpressionManager.oneOf(IndividualExpression I)
Axiom	ReasoningKernel.relatedTo(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, ObjectRoleExpression R, IndividualExpression J) axiom :R
Axiom	ReasoningKernel.relatedToNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, ObjectRoleExpression R, IndividualExpression J) axiom :\neg R
ConceptExpression	ExpressionManager.value(ObjectRoleExpression R, IndividualExpression I) get value restriction wrt an object role R and an individual I
Axiom	ReasoningKernel.valueOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, DataRoleExpression A, Literal<?> V) axiom (value I A V)
Axiom	ReasoningKernel.valueOfNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, DataRoleExpression A, Literal<?> V) axiom :\neg A

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

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

Modifier and Type	Method and Description
Collection<Collection<IndividualExpression>>	TaxonomyActor.getIndividualElements() get 2D array of all required elements of the taxonomy
Collection<IndividualExpression>	TaxonomyActor.getIndividualSynonyms()
Collection<IndividualExpression>	TaxonomyActor.getPlainIndividualElements()

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

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

Modifier and Type	Class and Description
class	IndividualName

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

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

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() access
IndividualExpression	AxiomRelatedTo.getRelatedIndividual() access

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)