Marianna Nicolosi Asmundo

An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$ (Extended Version)

2018 · arXiv (Cornell University)

We present a \ke-based procedure for the main TBox and ABox reasoning tasks for the description logic $\dlssx$, in short $\shdlssx$. The logic $\shdlssx$, representable in the decidable multi-sorted quantified set-theoretic fragment $\flqsr$, combines the …