Expressiveness of First-Order Description Logics