On Decidability and Complexity of Description Logics with Uniqueness Constraints.

Vitaliy L. Khizder, David Toman, Grant E. Weddell

Browse the full ICDT paper archive.