Towards Ontology-Mediated Planning with OWL DL Ontologies

Tobias John, Patrick Koopmann

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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 languageEnglish
Title of host publicationDL 2023 Description Logistics 2023
Subtitle of host publicationProceedings 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
EditorsOliver Kutz, Carsten Lutz, Ana Ozaki
PublisherCEUR-WS.org
Pages1-14
Number of pages14
Publication statusPublished - 2023
Event36th International Workshop on Description Logics, DL 2023 - Rhodes, Greece
Duration: 2 Sept 20234 Sept 2023

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR Workshop Proceedings
Volume3515
ISSN (Print)1613-0073

Conference

Conference36th International Workshop on Description Logics, DL 2023
Country/TerritoryGreece
CityRhodes
Period2/09/234/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

Fingerprint

Dive into the research topics of 'Towards Ontology-Mediated Planning with OWL DL Ontologies'. Together they form a unique fingerprint.

Cite this