Recently, the description logic LE-$\mathcal{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 \cite{van2023non}. In this paper, we study the ontology-mediated query answering in LE-$\mathcal{ALC}$. In particular, we show that several different types of queries can be answered efficiently for LE-$\mathcal{ALC}$ knowledge bases with acyclic TBoxes using our tableaux algorithm directly or by extending it with some additional rules.

翻译：最近，描述逻辑LE-$\mathcal{ALC}$被引入用于在丰富形式背景的语义环境中进行推理，并且已为该逻辑开发了一种用于检查ABox一致性的Tableaux算法\cite{van2023non}。在本文中，我们研究了LE-$\mathcal{ALC}$中的本体介导的查询应答。具体而言，我们证明了对于具有非循环TBox的LE-$\mathcal{ALC}$知识库，通过直接使用我们的Tableaux算法或通过扩展一些附加规则，可以高效地回答几种不同类型的查询。