Design of the Tableau Reasoner TGC2 for Description Logics
Design of the Tableau Reasoner TGC2 for Description Logics is a scholarly work, published in 2016 in ''International Journal of Software Engineering and Knowledge Engineering''. The main subjects of the publication include EXPTIME, Web Ontology Language, Semantic Web, theoretical computer science, ontology language, programming language, stream processing, ontology, software engineering, World Wide Web, semantic reasoner, computer science, description logic, information retrieval, and debugging. The authors present the design of the authors' new reasoner TGC2, which uses tableaux with global caching for reasoning in E xpTime-complete DLs.