Andreas Steigmiller

23 papers A* 1A 2B 1Journal 4Unranked 12
YearRankTypeTitle / Venue / Authors
2024 — conf
openCypher Queries over Combined RDF and LPG Data in Amazon Neptune.
ISWC (Posters/Demos/Industry)
Willem Broekema, Mohamed Elzarei, Ora Lassila, Carlos-Manuel López-Enríquez, Marcin Neyman, Florian Schmedding, Michael Schmidt, Andreas Steigmiller, Geo Varkey, Gregory Todd Williams, Amanda Xiang
2024 — conf
openCypher over RDF: Connecting Two Worlds.
ISWC (Posters/Demos/Industry)
Michael Schmidt, 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
2021 B conf
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics.
ESWC
Andreas Steigmiller, Birte Glimm
2021 — conf
Query Answering and Scaling Extensions of Konclude.
SemREC@ISWC
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2020 — conf
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract).
Description Logics
Andreas Steigmiller, Birte Glimm
2019 — conf
Absorption-Based Query Answering for Expressive Description Logics.
ISWC (1)
Andreas Steigmiller, Birte Glimm
2019 — conf
Absorption-Based Query Entailment Checking for Expressive Description Logics.
Description Logics
Andreas Steigmiller, Birte Glimm
2017 J jnl
The OWL Reasoner Evaluation (ORE) 2015 Competition Report.
J. Autom. Reason.
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
2016 — ch.
Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken.
Ausgezeichnete Informatikdissertationen
Andreas Steigmiller
2016 — —
Optimisation of tableau-based reasoning systems for expressive description logics.
Andreas Steigmiller
2016 — conf
The OWL Reasoner Evaluation (ORE) 2015 Resources.
ISWC (2)
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
2015 — conf
Completion Graph Caching for Expressive Description Logics.
Description Logics
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2015 J jnl
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures.
J. Artif. Intell. Res.
Andreas Steigmiller, Birte Glimm
2015 — conf
The OWL Reasoner Evaluation (ORE) 2015 Competition Report.
SSWS@ISWC
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
2014 A conf
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures.
IJCAR
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2014 — ed.
Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014.
ORE
Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
2014 J jnl
Konclude: System description.
J. Web Semant.
Andreas Steigmiller, Thorsten Liebig, Birte Glimm
2014 — conf
Optimised Absorption for Expressive Description Logics.
Description Logics
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2014 J jnl
Reasoning with Nominal Schemas through Absorption.
J. Autom. Reason.
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2013 — conf
Extending Absorption to Nominal Schemas.
Description Logics
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2013 A* conf
Nominal Schema Absorption.
IJCAI
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
2012 — conf
Extended Caching and Backjumping for Expressive Description Logics.
Description Logics
Andreas Steigmiller, Thorsten Liebig, Birte Glimm
2012 A conf
Extended Caching, Backjumping and Merging for Expressive Description Logics.
IJCAR
Andreas Steigmiller, Thorsten Liebig, Birte Glimm