default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYevgeny Kazakov
Person information
- affiliation: University of Ulm, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c55]Joshua Hirschbrunn, Yevgeny Kazakov:
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. Description Logics 2023- [i3]Joshua Hirschbrunn, Yevgeny Kazakov:
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. CoRR abs/2308.08252 (2023) - 2022
- [c54]Birte Glimm, Yevgeny Kazakov:
SAT-Based Axiom Pinpointing Revisited. Description Logics 2022 - [c53]Birte Glimm, Yevgeny Kazakov, Michael Welt:
Concept Abduction for Description Logics. Description Logics 2022
2010 – 2019
- 2019
- [c52]Birte Glimm, Yevgeny Kazakov:
Classical Algorithms for Reasoning and Explanation in Description Logics. RW 2019: 1-64 - 2018
- [c51]Yevgeny Kazakov, Peter Skocovský:
Enumerating Justifications Using Resolution. IJCAR 2018: 609-626 - 2017
- [c50]Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran:
Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI 2017: 1114-1120 - [c49]Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov:
Towards Reusable Explanation Services in Protege. Description Logics 2017 - [c48]Yevgeny Kazakov, Denis K. Ponomaryov:
On the Complexity of Semantic Integration of OWL Ontologies. Description Logics 2017 - [c47]Yevgeny Kazakov, Peter Skocovsky:
Enumerating Justifications using Resolution. Description Logics 2017 - [i2]Yevgeny Kazakov, Denis K. Ponomaryov:
On the Complexity of Semantic Integration of OWL Ontologies. CoRR abs/1705.04719 (2017) - 2016
- [c46]Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran:
Ontology Materialization by Abstraction Refinement in Horn SHOIF. Description Logics 2016 - [c45]Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran:
Scalable Reasoning by Abstraction Beyond DL-Lite. RR 2016: 77-93 - 2015
- [c44]Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. AAAI 2015: 109-115 - [c43]Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. Description Logics 2015 - [c42]Yevgeny Kazakov, Pavel Klinov:
Advancing ELK: Not Only Performance Matters. Description Logics 2015 - 2014
- [j6]Yevgeny Kazakov, Markus Krötzsch
, Frantisek Simancik:
The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. J. Autom. Reason. 53(1): 1-61 (2014) - [c41]Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard:
Abstraction Refinement for Ontology Materialization. Description Logics 2014: 185-196 - [c40]Yevgeny Kazakov, Pavel Klinov:
Goal-Directed Tracing of Inferences in EL Ontologies. Description Logics 2014: 221-232 - [c39]Yevgeny Kazakov, Pavel Klinov:
Bridging the Gap between Tableau and Consequence-Based Reasoning. Description Logics 2014: 579-590 - [c38]Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
OWL Query Answering Based on Query Extension. OWLED 2014: 1-12 - [c37]Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard:
Abstraction Refinement for Ontology Materialization. ISWC (2) 2014: 180-195 - [c36]Yevgeny Kazakov, Pavel Klinov:
Goal-Directed Tracing of Inferences in EL Ontologies. ISWC (2) 2014: 196-211 - 2013
- [c35]Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
Using the TBox to Optimise SPARQL Queries. Description Logics 2013: 181-196 - [c34]Yevgeny Kazakov, Pavel Klinov:
Incremental Reasoning in EL+ without Bookkeeping. Description Logics 2013: 294-315 - [c33]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: 1-18 - [c32]Yevgeny Kazakov, Pavel Klinov:
Experimenting with ELK Reasoner on Android. ORE 2013: 68-74 - [c31]Yevgeny Kazakov, Pavel Klinov:
The Benefits of Incremental Reasoning in OWL EL. ISWC (Posters & Demos) 2013: 57-60 - [c30]Yevgeny Kazakov, Pavel Klinov:
Incremental Reasoning in OWL EL without Bookkeeping. ISWC (1) 2013: 232-247 - [e3]Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch:
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR Workshop Proceedings 1014, CEUR-WS.org 2013 [contents] - [e2]Samantha Bail, Birte Glimm, Rafael S. Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia:
Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013. CEUR Workshop Proceedings 1015, CEUR-WS.org 2013 [contents] - 2012
- [c29]Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik:
Practical Reasoning with Nominals in the EL Family of Description Logics. KR 2012 - [c28]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
ELK Reasoner: Architecture and Evaluation. ORE 2012 - [e1]Yevgeny Kazakov, Domenico Lembo, Frank Wolter:
Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings 846, CEUR-WS.org 2012 [contents] - 2011
- [j5]Despoina Magka, Yevgeny Kazakov, Ian Horrocks:
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. J. Autom. Reason. 47(4): 427-450 (2011) - [c27]Birte Glimm, Yevgeny Kazakov, Carsten Lutz:
Status QIO: An Update. Description Logics 2011 - [c26]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
Unchain My EL Reasoner. Description Logics 2011 - [c25]Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks:
Consequence-Based Reasoning beyond Horn Ontologies. IJCAI 2011: 1093-1098 - [c24]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
Concurrent Classification of EL Ontologies. ISWC (1) 2011: 305-320 - 2010
- [j4]Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn:
Incremental Classification of Description Logics Ontologies. J. Autom. Reason. 44(4): 337-369 (2010) - [c23]Despoina Magka, Yevgeny Kazakov, Ian Horrocks:
Tractable Extensions of the Description Logic EL with Numerical Datatypes. IJCAR 2010: 61-75 - [c22]Yevgeny Kazakov:
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. IJCAR 2010: 472-486 - [c21]Despoina Magka, Yevgeny Kazakov, Ian Horrocks:
Tractable Extensions of the Description Logic EL with Numerical Datatypes. Description Logics 2010
2000 – 2009
- 2009
- [c20]Yevgeny Kazakov:
An Extension of Regularity Conditions for Complex Role Inclusion Axioms. Description Logics 2009 - [c19]Yevgeny Kazakov:
Consequence-Driven Reasoning for Horn SHIQ Ontologies. Description Logics 2009 - [c18]Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov:
Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI 2009: 727-732 - [c17]Yevgeny Kazakov:
Consequence-Driven Reasoning for Horn SHIQ Ontologies. IJCAI 2009: 2040-2045 - [c16]Yevgeny Kazakov, Ian Pratt-Hartmann:
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. LICS 2009: 407-416 - [c15]Vincent Delaitre, Yevgeny Kazakov:
Classifying ELH Ontologies In SQL Databases. OWLED 2009 - [p1]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186 - [i1]Yevgeny Kazakov, Ian Pratt-Hartmann:
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. CoRR abs/0905.3108 (2009) - 2008
- [j3]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. 31: 273-318 (2008) - [j2]Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reason. 40(2-3): 89-116 (2008) - [j1]Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reason. 40(4): 357 (2008) - [c14]Yevgeny Kazakov:
SRIQ and SROIQ are Harder than SHOIQ. Description Logics 2008 - [c13]Yevgeny Kazakov:
RIQ and SROIQ Are Harder than SHOIQ. KR 2008: 274-284 - [c12]Birte Glimm, Yevgeny Kazakov:
Role Conjunctions in Expressive Description Logics. LPAR 2008: 391-405 - 2007
- [c11]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry. Description Logics 2007 - [c10]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303 - [c9]Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin:
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR 2007: 303-317 - [c8]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007 - [c7]Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov:
History Matters: Incremental Ontology Reasoning Using Modules. ISWC/ASWC 2007: 183-196 - [c6]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Just the right amount: extracting modules from ontologies. WWW 2007: 717-726 - 2006
- [c5]Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. IJCAR 2006: 662-677 - 2004
- [c4]Yevgeny Kazakov:
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR Doctoral Programme 2004 - [c3]Yevgeny Kazakov, Hans de Nivelle:
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. IJCAR 2004: 122-136 - [c2]Yevgeny Kazakov:
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. JELIA 2004: 372-384 - 2003
- [c1]Yevgeny Kazakov, Hans de Nivelle:
Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. Description Logics 2003
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 02:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
