C Lutz, M Przybyłko - Proceedings of the AAAI Conference on Artificial …, 2023 - ojs.aaai.org
We study the enumeration of answers to ontology-mediated queries when the ontology is
formulated in a description logic that supports functional roles and the query is a CQ. In …