A \textsf{C++} reasoner for the description logic \(\shdlssx\)

Abstract

We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic \(\dlssx\) (shortly \(\shdlssx\)). The reasoner checks the consistency of \(\shdlssx\)-knowledge bases (KBs) represented in set-theoretic terms. It is implemented in \textsf{C++} and supports \(\shdlssx\)-KBs serialized in the OWL/XML format.To the best of our knowledge, this is the first attempt to implement a reasoner for the consistency checking of a description logic represented via a fragment of set theory that can also classify standard OWL ontologies.