RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality

Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli. RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. In Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro, editors, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. Volume 1949 of CEUR Workshop Proceedings, pages 306-320, 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