Class Complement

java.lang.Object
org.tweetyproject.logics.dl.syntax.ComplexConcept
org.tweetyproject.logics.dl.syntax.Complement
All Implemented Interfaces:
Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class Complement extends ComplexConcept
This class models the complement (negation) in description logics.
Author:
Anna Gessler
See Also: