main webpage W Topic Programming Language 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 Programming Language Open Article Page

Programming Language

Language for communicating instructions to a machine A programming language is a system of notation for writing computer programs. A programming language is usually described in terms of its syntax (form) and semantics (meaning). These are usually defined by a formal language. A language usually has at least one implementation in the form of a compiler or interpreter, allowing programs written in the language to be executed. Programming language theory is the subfield of computer science that studies the design, implementation, analysis, characterization, and classification of programming languages. … Critical Symbolic Virtual Narrative Open Programming Language 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 Programming Language Vs: Computer Science Theoretical Computer Science Discrete Mathematics Mathematics Artificial Intelligence Semantic Web Open Article Page

Explore Programming Language W Topic Programming Language 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 Programming Language Open Article Page