Yevgeny Kazakov

71 papers A* 12A 5B 3Journal 9Unranked 38

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