Dr. Andreas Steigmiller

I left the University of Ulm. This page is no longer maintained.

I studied Computer Science at the University of Ulm and received a master degree in 2011. Before that, I studied Computer Engineering (bachelor) at the Hochschule Ulm. My specialisation and current research interest is pattern recognition and, especially, intelligent systems. In my master thesis at the Institute of Artificial Intelligence I developed a new tableau-based reasoning system, named Konclude, for the description logic SROIQ, which can speed up calculations by using multi core/processor systems.

Since 2012 I am a doctoral student at the Institute of Artificial Intelligence at the University of Ulm and I am working on new optimisations for reasoning systems, which are able to deal with very expressive description logics. Moreover, a main objective of my work is to combine these optimisations with the parallelisation. The practical realisation takes place in the reasoning system Konclude, which already shows impressive performance.

In July 2012 I received a scholarship for my PhD by the State Postgraduate Scholarships Act (Landesgraduiertenförderungsgesetz, LGFG).

Contact

Publications

Preferences

Show keywords Show abstracts

14.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; S. Goncalves, Rafael; Glimm, Birte and 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) Volume 9982 of Lecture Notes in Computer Science , page 159--167.
Publisher: Springer-Verlag,
2016
13.
pdf
Steigmiller, Andreas and Glimm, Birte
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Journal of Artificial Intelligence Research, 54:535--592
2015
12.
pdf
Steigmiller, Andreas; Glimm, Birte and Liebig, Thorsten
Completion Graph Caching for Expressive Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
2015
11.
pdf
Parsia, Bijan; Matentzoglu, Nicolas; S. Goncalves, Rafael; Glimm, Birte and 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) Volume 1457 of CEUR Workshop Proceedings , page 2--15.
Publisher: CEUR-WS.org,
2015
10.
pdf
Steigmiller, Andreas; Liebig, Thorsten and Glimm, Birte
Konclude: System Description
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 27(1)
2014
9.
pdf
Steigmiller, Andreas; Glimm, Birte and Liebig, Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning, 53(4):351-405
2014
8.
pdf
Steigmiller, Andreas; Glimm, Birte and 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) Volume 1193 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2014
7.
pdf
Steigmiller, Andreas; Glimm, Birte and 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) Volume 8562 of Lecture Notes in Computer Science , page 449-463.
Publisher: Springer-Verlag,
2014
6.
pdf
Steigmiller, Andreas; Glimm, Birte and Liebig, Thorsten
Nominal Schema Absorption
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Publisher: AAAI Press/The MIT Press,
2013
5.
pdf
Steigmiller, Andreas; Glimm, Birte and Liebig, Thorsten
Extending Absorption to Nominal Schemas
Proceedings of the 26th International Description Logic Workshop (DL 2013)
Publisher: CEUR Workshop Proceedings,
2013
Export as: BibTeX, XML