DLR Syntax

$$\begin{eqnarray*} <entity> & := & <entity-name> \vert not <entity> \vert ... ...vert or <relation>+ \vert \\ && select <role-name> <entity> \end{eqnarray*}$$