Yevgeny Kazakov

Cited by

	All	Since 2020
Citations	3657	742
h-index	30	13
i10-index	41	20

360

180

270

2006200720082009201020112012201320142015201620172018201920202021202220232024202511 78 163 175 199 215 260 320 346 273 240 208 189 175 188 125 183 120 116 10

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Verified email at cs.ox.ac.uk
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Markus KrötzschTechnische Universität DresdenVerified email at tu-dresden.de
Birte GlimmProf. of Computer Science, University of UlmVerified email at uni-ulm.de
Pavel KlinovSenior Research Engineer, Complexible IncVerified email at complexible.com
Boris MotikProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Trung-Kien TranLead Scientist at Bosch Center for AI (BCAI)Verified email at de.bosch.com
Hans de NivelleNazarbayev University, Astana, KazakhstanVerified email at nu.edu.kz
Ilianna KolliaNational Technical University of Athens,IBMVerified email at mail.ntua.gr
Giorgos StamouProfessor of Computer Science, National Technical University of AthensVerified email at cs.ntua.gr
Despoina MagkaUniversity of Oxford, Department of Computer ScienceVerified email at cs.ox.ac.uk
Evgeny Zolin (Евгений Золин)Lomonosov Moscow State UniversityVerified email at lpcs.math.msu.su
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Vincent DelaitrePhD student, Ecole Normale Supérieure, Paris, FranceVerified email at ens.fr

Yevgeny Kazakov

University of Ulm

Verified email at uni-ulm.de - Homepage

Artificial Intelligence Automated Reasoning Ontologies Semantic Web


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modular reuse of ontologies: Theory and practice BC Grau, I Horrocks, Y Kazakov, U Sattler Journal of Artificial Intelligence Research 31, 273-318, 2008	561	2008
The Incredible ELK Y Kazakov, M Krötzsch, F Simančík Journal of Automated Reasoning 53 (1), 1-61, 2014	380	2014
Just the right amount: extracting modules from ontologies BC Grau, I Horrocks, Y Kazakov, U Sattler Proceedings of the 16th international conference on World Wide Web, 717-726, 2007	328	2007
Consequence-driven reasoning for Horn SHIQ ontologies Y Kazakov Proc. of IJCAI-09, 2040-2045, 2009	260*	2009
RIQ and SROIQ are Harder than SHOIQ Y Kazakov	244	2008
A logical framework for modularity of ontologies. B Cuenca Grau	228	2007
Concurrent Classification of EL Ontologies Y Kazakov, M Krötzsch, F Simančík The Semantic Web–ISWC 2011, 305-320, 2011	211	2011
Consequence-based reasoning beyond Horn ontologies F Simancík, Y Kazakov, I Horrocks Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011 …, 2011	127*	2011
ELK reasoner: architecture and evaluation. Y Kazakov, M Krötzsch, F Simancik ORE, 2012	112	2012
Extracting modules from ontologies: A logic-based approach B Cuenca Grau, I Horrocks, Y Kazakov, U Sattler Modular Ontologies, 159-186, 2009	90	2009
History matters: Incremental ontology reasoning using modules B Cuenca Grau, C Halaschek-Wiener, Y Kazakov International Semantic Web Conference, 183-196, 2007	89	2007
A Resolution-Based Decision Procedure for SHOIQ Y Kazakov, B Motik Journal of Automated Reasoning 40 (4), 357-357, 2008	84*	2008
Practical reasoning with nominals in the EL family of description logics Y Kazakov, M Krötzsch, F Simancik Thirteenth International Conference on the Principles of Knowledge …, 2012	66	2012
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment Y Kazakov	66	2006
Incremental classification of description logics ontologies B Cuenca Grau, C Halaschek-Wiener, Y Kazakov, B Suntisrivaraporn Journal of Automated Reasoning 44 (4), 337-369, 2010	61	2010
OWL reasoner evaluation (ORE) workshop 2013 results RS Gonçalves, S Bail, E Jiménez-Ruiz, N Matentzoglu, B Parsia, B Glimm, ... ORE, 1-18, 2013	48	2013
Tractable Extensions of the Description Logic EL with Numerical Datatypes D Magka, Y Kazakov, I Horrocks Automated Reasoning, 61-75, 2010	48	2010
Towards Reusable Explanation Services in Protege. Y Kazakov, P Klinov, A Stupnikov Description Logics, 2017	42	2017
Incremental Reasoning in OWL EL without Bookkeeping Y Kazakov, P Klinov The Semantic Web–ISWC 2013, 232-247, 2013	39	2013
How many legs do I have? Non-simple roles in number restrictions revisited Y Kazakov, U Sattler, E Zolin Logic for Programming, Artificial Intelligence, and Reasoning, 303-317, 2007	37	2007

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

Follow

Cited by

Co-authors