Package net.sf.tweety.logics.dl.syntax
Class Individual
- java.lang.Object
-
- net.sf.tweety.logics.commons.syntax.TermAdapter<java.lang.String>
-
- net.sf.tweety.logics.commons.syntax.StringTerm
-
- net.sf.tweety.logics.commons.syntax.Constant
-
- net.sf.tweety.logics.dl.syntax.Individual
-
- All Implemented Interfaces:
LogicStructure
,Term<java.lang.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(java.lang.String name)
Individual(Constant other)
-
Method Summary
-
Methods inherited from class net.sf.tweety.logics.commons.syntax.StringTerm
get, toString
-
Methods inherited from class net.sf.tweety.logics.commons.syntax.TermAdapter
containsTermsOfType, equals, getSort, getTerms, getTerms, hashCode, substitute
-
-
-
-
Constructor Detail
-
Individual
public Individual(java.lang.String name)
-
Individual
public Individual(Constant other)
-
-