Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

We address the problem of Conjunctive Query Answering (CQA) for the description logic $\dlssx$ ($\shdlssx$, for short) which extends the logic $\dlss$ with Boolean operations on co…