论文标题
喇叭说明逻辑本体论的表达能力（技术报告）
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
论文作者
论文摘要
AI规划中的国家限制在全球范围内限制了法律环境国家。标准规划语言是封闭域和封闭世界的假设。在这里，我们解决了通过规划对描述逻辑（DL）本体的规划正式形式化的开放世界状态约束。以前，已经研究了DL和计划的这种组合，用于轻质DL DL-Lite。在这里，我们提出了一个新型的汇编方案，该方案具有带有衍生谓词的标准PDDL，该方案适用于更具表现力的DLS，并基于DL查询以分层的否定为数据ALOG的重写。我们还为DL Horn-Alchoiq提供了新的可重写结果，这使我们能够将汇编方案应用于表达性的本体。相比之下，我们表明，在轻微的延伸角中，除非弱指数层次结构崩溃，否则这种汇编是不可能的。最后，我们表明我们的方法可以在现有基准上胜过DL本体学计划的现有基准，并且利用更有表现力的本体论优势在新的基准测试中是可行的。这是在AAAI 22接受的论文的扩展版。
State constraints in AI Planning globally restrict the legal environment states. Standard planning languages make closed-domain and closed-world assumptions. Here we address open-world state constraints formalized by planning over a description logic (DL) ontology. Previously, this combination of DL and planning has been investigated for the light-weight DL DL-Lite. Here we propose a novel compilation scheme into standard PDDL with derived predicates, which applies to more expressive DLs and is based on the rewritability of DL queries into Datalog with stratified negation. We also provide a new rewritability result for the DL Horn-ALCHOIQ, which allows us to apply our compilation scheme to quite expressive ontologies. In contrast, we show that in the slight extension Horn-SROIQ no such compilation is possible unless the weak exponential hierarchy collapses. Finally, we show that our approach can outperform previous work on existing benchmarks for planning with DL ontologies, and is feasible on new benchmarks taking advantage of more expressive ontologies. That is an extended version of a paper accepted at AAAI 22.
