Uses of Class
org.tweetyproject.logics.dl.syntax.Individual
-
Uses of Individual in org.tweetyproject.logics.dl.semantics
Modifier and TypeMethodDescriptionDlInterpretation.getConceptDomain
(ComplexConcept c) Returns the subset of the domain that belongs to the given concept (i.e.DlInterpretation.getRoleDomain
(AtomicRole r) Returns the subset of the domain that belongs to the given role (i.e.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
Modifier and TypeMethodDescriptionConceptAssertion.getIndividual()
DlSignature.getIndividual
(String s) Get the individual with the given name.Modifier and TypeMethodDescriptionDlSignature.getIndividuals()
Get the individuals of the signature.RoleAssertion.getIndividuals()
RoleAssertion.getIndividuals()
ModifierConstructorDescriptionInitializes a role assertion with the given atomic concept and Individual.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.ModifierConstructorDescriptionRoleAssertion
(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.