main webpage W Topic Theoretical Computer Science arXiv (Cornell University) A \textsf{C++} reasoner for the description logic $\shdlssx$. 2017 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 (… Article Open Theoretical Computer Science Open Article Page

Theoretical Computer Science

Subfield of computer science and mathematics Theoretical computer science ( TCS ) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, formal language theory, the lambda calculus and type theory. It is difficult to circumscribe the theoretical areas precisely. Critical Symbolic Virtual Narrative Open Theoretical Computer Science Open Article Page

Exploring foci of: arXiv (Cornell University) A \textsf{C++} reasoner for the description logic $\shdlssx$. 2017 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 descripti… Open Article Page

Click Theoretical Computer Science Vs: Computer Science Programming Language Discrete Mathematics Mathematics Artificial Intelligence Semantic Web Open Article Page

Explore Theoretical Computer Science W Topic Theoretical Computer Science arXiv (Cornell University) A \textsf{C++} reasoner for the description logic $\shdlssx$. 2017 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 (… Article Critical Symbolic Virtual Narrative Open Theoretical Computer Science Open Article Page