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.

本文通过基于 DL 本体的规划来解决开放世界状态约束，并提出了一种新的编译方案，即基于 DL 查询重写为具有分层否定的 Datalog 的标准 PDDL，以应对更具表现力的 DL，同时还证明了我们的方法可以优于以前的 DL 本体规划工作。

基于 Horn 描述逻辑本体的规划表达能力（技术报告）

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)

So-called combined approaches answer a conjunctive query over a description
logic ontology in three steps: first, they materialise certain consequences of
the ontology and the data; second, they evaluate the query over the data; and
third, they filter the result of the second phase to eliminate unsound answers.
Such approaches were developed for various members of the DL-Lite and the EL
families of languages, but none of them can handle ontologies containing
nominals. In our work, we bridge this gap and present a combined query
answering approach for ELHO---a logic that contains all features of the OWL 2
EL standard apart from transitive roles and complex role inclusions. This
extension is nontrivial because nominals require equality reasoning, which
introduces complexity into the first and the third step. Our empirical
evaluation suggests that our technique is suitable for practical application,
and so it provides a practical basis for conjunctive query answering in a large
fragment of OWL 2 EL.

提出了一种用于 OWL 2 EL 子集内的联合查询应答的方法，该方法是基于一种称为 combined approaches 的方法实现的，该方法包括材料化本体和数据的某些后果、在数据上评估查询以及过滤第二阶段的结果以消除不合理的答案。该方法有助于在 OWL 2 EL 大片段中进行联合查询应答。