Martel, Mauricio

2 publications

JAIR 2020 Conservative Extensions in Horn Description Logics with Inverse Roles Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

IJCAI 2017 Query Conservative Extensions in Horn Description Logics with Inverse Roles Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider