Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. - Yevgeny Kazakov; Hans de Nivelle (Description Logics, 2003)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. - Yevgeny Kazakov (IJCAR Doctoral Programme, 2004)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. - Yevgeny Kazakov; Hans de Nivelle (IJCAR, 2004)

A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. - Yevgeny Kazakov (JELIA, 2004)

Ontology Reuse: Better Safe than Sorry. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (Description Logics, 2007)

A Logical Framework for Modularity of Ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (IJCAI, 2007)

How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. - Yevgeny Kazakov; Ulrike Sattler; Evgeny Zolin (LPAR, 2007)

Extracting Modules from Ontologies: A Logic-based Approach. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (OWLED, 2007)

History Matters: Incremental Ontology Reasoning Using Modules. - Bernardo Cuenca Grau; Christian Halaschek-Wiener; Yevgeny Kazakov (ISWC/ASWC, 2007)

Just the right amount: extracting modules from ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (WWW, 2007)

SRIQ and SROIQ are Harder than SHOIQ. - Yevgeny Kazakov (Description Logics, 2008)

RIQ and SROIQ Are Harder than SHOIQ. - Yevgeny Kazakov (KR, 2008)

Role Conjunctions in Expressive Description Logics. - Birte Glimm; Yevgeny Kazakov (LPAR, 2008)

Modular Reuse of Ontologies: Theory and Practice. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (J. Artif. Intell. Res., 2008)

A Resolution-Based Decision Procedure for SHOIQ. - Yevgeny Kazakov; Boris Motik (J. Autom. Reason., 2008)

An Extension of Regularity Conditions for Complex Role Inclusion Axioms. - Yevgeny Kazakov (Description Logics, 2009)

Import-by-Query: Ontology Reasoning under Access Limitations. - Bernardo Cuenca Grau; Boris Motik; Yevgeny Kazakov (IJCAI, 2009)

Consequence-Driven Reasoning for Horn SHIQ Ontologies. - Yevgeny Kazakov (IJCAI, 2009)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. - Yevgeny Kazakov; Ian Pratt-Hartmann (LICS, 2009)

Classifying ELH Ontologies In SQL Databases. - Vincent Delaitre; Yevgeny Kazakov (OWLED, 2009)

Extracting Modules from Ontologies: A Logic-Based Approach. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (Modular Ontologies, 2009)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. - Yevgeny Kazakov (IJCAR, 2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes. - Despoina Magka; Yevgeny Kazakov; Ian Horrocks 001 (IJCAR, 2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes. - Despoina Magka; Yevgeny Kazakov; Ian Horrocks 001 (Description Logics, 2010)

Incremental Classification of Description Logics Ontologies. - Bernardo Cuenca Grau; Christian Halaschek-Wiener; Yevgeny Kazakov; Boontawee Suntisrivaraporn (J. Autom. Reason., 2010)

Status QIO: An Update. - Birte Glimm; Yevgeny Kazakov; Carsten Lutz (Description Logics, 2011)

Unchain My EL Reasoner. - Yevgeny Kazakov; Markus Krötzsch; Frantisek Simancik (Description Logics, 2011)

Consequence-Based Reasoning beyond Horn Ontologies. - Frantisek Simancik; Yevgeny Kazakov; Ian Horrocks 001 (IJCAI, 2011)

Concurrent Classification of EL Ontologies. - Yevgeny Kazakov; Markus Krötzsch; Frantisek Simancik (ISWC (1), 2011)

Tractable Extensions of the Description Logic ${ mathcal{EL}}$ with Numerical Datatypes. - Despoina Magka; Yevgeny Kazakov; Ian Horrocks 001 (J. Autom. Reason., 2011)

Practical Reasoning with Nominals in the EL Family of Description Logics. - Yevgeny Kazakov; Markus Kroetzsch; Frantisek Simancik (KR, 2012)

ELK Reasoner: Architecture and Evaluation. - Yevgeny Kazakov; Markus Krötzsch; Frantisek Simancik (ORE, 2012)

Using the TBox to Optimise SPARQL Queries. - Birte Glimm; Yevgeny Kazakov; Ilianna Kollia; Giorgos B. Stamou (Description Logics, 2013)

Incremental Reasoning in EL+ without Bookkeeping. - Yevgeny Kazakov; Pavel Klinov (Description Logics, 2013)

OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report. - Rafael S. Gonçalves 001; Samantha Bail; Ernesto Jiménez-Ruiz; Nicolas Matentzoglu; Bijan Parsia; Birte Glimm; Yevgeny Kazakov (ORE, 2013)

Experimenting with ELK Reasoner on Android. - Yevgeny Kazakov; Pavel Klinov (ORE, 2013)

The Benefits of Incremental Reasoning in OWL EL. - Yevgeny Kazakov; Pavel Klinov (ISWC (Posters & Demos), 2013)

Incremental Reasoning in OWL EL without Bookkeeping. - Yevgeny Kazakov; Pavel Klinov (ISWC (1), 2013)

Bridging the Gap between Tableau and Consequence-Based Reasoning. - Yevgeny Kazakov; Pavel Klinov (Description Logics, 2014)

OWL Query Answering Based on Query Extension. - Birte Glimm; Yevgeny Kazakov; Ilianna Kollia; Giorgos B. Stamou (OWLED, 2014)

Abstraction Refinement for Ontology Materialization. - Birte Glimm; Yevgeny Kazakov; Thorsten Liebig; Trung-Kien Tran; Vincent Vialard (ISWC (2), 2014)

Goal-Directed Tracing of Inferences in EL Ontologies. - Yevgeny Kazakov; Pavel Klinov (ISWC (2), 2014)

The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. - Yevgeny Kazakov; Markus Krötzsch; Frantisek Simancik (J. Autom. Reason., 2014)

Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. - Birte Glimm; Yevgeny Kazakov; Ilianna Kollia; Giorgos B. Stamou (AAAI, 2015)

Advancing ELK: Not Only Performance Matters. - Yevgeny Kazakov; Pavel Klinov (Description Logics, 2015)

Scalable Reasoning by Abstraction Beyond DL-Lite. - Birte Glimm; Yevgeny Kazakov; Trung-Kien Tran (RR, 2016)

Ontology Materialization by Abstraction Refinement in Horn SHOIF. - Birte Glimm; Yevgeny Kazakov; Trung-Kien Tran (AAAI, 2017)

Towards Reusable Explanation Services in Protege. - Yevgeny Kazakov; Pavel Klinov; Alexander Stupnikov (Description Logics, 2017)

On the Complexity of Semantic Integration of OWL Ontologies. - Yevgeny Kazakov; Denis K. Ponomaryov (Description Logics, 2017)

Enumerating Justifications using Resolution. - Yevgeny Kazakov; Peter Skocovsky (Description Logics, 2017)

Classical Algorithms for Reasoning and Explanation in Description Logics. - Birte Glimm; Yevgeny Kazakov (RW, 2019)

SAT-Based Axiom Pinpointing Revisited. - Birte Glimm; Yevgeny Kazakov (Description Logics, 2022)

Concept Abduction for Description Logics. - Birte Glimm; Yevgeny Kazakov; Michael Welt (Description Logics, 2022)

Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. - Joshua Hirschbrunn; Yevgeny Kazakov (Description Logics, 2023)

Extending Description Logics with Generic Concepts - the Tale of Two Semantics. - Joshua Hirschbrunn; Yevgeny Kazakov (KR, 2024)