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]

@inproceedings{CaliGP13,
  title = {Tractable Reasoning in Description Logics with Functionality Constraints},
  author = {Andrea Calì and Georg Gottlob and Andreas Pieris},
  year = {2013},
  doi = {10.1007/978-3-642-41660-6_8},
  url = {http://dx.doi.org/10.1007/978-3-642-41660-6_8},
  researchr = {https://researchr.org/publication/CaliGP13},
  cites = {0},
  citedby = {0},
  pages = {174-192},
  booktitle = {In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman},
  editor = {Val Tannen and Limsoon Wong and Leonid Libkin and Wenfei Fan and Wang Chiew Tan and Michael P. Fourman},
  volume = {8000},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-41659-0},
}