Class AtomicConcept

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

public class AtomicConcept extends ComplexConcept
This class models an atomic concept (aka concept name) in description logics.
Note: Concept assertions like a:C ("the Individual a is in the extension of the Concept C") are modeled with a different class: ConceptAssertion.
Author:
Anna Gessler