Andreas Steigmiller

According to our database, Andreas Steigmiller authored at least 19 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Query Answering and Scaling Extensions of Konclude.

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021) co-located with the 20th International Semantic Web Conference (ISWC 2021), 2021

Parallelised ABox Reasoning and Query Answering with Expressive Description Logics.

Andreas Steigmiller, Birte Glimm

Proceedings of the Semantic Web - 18th International Conference, 2021

2020

Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract).

Andreas Steigmiller, Birte Glimm

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Absorption-Based Query Answering for Expressive Description Logics.

Andreas Steigmiller, Birte Glimm

Proceedings of the Semantic Web - ISWC 2019, 2019

Absorption-Based Query Entailment Checking for Expressive Description Logics.

Andreas Steigmiller, Birte Glimm

Proceedings of the 32nd International Workshop on Description Logics, 2019

2017

The OWL Reasoner Evaluation (ORE) 2015 Competition Report.

Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller

J. Autom. Reason., 2017

2016

Optimisation of tableau-based reasoning systems for expressive description logics.

Andreas Steigmiller

PhD thesis, 2016

The OWL Reasoner Evaluation (ORE) 2015 Resources.

Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller

Proceedings of the Semantic Web - ISWC 2016, 2016

Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken.

Andreas Steigmiller

Proceedings of the Ausgezeichnete Informatikdissertationen 2016, 2016

2015

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures.

Andreas Steigmiller, Birte Glimm

J. Artif. Intell. Res., 2015

Completion Graph Caching for Expressive Description Logics.

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

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

2014

Konclude: System description.

Andreas Steigmiller, Thorsten Liebig, Birte Glimm

J. Web Semant., 2014

Reasoning with Nominal Schemas through Absorption.

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

J. Autom. Reason., 2014

Optimised Absorption for Expressive Description Logics.

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

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

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures.

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Nominal Schema Absorption.

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

Proceedings of the IJCAI 2013, 2013

Extending Absorption to Nominal Schemas.

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

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

2012

Extended Caching and Backjumping for Expressive Description Logics.

Andreas Steigmiller, Thorsten Liebig, Birte Glimm

Proceedings of the 2012 International Workshop on Description Logics, 2012

Extended Caching, Backjumping and Merging for Expressive Description Logics.

Andreas Steigmiller, Thorsten Liebig, Birte Glimm

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012