complexity, decidability, Description Logics, fragments of first-order logic, modal logic, The guarded fragment, The two-variable fragment.
