Key points are not available for this paper at this time.
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 van2023non. 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.
Manoorkar et al. (Tue,) studied this question.