Uses of Class net.sf.tweety.logics.dl.syntax.Individual

Packages that use Individual
Package Description

net.sf.tweety.logics.dl.semantics

net.sf.tweety.logics.dl.syntax

Uses of Individual in net.sf.tweety.logics.dl.semantics

Methods in net.sf.tweety.logics.dl.semantics that return types with arguments of type Individual
Modifier and Type	Method	Description
`java.util.Set<Individual>`	DlInterpretation.`getConceptDomain(ComplexConcept c)`	Returns the subset of the domain that belongs to the given concept (the extension of the concept).
`java.util.Set<Pair<Individual,Individual>>`	DlInterpretation.`getRoleDomain(AtomicRole r)`	Returns the subset of the domain that belongs to the given role (the extension of the role).
`java.util.Set<Pair<Individual,Individual>>`	DlInterpretation.`getRoleDomain(AtomicRole r)`	Returns the subset of the domain that belongs to the given role (the extension of the role).

Uses of Individual in net.sf.tweety.logics.dl.syntax

Methods in net.sf.tweety.logics.dl.syntax that return Individual
Modifier and Type	Method	Description
`Individual`	ConceptAssertion.`getIndividual()`	Get the individual of this assertional axiom (= the individual that is an instance of this axiom's concept)
`Individual`	DlSignature.`getIndividual(java.lang.String s)`	Get the individual with the given name.

Methods in net.sf.tweety.logics.dl.syntax that return types with arguments of type Individual
Modifier and Type	Method	Description
`java.util.Set<Individual>`	DlSignature.`getIndividuals()`	Get the individuals of the signature.
`Pair<Individual,Individual>`	RoleAssertion.`getIndividuals()`	Get the individuals of this assertional axiom (= the individuals that are instances of the role)
`Pair<Individual,Individual>`	RoleAssertion.`getIndividuals()`	Get the individuals of this assertional axiom (= the individuals that are instances of the role)

Constructors in net.sf.tweety.logics.dl.syntax with parameters of type Individual
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 net.sf.tweety.logics.dl.syntax with type arguments of type Individual
Constructor	Description
`RoleAssertion(java.util.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.