Yevgeny Kazakov

Cited by

	All	Since 2019
Citations	3603	874
h-index	29	14
i10-index	41	25

360

180

270

200620072008200920102011201220132014201520162017201820192020202120222023202411 78 162 174 200 212 259 321 341 271 239 209 190 176 187 125 182 122 82

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	554	2008
The Incredible ELK Y Kazakov, M Krötzsch, F Simančík Journal of Automated Reasoning 53 (1), 1-61, 2014	369	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	323	2007
Consequence-driven reasoning for Horn SHIQ ontologies Y Kazakov Proc. of IJCAI-09, 2040-2045, 2009	257*	2009
RIQ and SROIQ are Harder than SHOIQ Y Kazakov	244	2008
A logical framework for modularity of ontologies. B Cuenca Grau	227	2007
Concurrent Classification of EL Ontologies Y Kazakov, M Krötzsch, F Simančík The Semantic Web–ISWC 2011, 305-320, 2011	209	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	128*	2011
ELK reasoner: architecture and evaluation. Y Kazakov, M Krötzsch, F Simancik ORE, 2012	107	2012
History matters: Incremental ontology reasoning using modules B Cuenca Grau, C Halaschek-Wiener, Y Kazakov International Semantic Web Conference, 183-196, 2007	89	2007
Extracting modules from ontologies: A logic-based approach B Cuenca Grau, I Horrocks, Y Kazakov, U Sattler Modular Ontologies, 159-186, 2009	87	2009
A Resolution-Based Decision Procedure for SHOIQ Y Kazakov, B Motik Journal of Automated Reasoning 40 (4), 357-357, 2008	84*	2008
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment Y Kazakov	66	2006
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	63	2012
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	47	2013
Tractable Extensions of the Description Logic EL with Numerical Datatypes D Magka, Y Kazakov, I Horrocks Automated Reasoning, 61-75, 2010	47	2010
Towards Reusable Explanation Services in Protege. Y Kazakov, P Klinov, A Stupnikov Description Logics, 2017	40	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