Andrea Calì, Georg Gottlob, Andreas Pieris. Tractable Reasoning in Description Logics with Functionality Constraints. In Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang Chiew Tan, Michael P. Fourman, editors, In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Volume 8000 of Lecture Notes in Computer Science, pages 174-192, Springer, 2013. [doi]
Abstract is missing.