| 2026 | AAAI | Extending Description Logics with Generic Concepts - the Case of Terminologies. | Joshua Hirschbrunn, Yevgeny Kazakov |
| 2024 | KR | Extending Description Logics with Generic Concepts - the Tale of Two Semantics. | Joshua Hirschbrunn, Yevgeny Kazakov |
| 2018 | CADE | Enumerating Justifications Using Resolution. | Yevgeny Kazakov, Peter Skocovsk |
| 2017 | AAAI | Ontology Materialization by Abstraction Refinement in Horn SHOIF. | Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran |
| 2015 | AAAI | Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. | Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou |
| 2012 | KR | Practical Reasoning with Nominals in the EL Family of Description Logics. | Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simanck |
| 2011 | IJCAI | Consequence-Based Reasoning beyond Horn Ontologies. | Frantisek Simanck, Yevgeny Kazakov, Ian Horrocks |
| 2010 | CADE | An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. | Yevgeny Kazakov |
| 2010 | CADE | Tractable Extensions of the Description Logic | Despoina Magka, Yevgeny Kazakov, Ian Horrocks |
| 2009 | IJCAI | Import-by-Query: Ontology Reasoning under Access Limitations. | Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov |
| 2009 | IJCAI | Consequence-Driven Reasoning for Horn SHIQ Ontologies. | Yevgeny Kazakov |
| 2009 | LICS | A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. | Yevgeny Kazakov, Ian Pratt-Hartmann |
| 2008 | KR | RIQ and SROIQ Are Harder than SHOIQ. | Yevgeny Kazakov |
| 2008 | LPAR | Role Conjunctions in Expressive Description Logics. | Birte Glimm, Yevgeny Kazakov |
| 2007 | IJCAI | A Logical Framework for Modularity of Ontologies. | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
| 2007 | LPAR | How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. | Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin |
| 2007 | WWW | Just the right amount: extracting modules from ontologies. | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
| 2006 | CADE | A Resolution-Based Decision Procedure for | Yevgeny Kazakov, Boris Motik |
| 2004 | CADE | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. | Yevgeny Kazakov |
| 2004 | CADE | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. | Yevgeny Kazakov, Hans de Nivelle |
| 2004 | JELIA | A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. | Yevgeny Kazakov |