Michael Zakharyaschev

Ontology-Based Data Access: A Survey

Guohui Xiao, Diego Calvanese, Roman Kontchakov et al. · 2018 · 315 citations · Full text

Computing, Computer Science, Information Technology +17

Temporal Description Logics: A Survey

Carsten Lutz, Frank Wolter, Michael Zakharyaschev · 2008 · 216 citations

Computing, Computer Science, Algorithms +16

Exploring Artificial Intelligence in the New Millenium

Frank Wolter, Michael Zakharyaschev · Research Portal (King's College London) · 2002 · 205 citations

Computing, Computer Science, Artificial Intelligence +6

-connections of abstract description systems

Oliver Kutz, Carsten Lutz, Frank Wolter et al. · Artificial Intelligence · 2004 · 203 citations

Computing, Computer Science, Systems Architecture +2

Decidable fragments of first-order temporal logics

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev · Annals of Pure and Applied Logic · 2000 · 198 citations

Humanities, Computer Science, Mathematics +11