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

David Toman, Grant E. Weddell

Browse the full CADE paper archive.