We study query answering in the description logic $\mathcal{SQ}$ supporting qualified number restrictions on both transitive and non-transitive roles. Our main contributions are a tree-like model property for $\mathcal{SQ}$ knowledge bases and, building upon this, an optimal automata-based algorithm for answering positive existential regular path queries in 2ExpTime.

中文翻译：

---

在 SQ 本体上回答常规路径查询

我们研究了描述逻辑 $\mathcal{SQ}$ 中的查询回答，支持对传递和非传递角色的限定数限制。我们的主要贡献是 $\mathcal{SQ}$ 知识库的树状模型属性，并在此基础上构建了一种基于自动机的最佳算法，用于在 2ExpTime 中回答正存在正则路径查询。