Requirements for representation, First-Order Logic, Description Logics