Dr. Yevgeny Kazakov

I work at the Institut for Artificial Intelligence as a Research Fellow since 2011.

Further Information

My main research interests are knowledge representation and automated reasoning, and specifically, reasoning support for description logics, ontology languages, such as OWL, and decidable fragments of first-order logic. I have been actively working on the topic of modularity in ontologies together with Bernardo Cuenca-GrauIan Horrocks, and Uli Sattler, and also did some theoretical research on extensions of description logics, modal logics, and ontology languages with expressive features, such as complex role inclusion axioms, graded modalities / counting, role conjunctions, and conjunctive queries. Studying theoretical properties of various reasoning tasks is an exciting research area, but it is even more satisfying to develop procedures that work in practice. I have been involved in the development of a few ontology reasoning systems, such as CBConDOR, and ELK, which implement optimized consequence-based reasoning procedures, and I am interested in almost all aspects of algorithm optimizations, such as efficient data structures, goal-directed, incremental reasoning, and concurrency.

  • General co-chair of the Description Logic Workshop 2013
  • Guest Editor of the JAIR special track on Description Logics
  • PC co-chair of the Description Logic Workshop 2012
  • PC member of conferences KR 2022, ECAI 2020, IJCAI 2017, IJCAI 2016, KR 2016, IJCAI 2015, ISWC 2014, KR 2014, IJCAI 2013, IJCAR 2012, KR 2012, IJCAI 2011, AAAI 2010, IJCAI 2009, ESWC 2009, ESWC 2008, ECAI 2008, ISWC 2007, and workshops  DL 2024, DL 2023, DPFO 2023, IWIL 2023, DL 2022, DL 2021, DL 2020, DL 2019, DL 2018, IWIL 2018, DL 2017, JOWO 2017, DL 2016, PAAR 2016, DL 2015, IWIL 2015, ORE 2015, PAAR 2014, DL 2014, ORE 2014, ORE 2013, AIW 2012, DL 2012, IWIL 2012, PAAR 2012, DL 2011, DL 2010, DL 2009, DL 2007.
  • Invited referee of Artificial Intelligence Journal (AIJ), German Journal of Artificial Intelligence (KI), Journal of Applied Logic (JAL), Journal of Artificial Intelligence Research (JAIR), Journal of Automated Reasoning (JAR), Journal of Logic and Computation (JLC), Journal of Data Semantics (JODS), Journal of Symbolic Computation (JSC), Journal of Web Semantics (JWS), SIAM Journal of Computing (SICOMP), Journal of Theoretical Computer Science (TCS), Journal o Theory and Practice of Logic Programming (TPLP), conferences CSL 2023, KR 2021, SODA 2021, IJCAI 2019, MFCS 2019, IJCAI 2018, IJCAI 2017, IJCAR 2017, JCAR 2016, LICS 2015, TABLEAUX 2015, AAAI 2014, LICS 2013, ISWC 2012, AIMSA 2010, IJCAR 2010, KR 2010, TCS 2010, LICS 2009, WWW 2009, KR 2008, RTA 2008, WWW 2008, IJCAI 2007, LPAR 2007, TABLEAUX 2007, IJCAR 2006, KI 2005, LPAR 2006, TABLEAUX 2005, LICS 2004, CSL 2004, LPAR 2003, and workshops DL 2008, M4M 2005.

Publications

2012

35.
Y. Kazakov, M. Krötzsch and F. Simančík, "ELK Reasoner: Architecture and Evaluation" in Proceedings of the 1st International Workshop on OWL Reasoner Evaluation ({ORE} 2012), 2012.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12ELK_ORE.pdf
34.
Y. Kazakov, M. Krötzsch and F. Simančík, "ELK: A Reasoner for OWL EL Ontologies" , 2012.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12ELK_TR.pdf
33.
Y. Kazakov, M. Krötzsch and F. Simančík, "Practical Reasoning with Nominals in the EL Family of Description Logics" in Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2012), Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, Eds. AAAI Press, 2012.
ISBN:978-1-57735-560-1
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12NominalsEL_KR.pdf

2011

32.
Y. Kazakov, M. Krötzsch and F. Simančík, "Concurrent Classification of EL Ontologies" in ISWC, 2011.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KazKroSim11Concurrent_ISWC.pdf
31.
F. Simančík, Y. Kazakov and I. Horrocks, "Consequence-Based Reasoning beyond Horn Ontologies" in IJCAI, 2011, pp. 1093-1099.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/SimKazHor11BeyondHorn.pdf
30.
Y. Kazakov, C. Lutz and B. Glimm, "Status QIO: An Update" in Description Logics, Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, Eds. CEUR-WS.org, 2011.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/GliKazLut11QIO_DL.pdf
29.
Y. Kazakov, M. Krötzsch and F. Simančík, "Unchain My EL Reasoner" in Description Logics, Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, Eds. CEUR-WS.org, 2011.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/KazKroSim11Unchain_DL.pdf

