An Efficient Reasoner for Description Logics of Typicality and Rational Closure

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]

Authors

Laura Giordano 0001

This author has not been identified. Look up 'Laura Giordano 0001' in Google

Valentina Gliozzi

This author has not been identified. Look up 'Valentina Gliozzi' in Google

Gian Luca Pozzato

This author has not been identified. Look up 'Gian Luca Pozzato' in Google

Riccardo Renzulli

This author has not been identified. Look up 'Riccardo Renzulli' in Google