A set-theoretical approach for ABox reasoning services (Extended Version)

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

In this paper we consider the most common ABox reasoning services for the description logic $\mathcal{D}\mathcal{L}⟨4LQ{\mathsf{S}}^{\mathsf{R},\times }⟩(\mathbf{D})$ ($\mathcal{DL}_{\mat…