Office Hours

With appointment.

Dr. Andreas Steigmiller

Since March 2018 I work as postdoctoral researcher in the DFG project “Conjunctive Query Answering for Expressive Description Logics”. Before that, I did my PhD here at the University of Ulm and I also obtained some helpful experience and skills in the industry since then.

My main research interests are logic-based knowledge representation and automated reasoning. In particular, I optimise reasoning procedures and systems for more expressive Description Logics, which are often the foundation of well-known knowledge representation languages such as OWL. A result of my work is also the reasoning system Konclude, which won several awards in international competition due to its good performance.  

Further Information

  • Research Interests

    Logic-based formalisms are often used for knowledge representation since they allow for flexibly modelling an application domain. In addition, automated reasoning allows for making implicit knowledge explicit, which can, for example, be used for gaining new information or for checking the modelling. Well-known knowledge representation languages, such as the Web Ontology Language (OWL), are based on description logics which have been specifically developed for knowledge representation. More expressive description logics provide more expressive language features to model the application domain in more detail, but they usually also require more sophisticated and often less efficient reasoning procedures.

    During my PhD studies, we developed different algorithms and optimisations that make reasoning for many real-world ontologies on standard reasoning tasks more efficient even if the ontologies use features of more expressive description logics. In particular, we developed different caching methods, new absorption algorithms (i.e., rewriting of axioms in the ontology), and coupling techniques. The latter often enable a simple and very efficient saturation of a big part of the knowledge base such that the slower tableau algorithm has only to be used for few more complicated parts.

    The aim of the current DFG project is the optimisation of answering conjunctive queries for more expressive description logics. Although conjunctive queries are a foundational element of more comprehensive query languages such as SPARQL, most SPARQL engines do not consider anonymous individuals (together with other more expressive language features) and, therefore, may not determine all possible results. By developing appropriate absorption techniques, we plan to obtain a query answering apporach that is reasonably efficient for real-world ontologies despite considering the features of more expressive description logics.

  • Projects

    I currently work in the DFG project “Conjunctive Query Answering for Expressive Description Logics”.

  • Software

    A result of my PhD studies is the reasoning system Konclude, which won several awards in international competitions due to its performance. As part of my current work, I will continue the development of Konclude, especially by integrating different algorithms and optimisations for answering conjunctive queries.

    I also developed a framework for evaluating OWL reasoners (ORE Competition Framework), which has been used for different competitions and evaluations.

Publications

2019

18.
Steigmiller , Andreas ; Glimm , Birte
Absorption-Based Query Answering for Expressive Description Logics
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Editor , Proceedings of the 18th International Semantic Web Conference (ISWC 2019) Band 11778 aus Lecture Notes in Computer Science , Seite 593--611
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Editor
Herausgeber: Springer International Publishing , Cham
2019
ISBN: 978-3-030-30793-6
https://link.springer.com/chapter/10.1007%2F978-3-030-30793-6_34
17.
Steigmiller , Andreas ; Glimm , Birte
Absorption-Based Query Entailment Checking for Expressive Description Logics
Proceedings of the 32nd International Workshop on Description Logics (DL 2019) Band 2373 aus CEUR Workshop Proceedings ,
Herausgeber: CEUR-WS.org
2019
http://ceur-ws.org/Vol-2373/paper-25.pdf
http://ceur-ws.org/Vol-2373/paper-25.pdf

2017

16.
Parsia , Bijan ; Matentzoglu , Nicolas ; Goncalves , Rafael S. ; Glimm , Birte ; Steigmiller , Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
Journal of Automated Reasoning (JAR) , 59 (4) :455--482
2017
DOI: 10.1007/s10817-017-9406-8
https://doi.org/10.1007/s10817-017-9406-8
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/PMGG17a.pdf

2016

15.
Steigmiller , Andreas
Optimisation of tableau-based reasoning systems for expressive description logics
University of Ulm, Germany
2016
https://oparu.uni-ulm.de/xmlui/handle/123456789/4042?locale-attribute=en
http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-4042-6
14.
Parsia , Bijan ; Matentzoglu , Nicolas ; S. Goncalves , Rafael ; Glimm , Birte ; Steigmiller , Andreas
The OWL Reasoner Evaluation (ORE) 2015 Resources
In Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil, Editor , Proceedings of the 15th International Semantic Web Conference (ISWC 2016) Band 9982 aus Lecture Notes in Computer Science , Seite 159--167
In Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil, Editor
Herausgeber: Springer-Verlag
2016
http://link.springer.com/chapter/10.1007%2F978-3-319-46547-0_17
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/PMGG16a.pdf

2015

