Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli. An Efficient Reasoner for Description Logics of Typicality and Rational Closure. In Alessandro Artale, Birte Glimm, Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]