Andreas Steigmiller

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 8

Top Venues

Description Logics

J. Autom. Reason.

ISWC (2)

SSWS@ISWC

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Andreas Steigmiller, Birte Glimm
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics. ESWC (2021)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Query Answering and Scaling Extensions of Konclude. SemREC@ISWC (2021)
Andreas Steigmiller, Birte Glimm
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract). Description Logics (2020)
Andreas Steigmiller, Birte Glimm
Absorption-Based Query Answering for Expressive Description Logics. ISWC (1) (2019)
Andreas Steigmiller, Birte Glimm
Absorption-Based Query Entailment Checking for Expressive Description Logics. Description Logics (2019)
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. J. Autom. Reason. 59 (4) (2017)
Andreas Steigmiller
Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken. Ausgezeichnete Informatikdissertationen (2016)
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
The OWL Reasoner Evaluation (ORE) 2015 Resources. ISWC (2) (2016)
Andreas Steigmiller, Birte Glimm
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. J. Artif. Intell. Res. 54 (2015)
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. SSWS@ISWC (2015)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Completion Graph Caching for Expressive Description Logics. Description Logics (2015)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. IJCAR (2014)
Andreas Steigmiller, Thorsten Liebig, Birte Glimm
Konclude: System description. J. Web Semant. (2014)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Optimised Absorption for Expressive Description Logics. Description Logics (2014)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Reasoning with Nominal Schemas through Absorption. J. Autom. Reason. 53 (4) (2014)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Nominal Schema Absorption. IJCAI (2013)
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Extending Absorption to Nominal Schemas. Description Logics (2013)
Andreas Steigmiller, Thorsten Liebig, Birte Glimm
Extended Caching and Backjumping for Expressive Description Logics. Description Logics (2012)
Andreas Steigmiller, Thorsten Liebig, Birte Glimm
Extended Caching, Backjumping and Merging for Expressive Description Logics. IJCAR (2012)

Andreas Steigmiller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Steigmiller