 Description logic role

A binary relation on individuals used by description logic restrictions such as $\exists R.C$ and $\forall R.C$.