Query Answering in the Description Logic Horn-SHIQ ⋆
Query Answering in the Description Logic Horn-SHIQ ⋆
复制标题
描述逻辑中的查询应答 Horn-SHIQ ⋆
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
M. Šimkus
中科院分区：
文献类型：
--
作者：
Thomas Eiter;G. Gottlob;Magdalena Ortiz;M. Šimkus
我们提供了一个ExpTime算法来回答Horn-SHIQ中的连接查询（cq）， Horn-SHIQ是著名的描述逻辑SHIQ的Horn片段，底层是OWL-Lite标准。该算法采用多米诺骨牌系统进行模型表示，该模型通过Horn-SHIQ的最坏情况最优表算法构建；通过对domino系统的推理来回答查询。我们的算法不仅表明Horn-SHIQ中的CQ回答并不比可满足性测试更难，而且在数据复杂度上是多项式的，使Horn-SHIQ成为一种有吸引力的表达性描述逻辑。
We provide an ExpTime algorithm for answering conjunctive queries (CQs) in Horn-SHIQ, a Horn fragment of the well-known Description Logic SHIQ underlying the OWL-Lite standard. The algorithm employs a domino system for model representation, which is constructed via a worst-case optimal tableau algorithm for Horn-SHIQ; the queries are answered by reasoning over the domino system. Our algorithm not only shows that CQ answering in Horn-SHIQ is not harder than satisfiability testing, but also that it is polynomial in data complexity, making Horn-SHIQ an attractive expressive Description Logic.
影响因子：
5
作者：
Glimm, Birte;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike