Andreas Steigmiller

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 Opens external link in new windowHochschule 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 Opens external link in new windowKonclude, 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 Opens external link in new windowKonclude, which already shows impressive performance.

In July 2012 I received a scholarship for my PhD by the Opens external link in new windowState Postgraduate Scholarships Act (Landesgraduiertenförderungsgesetz, LGFG).



All :: 2010, 2012, 2013, 2014, 2015
References per page: Show keywords Show abstracts
Andreas Steigmiller Person and Birte Glimm Person
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Journal of Artificial Intelligence Research, 54:535--592
Andreas Steigmiller Person, Birte Glimm Person and Thorsten Liebig Person
Completion Graph Caching for Expressive Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
Bijan Parsia, Nicolas Matentzoglu, Rafael S. Goncalves, Birte Glimm Person and Andreas Steigmiller Person
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.
Export as: