Class Individual

java.lang.Object
org.tweetyproject.logics.commons.syntax.TermAdapter<String>
org.tweetyproject.logics.commons.syntax.StringTerm
org.tweetyproject.logics.commons.syntax.Constant
org.tweetyproject.logics.dl.syntax.Individual
All Implemented Interfaces:
LogicStructure, Term<String>
public class Individual extends Constant
This class models an individual in description logic, also known as an object. Individuals correspond to constants in first-order logic.

Individuals are used to represent specific entities or objects in the domain of discourse. In description logic, individuals are treated as constants with fixed interpretations.

Author:
Anna Gessler
See Also:

  • Constructor Details

    • Individual

      public Individual(String name)
      Constructs a new individual with the given name.
      Parameters:
      name - the name of the individual

    • Individual

      public Individual(Constant other)
      Constructs a new individual by copying another constant.
      Parameters:
      other - the constant to copy