Michael Zakharyaschev

Cited by

	All	Since 2016
Citations	10721	3533
h-index	53	30
i10-index	141	78

760

380

190

570

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202153 59 100 100 172 213 212 267 317 382 499 430 492 522 468 568 659 676 707 696 681 618 700 751 84

New!

Public access

View all

24 articles

1 article

available

not available

Based on funding mandates

Co-authors

Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonVerified email at dcs.bbk.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Stanislav KikotLondon Metropolitan UniversityVerified email at londonmet.ac.uk
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Guohui XiaoAssistant Professor of Computer Science, Free University of Bozen - BolzanoVerified email at inf.unibz.it
Vladimir PodolskiiSteklov mathematical InstituteVerified email at mi.ras.ru
Oliver KutzFree University of Bozen-BolzanoVerified email at unibz.it
Mariano Rodriguez MuroOntologist/Linguist at GoogleVerified email at google.com
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Elena BotoevaImperial College LondonVerified email at imperial.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Sebastian BrandtSchool of Computer Science, The University of ManchesterVerified email at cs.manchester.ac.uk
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk
David TomanProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca

Michael Zakharyaschev

Birkbeck, University of London

Verified email at dcs.bbk.ac.uk - Homepage

Computer Science Logic Knowledge Representation Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modal Logic A Chagrov, M Zakharyaschev Clarendon Press, Oxford, 1997	1468	1997
Many-dimensional modal logics: theory and applications DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev North Holland, 2003	804	2003
The DL-Lite family and relations A Artale, D Calvanese, R Kontchakov, M Zakharyaschev Journal of artificial intelligence research 36, 1-69, 2009	603	2009
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004	311	2004
Did I damage my ontology S Ghilardi, C Lutz, F Wolter Proc. of KR2006, 187-197, 2006	266	2006
Decidable fragments of first-order temporal logics I Hodkinson, F Wolter, M Zakharyaschev Annals of Pure and Applied logic 106 (1-3), 85-134, 2000	265	2000
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008	256	2008
Spatio-temporal representation and reasoning based on RCC-8 M Zakharyaschev, F Wolter Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2000	211	2000
Multi-dimensional modal logic as a framework for spatio-temporal reasoning B Bennett, AG Cohn, F Wolter, M Zakharyaschev Applied Intelligence 17 (3), 239-251, 2002	208	2002
Ontology-based data access: Ontop of databases M Rodriguez-Muro, R Kontchakov, M Zakharyaschev International Semantic Web Conference, 558-573, 2013	190	2013
The Combined Approach to Query Answering in DL-Lite. R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev KR 10, 247-257, 2010	185	2010
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev AAAI Press, 2011	164	2011
Temporalizing description logics F Wolter, M Zakharyaschev Frontiers of Combining Systems 2, 379-402, 1999	149	1999
Ontology-based data access: A survey G Xiao, D Calvanese, R Kontchakov, D Lembo, A Poggi, R Rosati, ... International Joint Conferences on Artificial Intelligence, 2018	143	2018
A logic-based ontology comparison and module extraction, with an application to DL-Lite R Kontchakov, F Wolter, M Zakharyaschev Artificial Intelligence 174 (15), 1093-1141, 2010	131	2010
Answering SPARQL queries over databases under OWL 2 QL entailment regime R Kontchakov, M Rezk, M Rodriguez-Muro, G Xiao, M Zakharyaschev International Semantic Web Conference, 552-567, 2014	128	2014
Reasoning over extended ER models A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev International Conference on Conceptual Modeling, 277-292, 2007	116	2007
Which kind of module should I extract? U Sattler, T Schneider, M Zakharyaschev Description Logics 477, 78, 2009	101	2009
Qualitative spatio-temporal representation and reasoning: a computational perspective F Wolter, M Zakharyaschev Exploring Artificial Intelligence in the New Millenium, 175-216, 2002	98	2002
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. R Kontchakov, L Pulina, U Sattler, T Schneider, P Selmer, F Wolter, ... IJCAI 9, 836-841, 2009	97	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors