Yevgeny Kazakov

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 16

Top Topics

Semantic Integration

Description Logics

Top Venues

Description Logics

Publications

Joshua Hirschbrunn, Yevgeny Kazakov
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. Description Logics (2023)
Joshua Hirschbrunn, Yevgeny Kazakov
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. CoRR (2023)
Birte Glimm, Yevgeny Kazakov
SAT-Based Axiom Pinpointing Revisited. Description Logics (2022)
Birte Glimm, Yevgeny Kazakov, Michael Welt
Concept Abduction for Description Logics. Description Logics (2022)
Birte Glimm, Yevgeny Kazakov
Classical Algorithms for Reasoning and Explanation in Description Logics. Reasoning Web (2019)
Yevgeny Kazakov, Peter Skocovský
Enumerating Justifications Using Resolution. IJCAR (2018)
Yevgeny Kazakov, Peter Skocovsky
Enumerating Justifications using Resolution. Description Logics (2017)
Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI (2017)
Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov
Towards Reusable Explanation Services in Protege. Description Logics (2017)
Yevgeny Kazakov, Denis K. Ponomaryov
On the Complexity of Semantic Integration of OWL Ontologies. Description Logics (2017)
Yevgeny Kazakov, Denis K. Ponomaryov
On the Complexity of Semantic Integration of OWL Ontologies. CoRR (2017)
Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
Scalable Reasoning by Abstraction Beyond DL-Lite. RR (2016)
Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran
Ontology Materialization by Abstraction Refinement in Horn SHOIF. Description Logics (2016)
Yevgeny Kazakov, Pavel Klinov
Advancing ELK: Not Only Performance Matters. Description Logics (2015)
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. AAAI (2015)
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. Description Logics (2015)
Yevgeny Kazakov, Pavel Klinov
Goal-Directed Tracing of Inferences in EL Ontologies. ISWC (2) (2014)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. J. Autom. Reason. 53 (1) (2014)
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
OWL Query Answering Based on Query Extension. OWLED (2014)
Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
Abstraction Refinement for Ontology Materialization. ISWC (2) (2014)
Yevgeny Kazakov, Pavel Klinov
Bridging the Gap between Tableau and Consequence-Based Reasoning. Description Logics (2014)
Yevgeny Kazakov, Pavel Klinov
Goal-Directed Tracing of Inferences in EL Ontologies. Description Logics (2014)
Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
Abstraction Refinement for Ontology Materialization. Description Logics (2014)
Yevgeny Kazakov, Pavel Klinov
Experimenting with ELK Reasoner on Android. ORE (2013)
Yevgeny Kazakov, Pavel Klinov
The Benefits of Incremental Reasoning in OWL EL. ISWC (Posters & Demos) (2013)
Yevgeny Kazakov, Pavel Klinov
Incremental Reasoning in EL+ without Bookkeeping. Description Logics (2013)
Yevgeny Kazakov, Pavel Klinov
Incremental Reasoning in OWL EL without Bookkeeping. ISWC (1) (2013)
Rafael S. Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov
OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report. ORE (2013)
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou
Using the TBox to Optimise SPARQL Queries. Description Logics (2013)
Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik
Practical Reasoning with Nominals in the EL Family of Description Logics. KR (2012)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
ELK Reasoner: Architecture and Evaluation. ORE (2012)
Despoina Magka, Yevgeny Kazakov, Ian Horrocks
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. J. Autom. Reason. 47 (4) (2011)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
Unchain My EL Reasoner. Description Logics (2011)
Birte Glimm, Yevgeny Kazakov, Carsten Lutz
Status QIO: An Update. Description Logics (2011)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
Concurrent Classification of EL Ontologies. ISWC (1) (2011)
Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks
Consequence-Based Reasoning beyond Horn Ontologies. IJCAI (2011)
Yevgeny Kazakov
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. IJCAR (2010)
Despoina Magka, Yevgeny Kazakov, Ian Horrocks
Tractable Extensions of the Description Logic EL with Numerical Datatypes. Description Logics (2010)
Despoina Magka, Yevgeny Kazakov, Ian Horrocks
with Numerical Datatypes. IJCAR (2010)
Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn
Incremental Classification of Description Logics Ontologies. J. Autom. Reason. 44 (4) (2010)
Yevgeny Kazakov
An Extension of Regularity Conditions for Complex Role Inclusion Axioms. Description Logics (2009)
Yevgeny Kazakov
Consequence-Driven Reasoning for Horn SHIQ Ontologies. IJCAI (2009)
Vincent Delaitre, Yevgeny Kazakov
Classifying ELH Ontologies In SQL Databases. OWLED (2009)
Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov
Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI (2009)
Yevgeny Kazakov, Ian Pratt-Hartmann
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. LICS (2009)
Yevgeny Kazakov
Consequence-Driven Reasoning for Horn SHIQ Ontologies. Description Logics (2009)
Yevgeny Kazakov, Ian Pratt-Hartmann
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics CoRR (2009)
Birte Glimm, Yevgeny Kazakov
Role Conjunctions in Expressive Description Logics. LPAR (2008)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. 31 (2008)
Yevgeny Kazakov, Boris Motik
. J. Autom. Reason. 40 (4) (2008)
Yevgeny Kazakov, Boris Motik
. J. Autom. Reason. 40 (2-3) (2008)
Yevgeny Kazakov
SRIQ and SROIQ are Harder than SHOIQ. Description Logics (2008)
Yevgeny Kazakov
RIQ and SROIQ Are Harder than SHOIQ. KR (2008)
Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov
History Matters: Incremental Ontology Reasoning Using Modules. ISWC/ASWC (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Just the right amount: extracting modules from ontologies. WWW (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Ontology Reuse: Better Safe than Sorry. Description Logics (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Extracting Modules from Ontologies: A Logic-based Approach. OWLED (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
A Logical Framework for Modularity of Ontologies. IJCAI (2007)
Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR (2007)
Yevgeny Kazakov, Boris Motik
. IJCAR (2006)
Yevgeny Kazakov
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR Doctoral Programme (2004)
Yevgeny Kazakov
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. JELIA (2004)
Yevgeny Kazakov, Hans de Nivelle
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR (2004)
Yevgeny Kazakov, Hans de Nivelle
for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. Description Logics (2003)