dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael Zakharyaschev (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Sattler, Thomas Schneider, Michael Zakharyaschev: Which Kind of Module Should I Extract? Description Logics 2009
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841

Selection of 4 from 121 records - Michael Zakharyaschev has 43 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page