论文标题
在SQ本体上回答常规路径查询
Answering Regular Path Queries Over SQ Ontologies
论文作者
论文摘要
我们在描述逻辑$ \ MATHCAL {sq} $中研究查询答案，这些{sq} $支持及传递和非传播角色的合格数字限制。我们的主要贡献是$ \ Mathcal {sq} $知识库的类似树型的模型属性，并以此为基础，是一种基于最佳的自动机算法，用于在2Exptime中响应正常存在的常规路径查询。
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.
