Efficient Answer Enumeration in Description Logics with Functional Roles

Lutz and Przybylko. "Efficient Answer Enumeration in Description Logics with Functional Roles." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I5.25797

[Lutz and Przybylko. "Efficient Answer Enumeration in Description Logics with Functional Roles." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/lutz2023aaai-efficient/) doi:10.1609/AAAI.V37I5.25797

@inproceedings{lutz2023aaai-efficient,
  title     = {{Efficient Answer Enumeration in Description Logics with Functional Roles}},
  author    = {Lutz, Carsten and Przybylko, Marcin},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {6483-6490},
  doi       = {10.1609/AAAI.V37I5.25797},
  url       = {https://mlanthology.org/aaai/2023/lutz2023aaai-efficient/}
}