On Keys and Functional Dependencies as First-Class Citizens in Description Logics