Package org.tweetyproject.logics.dl.syntax

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:

• Constant
• ConceptAssertion
• RoleAssertion

Constructor Summary

Constructors

Constructor	Description
Individual(String name)	Constructs a new individual with the given name.
Individual(Constant other)	Constructs a new individual by copying another constant.

Method Summary

Methods inherited from class org.tweetyproject.logics.commons.syntax.Constant

clone, set

Methods inherited from class org.tweetyproject.logics.commons.syntax.StringTerm

get, toString

Methods inherited from class org.tweetyproject.logics.commons.syntax.TermAdapter

containsTermsOfType, equals, getSort, getTerms, getTerms, hashCode, substitute

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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