The description logic community uses different terminology than the first-order predicate logic community for operationally equivalent notions; some examples are given below.
Some canonical DLs that do not exactly fit this convention are:.