Uses of Class
org.tweetyproject.logics.dl.syntax.Individual

Packages that use Individual

Package	Description
org.tweetyproject.logics.dl.semantics
org.tweetyproject.logics.dl.syntax

Uses of Individual in org.tweetyproject.logics.dl.semantics

Methods in org.tweetyproject.logics.dl.semantics that return types with arguments of type Individual

Modifier and Type	Method	Description
Set<Individual>	DlInterpretation.getConceptDomain(ComplexConcept c)	Returns the subset of the domain that belongs to the given concept (i.e.
Set<Pair<Individual,Individual>>	DlInterpretation.getRoleDomain(AtomicRole r)	Returns the subset of the domain that belongs to the given role (i.e.
Set<Pair<Individual,Individual>>	DlInterpretation.getRoleDomain(AtomicRole r)	Returns the subset of the domain that belongs to the given role (i.e.

Uses of Individual in org.tweetyproject.logics.dl.syntax

Methods in org.tweetyproject.logics.dl.syntax that return Individual

Modifier and Type	Method	Description
Individual	ConceptAssertion.getIndividual()	Returns the individual involved in this concept assertion.
Individual	DlSignature.getIndividual(String s)	Get the individual with the given name.

Methods in org.tweetyproject.logics.dl.syntax that return types with arguments of type Individual

Modifier and Type	Method	Description
Set<Individual>	DlSignature.getIndividuals()	Get the individuals of the signature.
Pair<Individual,Individual>	RoleAssertion.getIndividuals()	Return the individuals of this assertional axiom
Pair<Individual,Individual>	RoleAssertion.getIndividuals()	Return the individuals of this assertional axiom

Constructors in org.tweetyproject.logics.dl.syntax with parameters of type Individual

Modifier	Constructor	Description
	ConceptAssertion(Individual i, AtomicConcept c)	Initializes a role assertion with the given atomic concept and Individual.
	ConceptAssertion(Individual i, ComplexConcept c)	Initializes a role assertion with the given concept and Individual.
	RoleAssertion(Individual a, Individual b, AtomicRole r)	Initializes a role assertion with the given individuals and role.

Constructor parameters in org.tweetyproject.logics.dl.syntax with type arguments of type Individual

Modifier	Constructor	Description
	RoleAssertion(List<Individual> args, AtomicRole r)	Initializes a role assertion with the given individuals and role.
	RoleAssertion(Pair<Individual,Individual> args, AtomicRole r)	Initializes a role assertion with the given role and individuals.
	RoleAssertion(Pair<Individual,Individual> args, AtomicRole r)	Initializes a role assertion with the given role and individuals.