Extended Caching, Backjumping and Merging for Expressive Description Logics. - Andreas Steigmiller; Thorsten Liebig; Birte Glimm (IJCAR, 2012)

Extended Caching and Backjumping for Expressive Description Logics. - Andreas Steigmiller; Thorsten Liebig; Birte Glimm (Description Logics, 2012)

Extending Absorption to Nominal Schemas. - Andreas Steigmiller; Birte Glimm; Thorsten Liebig (Description Logics, 2013)

Nominal Schema Absorption. - Andreas Steigmiller; Birte Glimm; Thorsten Liebig (IJCAI, 2013)

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. - Andreas Steigmiller; Birte Glimm; Thorsten Liebig (IJCAR, 2014)

Optimised Absorption for Expressive Description Logics. - Andreas Steigmiller; Birte Glimm; Thorsten Liebig (Description Logics, 2014)

Reasoning with Nominal Schemas through Absorption. - Andreas Steigmiller; Birte Glimm; Thorsten Liebig (J. Autom. Reason., 2014)

Konclude: System description. - Andreas Steigmiller; Thorsten Liebig; Birte Glimm (J. Web Semant., 2014)

Completion Graph Caching for Expressive Description Logics. - Andreas Steigmiller; Birte Glimm; Thorsten Liebig (Description Logics, 2015)

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. - Andreas Steigmiller; Birte Glimm (J. Artif. Intell. Res., 2015)

Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken. - Andreas Steigmiller (Ausgezeichnete Informatikdissertationen, 2016)

The OWL Reasoner Evaluation (ORE) 2015 Resources. - Bijan Parsia; Nicolas Matentzoglu; Rafael S. Gonçalves 001; Birte Glimm; Andreas Steigmiller (ISWC (2), 2016)

Optimisation of tableau-based reasoning systems for expressive description logics. - Andreas Steigmiller (2016)

The OWL Reasoner Evaluation (ORE) 2015 Competition Report. - Bijan Parsia; Nicolas Matentzoglu; Rafael S. Gonçalves 001; Birte Glimm; Andreas Steigmiller (J. Autom. Reason., 2017)

Absorption-Based Query Entailment Checking for Expressive Description Logics. - Andreas Steigmiller; Birte Glimm (Description Logics, 2019)

Absorption-Based Query Answering for Expressive Description Logics. - Andreas Steigmiller; Birte Glimm (ISWC (1), 2019)

Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract). - Andreas Steigmiller; Birte Glimm (Description Logics, 2020)

Parallelised ABox Reasoning and Query Answering with Expressive Description Logics. - Andreas Steigmiller; Birte Glimm (ESWC, 2021)

Query Answering and Scaling Extensions of Konclude. - Andreas Steigmiller; Birte Glimm; Thorsten Liebig (SemREC@ISWC, 2021)

openCypher over RDF: Connecting Two Worlds. - Michael Schmidt 002; Brad Bebee; Willem Broekema; Mohamed Elzarei; Carlos Manuel López Enríquez; Marcin Neyman; Florian Schmedding; Andreas Steigmiller; Bryan B. Thompson; Geo Varkey; Gregory Todd Williams; Amanda Xiang (ISWC (Posters/Demos/Industry), 2024)

openCypher Queries over Combined RDF and LPG Data in Amazon Neptune. - Willem Broekema; Mohamed Elzarei; Ora Lassila; Carlos-Manuel López-Enríquez; Marcin Neyman; Florian Schmedding; Michael Schmidt 002; Andreas Steigmiller; Geo Varkey; Gregory Todd Williams; Amanda Xiang (ISWC (Posters/Demos/Industry), 2024)