Institute of Artificial Intelligence

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-Grau, Ian 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 CB, ConDOR, 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

2022

60.
B. Glimm, Y. Kazakov and M. Welt, "Concept Abduction for Description Logics" in Proceedings of the 35th International Workshop on Description Logics (DL 2022), Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Eds. CEUR-WS.org, 2022.
File:pdfhttps://ceur-ws.org/Vol-3263/paper-11.pdf
59.
B. Glimm and Y. Kazakov, "SAT-Based Axiom Pinpointing Revisited" in Proceedings of the 35th International Workshop on Description Logics (DL 2022), Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Eds. CEUR-WS.org, 2022.
File:pdfhttps://ceur-ws.org/Vol-3263/paper-10.pdf

2019

58.
B. Glimm and Y. Kazakov, "Classical Algorithms for Reasoning and Explanation in Description Logics" in Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School, Markus Krötzsch and Daria Stepanova, Eds. Springer, 2019, pp. 1-64.
DOI:10.1007/978-3-030-31423-1_1
File:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/GliKaz19Classical.pdf

2018

57.
Y. Kazakov and P. Skocovsky, "Enumerating Justifications using Resolution" in IJCAR, Didier Galmiche and Stephan Schulz and Roberto Sebastiani, Eds. Springer, 2018, pp. 609--626.
DOI:10.1007/978-3-319-94205-6
ISBN:978-3-319-94204-9
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/KazSko18Justifications_IJCAR.pdf

2017

56.
Y. Kazakov and P. Skocovsky, "Enumerating Justifications using Resolution" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), Alessandro Artale and Birte Glimm and Roman Kontchakov, Eds. CEUR-WS.org, 2017.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazSko17Justifications_DL.pdf
55.
Y. Kazakov and D. Ponomaryov, "On the Complexity of Semantic Integration of OWL Ontologies" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), Alessandro Artale and Birte Glimm and Roman Kontchakov, Eds. CEUR-WS.org, 2017.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazPon17Integration_DL.pdf
54.
B. Glimm, Y. Kazakov and T. Tran, "Ontology Materialization by Abstraction Refinement in Horn SHOIF" in Proceedings of the 31st AAAI Conference on Artificial Intelligence, 31st AAAI Conference on Artificial Intelligence, San Francisco, California, USA, February 4-9, 2017,Satinder P. Singh and Shaul Markovitch, Eds. AAAI Press, 2017, pp. 1114--1120.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17a.pdf
53.
B. Glimm, Y. Kazakov and T. Tran, "Scalable Reasoning by Abstraction in DL-Lite" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), CEUR-WS.org, 2017.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17b.pdf
52.
Y. Kazakov, P. Klinov and A. Stupnikov, "Towards Reusable Explanation Services in Protege" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), Alessandro Artale and Birte Glimm and Roman Kontchakov, Eds. CEUR-WS.org, 2017.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazKliStu17Explanations_DL.pdf

2016

51.
B. Glimm, Y. Kazakov and T. Tran, "Ontology Materialization by Abstraction Refinement in Horn SHOIF" in Proceedings of the 29th International Workshop on Description Logics (DL 2016), CEUR-WS.org, 2016.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16a.pdf
50.
B. Glimm, Y. Kazakov and T. Tran, "Scalable Reasoning by Abstraction Beyond DL-Lite" in Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016), Magdalena Ortiz and Stefan Schlobach, Eds. Springer-Verlag, 2016, pp. 77--93.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16b.pdf

2015

49.
Y. Kazakov and P. Klinov, "Advancing ELK: Not Only Performance Matters" in DL, Diego Calvanese and Boris Konev, Eds. CEUR-WS.org, 2015.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KazKli15Advancing-ELK_DL.pdf
48.
B. Glimm, Y. Kazakov, I. Kollia and G. Stamou, "Lower and Upper Bounds for SPARQL Queries over OWL Ontologies" in Proceedings of the 28th International Workshop on Description Logics (DL 2015), CEUR Workshop Proceedings, 2015.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf
47.
B. Glimm, Y. Kazakov, I. Kollia and G. Stamou, "Lower and Upper Bounds for SPARQL Queries over OWL Ontologies" in Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), AAAI Press, 2015.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf

2014

46.
B. Glimm, Y. Kazakov, T. Liebig, T. Tran and V. Vialard, "Abstraction Refinement for Ontology Materialization" in Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Springer-Verlag, 2014, pp. 180-195.
DOI:10.1007/978-3-319-11915-1_12
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14b.pdf
45.
B. Glimm, Y. Kazakov, T. Liebig, T. Tran and V. Vialard, "Abstraction Refinement for Ontology Materialization" in Proceedings of the 27th International Workshop on Description Logics (DL 2014), CEUR-WS.org, 2014, pp. 180-195.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14a.pdf
44.
Y. Kazakov and P. Klinov, "Bridging the Gap between Tableau and Consequence-Based Reasoning" in DL, Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Eds. CEUR-WS.org, 2014, pp. 579-590.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KazKli15Advancing-ELK_DL.pdf
43.
Y. Kazakov and P. Klinov, "Goal-Directed Tracing of Inferences in EL Ontologies" in ISWC, Springer, 2014, pp. 196--211.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_ISWC.pdf
42.
Y. Kazakov and P. Klinov, "Goal-Directed Tracing of Inferences in EL Ontologies" in DL, Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Eds. CEUR-WS.org, 2014, pp. 221-232.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_DL.pdf
41.
Y. Kazakov, M. Krötzsch and F. Simančík, "The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies", JAR, vol. 53, no. 1, pp. 1-61, 2014.
DOI:10.1007/s10817-013-9296-3
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKroSim13ELK_JAR.pdf

2013

40.
Y. Kazakov and P. Klinov, "Experimenting with ELK Reasoner on Android" in ORE, CEUR-WS.org, 2013, pp. 68-74.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Android_ORE.pdf
39.
Y. Kazakov and P. Klinov, "Incremental Reasoning in <prt>OWL</prt> <prt>EL</prt> without Bookkeeping." in The Semantic Web - <prt>ISWC</prt> 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part <prt>I</prt>, 2013, pp. 232--247.
File:http://dx.doi.org/10.1007/978-3-642-41335-3_15
38.
Y. Kazakov and P. Klinov, "Incremental Reasoning in EL+ without Bookkeeping" in DL, CEUR-WS.org, 2013, pp. 294-315.
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_DL.pdf
37.
Y. Kazakov and P. Klinov, "Incremental Reasoning in OWL EL without Bookkeeping" in ISWC, Springer, 2013, pp. 232-247.
DOI:10.1007/978-3-642-41335-3_15
File:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_ISWC.pdf
36.
B. Glimm, Y. Kazakov, I. Kollia and G. Stamou, "Using the TBox to Optimise SPARQL Queries" in Proceedings of the 2013 International Description Logic Workshop (DL 2013), CEUR Workshop Proceedings, 2013.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/GKKS13a.pdf