Yevgeny Kazakov

Affiliations:
  • University of Ulm, Germany


According to our database1, Yevgeny Kazakov authored at least 54 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts.
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022
Concept Abduction for Description Logics.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

SAT-Based Axiom Pinpointing Revisited.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2019
Classical Algorithms for Reasoning and Explanation in Description Logics.
Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

2017
Enumerating Justifications using Resolution.
Proceedings of the 30th International Workshop on Description Logics, 2017

On the Complexity of Semantic Integration of OWL Ontologies.
Proceedings of the 30th International Workshop on Description Logics, 2017

Towards Reusable Explanation Services in Protege.
Proceedings of the 30th International Workshop on Description Logics, 2017

Ontology Materialization by Abstraction Refinement in Horn SHOIF.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Scalable Reasoning by Abstraction Beyond DL-Lite.
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

2015
Advancing ELK: Not Only Performance Matters.
Proceedings of the 28th International Workshop on Description Logics, 2015

Lower and Upper Bounds for SPARQL Queries over OWL Ontologies.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies.
J. Autom. Reason., 2014

Goal-Directed Tracing of Inferences in EL Ontologies.
Proceedings of the Semantic Web - ISWC 2014, 2014

Abstraction Refinement for Ontology Materialization.
Proceedings of the Semantic Web - ISWC 2014, 2014

OWL Query Answering Based on Query Extension.
Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

Bridging the Gap between Tableau and Consequence-Based Reasoning.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013
Incremental Reasoning in OWL EL without Bookkeeping.
Proceedings of the Semantic Web - ISWC 2013, 2013

The Benefits of Incremental Reasoning in OWL EL.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Experimenting with ELK Reasoner on Android.
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report.
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Incremental Reasoning in EL+ without Bookkeeping.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Using the TBox to Optimise SPARQL Queries.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
ELK Reasoner: Architecture and Evaluation.
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Practical Reasoning with Nominals in the EL Family of Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes.
J. Autom. Reason., 2011

Concurrent Classification of EL Ontologies.
Proceedings of the Semantic Web - ISWC 2011, 2011

Consequence-Based Reasoning beyond Horn Ontologies.
Proceedings of the IJCAI 2011, 2011

Unchain My EL Reasoner.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Status QIO: An Update.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Incremental Classification of Description Logics Ontologies.
J. Autom. Reason., 2010

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Tractable Extensions of the Description Logic <i>EL</i> with Numerical Datatypes.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
Extracting Modules from Ontologies: A Logic-Based Approach.
Proceedings of the Modular Ontologies: Concepts, 2009

Classifying ELH Ontologies In SQL Databases.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Consequence-Driven Reasoning for Horn SHIQ Ontologies.
Proceedings of the IJCAI 2009, 2009

Import-by-Query: Ontology Reasoning under Access Limitations.
Proceedings of the IJCAI 2009, 2009

An Extension of Regularity Conditions for Complex Role Inclusion Axioms.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
A Resolution-Based Decision Procedure for <i>SHOIQ</i>.
J. Autom. Reason., 2008

Modular Reuse of Ontologies: Theory and Practice.
J. Artif. Intell. Res., 2008

Role Conjunctions in Expressive Description Logics.
Proceedings of the Logic for Programming, 2008

RIQ and SROIQ Are Harder than SHOIQ.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

SRIQ and SROIQ are Harder than SHOIQ.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Just the right amount: extracting modules from ontologies.
Proceedings of the 16th International Conference on World Wide Web, 2007

History Matters: Incremental Ontology Reasoning Using Modules.
Proceedings of the Semantic Web, 2007

Extracting Modules from Ontologies: A Logic-based Approach.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.
Proceedings of the Logic for Programming, 2007

A Logical Framework for Modularity of Ontologies.
Proceedings of the IJCAI 2007, 2007

Ontology Reuse: Better Safe than Sorry.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2004
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004

2003
Subsumption of Concepts in FL<sub>0y</sub> for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003


  Loading...