Class UniversalRestriction

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

public class UniversalRestriction extends ComplexConcept
This class models an universal restriction in description logics, i.e. an expression of the form "forall R.C" for a role R and a Concept C.
Author:
Anna Gessler