Tractable Reasoning in Description Logics with Functionality Constraints

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]

Authors

Andrea Calì

This author has not been identified. Look up 'Andrea Calì' in Google

Georg Gottlob

This author has not been identified. Look up 'Georg Gottlob' in Google

Andreas Pieris

This author has not been identified. Look up 'Andreas Pieris' in Google