KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by
  1. Pierre Marquis,
  2. Magdalena Ortiz
  3. Maurice Pagnucco

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

Description Logics with Abstraction and Refinement: From ALC to EL

  1. Carsten Lutz(Leipzig University)
  2. Lukas Schulze(Leipzig University, Center for Scalable Data Analytics and Artificial Intelligence)
PDF
BibTeX
https://doi.org/10.24963/kr.2024/51

Keywords

  1. Description logics-General
  2. Knowledge representation languages-General

Abstract

We study extensions of description logics from the widely used EL family with operators that make it possible to speak about different levels of abstraction. We analyze the computational complexity of reasoning and show that often, this complexity is significantly lower than in the corresponding extension of the more expressive description logic ALC. By slightly varying the semantics, we also obtain a case that admits reasoning in polynomial time.