Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Expressivity of Planning with Horn Description Logic Ontologies
  (Technical Report)   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.

20
The categories of this paper are: acc-phys
27
The categories of this paper are: comp-gas
2
The categories of this paper are: math
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics