TY - JOUR AU - Gutiérrez-Basulto, Víctor AU - Ibáñez-García, Yazmín AU - Jung, Jean Christoph PY - 2018/04/25 Y2 - 2024/03/29 TI - Answering Regular Path Queries over SQ Ontologies JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 32 IS - 1 SE - AAAI Technical Track: Knowledge Representation and Reasoning DO - 10.1609/aaai.v32i1.11539 UR - https://ojs.aaai.org/index.php/AAAI/article/view/11539 SP - AB - <p> We study query answering in the description logic SQ supporting qualified number restrictions on both transitive and non-transitive roles. Our main contributions are a tree-like model property for SQ-knowledge bases and, building upon this, an optimal automata-based algorithm for answering positive existential regular path queries in 2EXPTIME. </p> ER -