Class AtomicRole

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

public class AtomicRole extends ComplexConcept
This class models a role in description logics.
Note: Role assertions like (a,b):r ("the Individuals a,b are in the extension of the role r") are modeled with a different class: ConceptAssertion.
Author:
Anna Gessler