使用决策图和析取数据库的描述逻辑SHIQbs的基于类型消除的推理
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
摘要：
我们提出了一种新的，类型消除为基础的方法推理的描述逻辑SHIQBS包括DL安全的规则。为此，我们首先建立了一个知识编译方法转换成一个有序的二叉决策图（OBDD），它代表了一个典型的模型的ALCIb知识库的术语部分。这个OBDD可以反过来被转换成析取数据集，并与知识库的断言部分合并，以执行组合推理。为了充分利用我们的技术SHIQbs，我们提供了一个逐步减少从SHIQbs ALCIb，保持可满足性和蕴涵的积极和消极的地面事实。所提出的技术被证明是最坏情况下的最优w.r.t.组合和数据复杂性，并容易承认扩展与地面合取查询。
英文摘要：
We propose a novel, type-elimination-based method for reasoning in the description logic SHIQbs including DL-safe rules. To this end, we first establish a knowledge compilation method converting the terminological part of an ALCIb knowledge base into an ordered binary decision diagram (OBDD) which represents a canonical model. This OBDD can in turn be transformed into disjunctive Datalog and merged with the assertional part of the knowledge base in order to perform combined reasoning. In order to leverage our technique for full SHIQbs, we provide a stepwise reduction from SHIQbs to ALCIb that preserves satisfiability and entailment of positive and negative ground facts. The proposed technique is shown to be worst case optimal w.r.t. combined and data complexity and easily admits extensions with ground conjunctive queries.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
