Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. Keys, Nominals, and Concrete Domains.
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2005, The Journal of Artificial Intelligence Research, 23, pp.667--726.
⟨inria-00000294⟩