KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by
  1. Magdalena Ortiz
  2. Renata Wassermann
  3. Torsten Schaub

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

Solving Unification in the Description Logic FL_bottom

  1. Barbara Morawska(University of Opole)
  2. Dariusz Marzec(University of Opole)
PDF
BibTeX
https://doi.org/10.24963/kr.2025/46

Keywords

  1. Unification
  2. Description Logic FL_bottom
  3. Algorithm
  4. ExpTime Complexity

Abstract

We present an algorithm for solving the unification

problem in the description logic FL_bottom. This logic

extends FL_0 with the bottom constructor and thus supports

conjunction, value restrictions, top and bottom.

Unification of concepts may become a useful tool for

ontology maintenance; however, little is known about

unification even in small, restricted description logics.

The unification problem has been solved only for FL_0 and

EL.

This paper contributes to the ongoing effort to extend

these results to richer logics.

Our algorithm runs in exponential time with respect to the

size of the problem.