Query Answering in Lattice-based Description Logic
Logic in Computer Science
2025-06-09 v2
Abstract
Recently, the description logic LE-ALC was introduced for reasoning in the semantic environment of the enriched formal contexts, and a tableaux algorithm was developed for checking the consistency of ABoxes in this logic. In this paper, we study the ontology-mediated query answering in LE-ALC . In particular, we show that several different types of queries can be answered efficiently for LE-ALC knowledge bases with acyclic TBoxes using our tableaux algorithm directly or by extending it with some additional rules.
Cite
@article{arxiv.2409.02289,
title = {Query Answering in Lattice-based Description Logic},
author = {Krishna Manoorkar and Ruoding Wang},
journal= {arXiv preprint arXiv:2409.02289},
year = {2025}
}
Comments
In Proceedings LSFA 2024, arXiv:2506.05219