13.
Steigmiller , Andreas ; Glimm , Birte ; Liebig , Thorsten
Completion Graph Caching for Expressive Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL 2015) ,
Herausgeber: CEUR Workshop Proceedings
2015
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGL15a.pdf
12.
Steigmiller , Andreas ; Glimm , Birte
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Journal of Artificial Intelligence Research , 54 :535--592
2015
DOI: 10.1613/jair.4897
http://jair.org/media/4897/live-4897-9009-jair.pdf
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGl15b.pdf
11.
Parsia , Bijan ; Matentzoglu , Nicolas ; S. Goncalves , Rafael ; Glimm , Birte ; Steigmiller , Andreas
The OWL Reasoner Evaluation (ORE) 2015 Competition Report
In Thorsten Liebig and Achille Fokoue, Editor , Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 14th International Semantic Web Conference (ISWC 2015) Band 1457 aus CEUR Workshop Proceedings , Seite 2--15
In Thorsten Liebig and Achille Fokoue, Editor
Herausgeber: CEUR-WS.org
2015
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/PMGG15a.pdf

2014

10.
Steigmiller , Andreas ; Glimm , Birte ; Liebig , Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning , 53 (4) :351-405
2014
Herausgeber: Springer-Verlag
DOI: 10.1007/s10817-014-9310-4
http://link.springer.com/article/10.1007/s10817-014-9310-4
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14c.pdf
9.
Steigmiller , Andreas ; Liebig , Thorsten ; Glimm , Birte
Konclude: System Description
Journal of Web Semantics: Science, Services and Agents on the World Wide Web , 27 (1)
2014
http://www.websemanticsjournal.org/index.php/ps/article/view/366/388
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StLG14a.pdf
8.
Steigmiller , Andreas ; Glimm , Birte ; Liebig , Thorsten
Optimised Absorption for Expressive Description Logics
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, Editor , Proceedings of the 27th International Workshop on Description Logics (DL 2014) Band 1193 aus CEUR Workshop Proceedings ,
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, Editor
Herausgeber: CEUR-WS.org
2014
http://ceur-ws.org/Vol-1193/paper_49.pdf
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14b.pdf
7.
Steigmiller , Andreas ; Glimm , Birte ; Liebig , Thorsten
Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures
In Stéphane Demri, Deepak Kapur and Christoph Weidenbach, Editor , Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) Band 8562 aus Lecture Notes in Computer Science , Seite 449-463
In Stéphane Demri, Deepak Kapur and Christoph Weidenbach, Editor
Herausgeber: Springer-Verlag
2014
DOI: 10.1007/978-3-319-08587-6_35
http://link.springer.com/chapter/10.1007/978-3-319-08587-6_35#
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14a.pdf

2013

6.
Steigmiller , Andreas ; Glimm , Birte ; Liebig , Thorsten
Extending Absorption to Nominal Schemas
Proceedings of the 26th International Description Logic Workshop (DL 2013) ,
Herausgeber: CEUR Workshop Proceedings
2013
http://ceur-ws.org/Vol-1014/paper_20.pdf
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13b.pdf
5.
Steigmiller , Andreas ; Glimm , Birte ; Liebig , Thorsten
Nominal Schema Absorption
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) ,
Herausgeber: AAAI Press/The MIT Press
2013
http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6629
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13a.pdf

2012

4.
Steigmiller , Andreas ; Liebig , Thorsten ; Glimm , Birte
Extended Caching and Backjumping for Expressive Description Logics
, Proceedings of the 25th International Description Logic Workshop (DL 2012) Band 846 aus CEUR Workshop Proceedings ,
June 2012
http://ceur-ws.org/Vol-846/paper_36.pdf
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12b.pdf
3.
Steigmiller , Andreas ; Liebig , Thorsten ; Glimm , Birte
Extended Caching, Backjumping and Merging for Expressive Description Logics
, Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) Band 7364 aus Lecture Notes in Computer Science , Seite 514-529
June 2012
DOI: 10.1007/978-3-642-31365-3_40
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12a.pdf
2.
Steigmiller , Andreas ; Liebig , Thorsten ; Glimm , Birte
Extended Caching, Backjumping and Merging for Expressive Description Logics
Dokument Nummer: TR-2012-01
University of Ulm
2012
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui/Ulmer_Informatik_Berichte/2012/UIB-2012-01.pdf

2010

1.
Liebig , Thorsten ; Steigmiller , Andreas ; Noppens , Olaf
Scalability via Parallelization of OWL Reasoning
Proceedings of the 4th International Workshop on New Forms of Reasoning for the Semantic Web: Scalable and Dynamic (NeFoRS 2010) ,
2010
fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/nefors10-liebig.pdf