Selmer, Petra

1 publications

IJCAI 2009 Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev