Yevgeny Kazakov

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.

[BibT_eX]

[DOI]

Michael Welt

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

2017

Enumerating Justifications using Resolution.

[BibT_eX]

[DOI]

Peter Skocovsky

Proceedings of the 30th International Workshop on Description Logics, 2017

On the Complexity of Semantic Integration of OWL Ontologies.

[BibT_eX]

[DOI]

Denis K. Ponomaryov

Proceedings of the 30th International Workshop on Description Logics, 2017

Towards Reusable Explanation Services in Protege.

[BibT_eX]

[DOI]

Alexander Stupnikov

Proceedings of the 30th International Workshop on Description Logics, 2017

Ontology Materialization by Abstraction Refinement in Horn SHOIF.

[BibT_eX]

[DOI]

Trung-Kien Tran

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Scalable Reasoning by Abstraction Beyond DL-Lite.

[BibT_eX]

[DOI]

Trung-Kien Tran

Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

2015

Advancing ELK: Not Only Performance Matters.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Lower and Upper Bounds for SPARQL Queries over OWL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Goal-Directed Tracing of Inferences in EL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

Abstraction Refinement for Ontology Materialization.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

OWL Query Answering Based on Query Extension.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Incremental Reasoning in OWL EL without Bookkeeping.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

The Benefits of Incremental Reasoning in OWL EL.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Experimenting with ELK Reasoner on Android.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Incremental Reasoning in EL+ without Bookkeeping.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

ELK Reasoner: Architecture and Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Practical Reasoning with Nominals in the EL Family of Description Logics.

[BibT_eX]

[DOI]

Markus Kroetzsch

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.

[BibT_eX]

[DOI]

Despoina Magka

J. Autom. Reason., 2011

Concurrent Classification of EL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

Consequence-Based Reasoning beyond Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Unchain My EL Reasoner.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Status QIO: An Update.

[BibT_eX]

[DOI]

Christian Halaschek-Wiener

Carsten Lutz

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Incremental Classification of Description Logics Ontologies.

[BibT_eX]

[DOI]

Bernardo Cuenca Grau

Boontawee Suntisrivaraporn

J. Autom. Reason., 2010

Tractable Extensions of the Description Logic EL with Numerical Datatypes.

[BibT_eX]

[DOI]

Despoina Magka

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Tractable Extensions of the Description Logic EL with Numerical Datatypes.

[BibT_eX]

[DOI]

Despoina Magka

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

Extracting Modules from Ontologies: A Logic-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies: Concepts, 2009

Classifying ELH Ontologies In SQL Databases.

[BibT_eX]

[DOI]

Vincent Delaitre

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.

[BibT_eX]

[DOI]

Ian Pratt-Hartmann

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Consequence-Driven Reasoning for Horn SHIQ Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Import-by-Query: Ontology Reasoning under Access Limitations.

[BibT_eX]

[DOI]

Bernardo Cuenca Grau

Boris Motik

Proceedings of the IJCAI 2009, 2009

An Extension of Regularity Conditions for Complex Role Inclusion Axioms.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

A Resolution-Based Decision Procedure for SHOIQ.

[BibT_eX]

[DOI]

Boris Motik

J. Autom. Reason., 2008

Modular Reuse of Ontologies: Theory and Practice.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

Role Conjunctions in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

RIQ and SROIQ Are Harder than SHOIQ.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

SRIQ and SROIQ are Harder than SHOIQ.

[BibT_eX]

[DOI]

Christian Halaschek-Wiener

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Just the right amount: extracting modules from ontologies.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on World Wide Web, 2007

History Matters: Incremental Ontology Reasoning Using Modules.

[BibT_eX]

[DOI]

Bernardo Cuenca Grau

Proceedings of the Semantic Web, 2007

Extracting Modules from Ontologies: A Logic-based Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ulrike Sattler

Evgeny Zolin

Proceedings of the Logic for Programming, 2007

A Logical Framework for Modularity of Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Ontology Reuse: Better Safe than Sorry.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.

[BibT_eX]

[DOI]

Hans de Nivelle

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.

[BibT_eX]

[DOI]

Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004

2003

Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.

[BibT_eX]

[DOI]