Description Logics for Databases