Abstract
While classical planning languages make the closed-domain and closed-world assumption, there have been various approaches to extend those with DL reasoning, which is then interpreted under the usual open-world semantics. Current approaches for planning with DL ontologies integrate the DL directly into the planning language, and practical approaches have been developed based on first-order rewritings or rewritings into datalog. We present here a new approach in which the planning specification and ontology are kept separate, and are linked together using an interface. This allows planning experts to work in a familiar formalism, while existing ontologies can be easily integrated and extended by ontology experts. Our approach for planning with those ontology-mediated planning problems is optimized for cases with comparatively small domains, and supports the whole OWL DL fragment. The idea is to rewrite the ontology-mediated planning problem into a classical planning problem to be processed by existing planning tools. Different to other approaches, our rewriting is data-dependent. A first experimental evaluation of our approach shows the potential and limitations of this approach.
Original language | English |
---|---|
Title of host publication | DL 2023 Description Logistics 2023 |
Subtitle of host publication | Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). Rhodes, Greece, September 2-4, 2023 |
Editors | Oliver Kutz, Carsten Lutz, Ana Ozaki |
Publisher | CEUR-WS.org |
Pages | 1-14 |
Number of pages | 14 |
Publication status | Published - 2023 |
Event | 36th International Workshop on Description Logics, DL 2023 - Rhodes, Greece Duration: 2 Sept 2023 → 4 Sept 2023 |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
Publisher | CEUR Workshop Proceedings |
Volume | 3515 |
ISSN (Print) | 1613-0073 |
Conference
Conference | 36th International Workshop on Description Logics, DL 2023 |
---|---|
Country/Territory | Greece |
City | Rhodes |
Period | 2/09/23 → 4/09/23 |
Bibliographical note
Funding Information:Tobias John is part of the project REMARO that has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 956200. Patrick Koopmann is supported by the German Research Foundation (DFG), grant 389792660 as part of TRR 248 - CPEC.
Funding Information:
Tobias John is part of the project REMARO that has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 956200. Patrick Koopmann is supported by the German Research Foundation (DFG), grant 389792660 as part of TRR 248 – CPEC.
Publisher Copyright:
© 2023 CEUR-WS. All rights reserved.
Funding
Tobias John is part of the project REMARO that has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 956200. Patrick Koopmann is supported by the German Research Foundation (DFG), grant 389792660 as part of TRR 248 - CPEC. Tobias John is part of the project REMARO that has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 956200. Patrick Koopmann is supported by the German Research Foundation (DFG), grant 389792660 as part of TRR 248 – CPEC.
Keywords
- Description Logics
- OWL Ontologies
- Planning