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.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
Individual(String name)
Individual(Constant other)

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)

Individual

public Individual(Constant other)