Efficient Answer Enumeration in Description Logics with Functional Roles

Carsten Lutz, Marcin Przybylko. Efficient Answer Enumeration in Description Logics with Functional Roles. In Brian Williams 0001, Yiling Chen 0001, Jennifer Neville, editors, Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023. pages 6483-6490, AAAI Press, 2023. [doi]

@inproceedings{LutzP23,
  title = {Efficient Answer Enumeration in Description Logics with Functional Roles},
  author = {Carsten Lutz and Marcin Przybylko},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/25797},
  researchr = {https://researchr.org/publication/LutzP23},
  cites = {0},
  citedby = {0},
  pages = {6483-6490},
  booktitle = {Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023},
  editor = {Brian Williams 0001 and Yiling Chen 0001 and Jennifer Neville},
  publisher = {AAAI Press},
  isbn = {978-1-57735-880-0},
}