2010

28.
Y. Kazakov, "An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ" in IJCAR, Springer, 2010, pp. 472-486.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/Kaz10Regularity.pdf
27.
B. Cuenca Grau, C. Halaschek-Wiener, Y. Kazakov and B. Suntisrivaraporn, "Incremental Classification of Description Logics Ontologies", JAR, vol. 44, no. 4, pp. 337-369, 2010.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/CueHalKazSun10Incremental_JAR.pdf
26.
D. Magka, Y. Kazakov and I. Horrocks, "Tractable Extensions of the Description Logic EL with Numerical Datatypes" in IJCAR, Springer, 2010, pp. 61-75.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/MagKazHor10NDR.pdf
25.
D. Magka, Y. Kazakov and I. Horrocks, "Tractable Extensions of the Description Logic EL with Numerical Datatypes" in Description Logics, Volker Haarslev and David Toman and Grant Weddell, Eds. CEUR-WS.org, 2010.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/MagKazHor10NDR_DL.pdf

2009

24.
Y. Kazakov and I. Pratt-Hartmann, "A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics" in LICS, IEEE Computer Society, 2009, pp. 407-416.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/KazPH09Graded.pdf
23.
Y. Kazakov, "An Extension of Regularity Conditions for Complex Role Inclusion Axioms" in Description Logics, Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, Eds. CEUR-WS.org, 2009.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/Kaz09Regularity_DL.pdf
22.
V. Delaitre and Y. Kazakov, "Classifying ELH Ontologies In SQL Databases" in OWL: Experiences and Directions 2009 (OWLED 2009), Chantilly, VA, United States, 2009.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/DalKaz09SQL.pdf
21.
Y. Kazakov, "Consequence-Driven Reasoning for Horn SHIQ Ontologies" in Description Logics, Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, Eds. CEUR-WS.org, 2009.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/Kaz09CB_DL.pdf
20.
B. Cuenca Grau, I. Horrocks, Y. Kazakov and U. Sattler, "Extracting Modules from Ontologies: A Logic-Based Approach" in Modular Ontologies, Springer, 2009, pp. 159-186.
ISBN:978-3-642-01906-7
19.
B. Cuenca Grau, B. Motik and Y. Kazakov, "Import-by-Query: Ontology Reasoning under Access Limitations" in IJCAI, 2009, pp. 727-732.
File:pdfhttp://ijcai.org/papers09/Papers/IJCAI09-126.pdf

2008

18.
Y. Kazakov and B. Motik, "A Resolution-Based Decision Procedure for SHOIQ", JAR, vol. 40, no. 2-3, pp. 89-116, 2008.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/KazMot08SHOIQ_JAR.pdf
17.
B. Cuenca Grau, I. Horrocks, Y. Kazakov and U. Sattler, "Modular Reuse of Ontologies: Theory and Practice", JAIR, vol. 31, pp. 273-318, 2008. http://www.jair.org/papers/paper2375.html.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/CueHorKazSat08Modularity_JAIR.pdf
16.
Y. Kazakov, "RIQ and SROIQ Are Harder than SHOIQ" in KR, AAAI Press, 2008, pp. 274-284.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/Kaz08SROIQ_KR.pdf
15.
B. Glimm and Y. Kazakov, "Role Conjunctions in Expressive Description Logics" , Lecture Notes in Computer Science, Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008), 2008.
DOI:10.1007/978-3-540-89439-1_28
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/GlKa08b.pdf

2007

14.
B. Cuenca Grau, I. Horrocks, Y. Kazakov and U. Sattler, "A Logical Framework for Modularity of Ontologies." in IJCAI, 2007, pp. 298-303.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/CueHorKazSat07Framework.pdf
13.
B. Cuenca Grau, C. Halaschek-Wiener and Y. Kazakov, "History Matters: Incremental Ontology Reasoning Using Modules" in ISWC/ASWC, Springer, 2007, pp. 183-196.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/CueHalKaz07Incremental.pdf
12.
Y. Kazakov, U. Sattler and E. Zolin, "How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited" in LPAR, Springer, 2007, pp. 303-317.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/KazSatZol07Legs.pdf
11.
Y. Kazakov, U. Sattler and E. Zolin, "Is Your RBox Safe?" , Oxford Road, Manchester M13 9PL, UK, 2007.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/KazSatZol07RBox_TR.pdf