Ludwig, Michel

2 publications

JAIR 2012 The Logical Difference for the Lightweight Description Logic EL Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter

AAAI 2011 Conjunctive Query Inseparability of OWL 2 QL TBoxes Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev