Sprechstunde

Nach Vereinbarung.

Dr. Andreas Steigmiller

Seit März 2018 arbeite ich als akademischer Mitarbeiter in dem DFG Projekt „Beantwortung Konjunktiver Anfragen für Ausdrucksstarke Beschreibungslogiken“. Zuvor habe ich an der Universität Ulm promoviert und anschließend auch einige hilfreiche Erfahrungen und Erkenntnisse in der Industrie gesammelt.

Hauptsächlich beschäftige ich mich mit der logikbasierten Wissensrepräsentation und dem automatischen Schlussfolgern. Insbesondere optimiere ich Schlussfolgerungsprozeduren und -systeme für ausdrucksstärkere Beschreibungslogiken, welche häufig die Grundlage von bekannten Wissensrepräsentationssprachen (z.B. OWL) darstellen. Ein Ergebnis meiner Arbeiten ist auch das Schlussfolgerungssystems Konclude, welches aufgrund der guten Performance mehrere Preise in internationalen Wettbewerben gewinnen konnte.

Weitere Information

  • Forschung

    Zur Wissensrepräsentation werden häufig logikbasierte Formalismen verwendet, da diese eine flexible Modellierung der Anwendungsdomäne erlauben. Zudem können durch automatisches Schlussfolgern implizite Zusammenhänge explizit gemacht werden können, was sich zum Beispiel für das Gewinnen neuer Erkenntnisse und das Überprüfen der Modellierung einsetzen lässt. Bekannte Wissensrepräsentationssprachen, wie beispielsweise die Web Ontology Language (OWL), basieren häufig auf Beschreibungslogiken, welche speziell zur Wissensrepräsentation entwickelt wurden. Ausdrucksstärkere Beschreibungslogiken stellen umfangreichere Sprachkonstrukte bereit, um die Anwendungsdomäne genauer modellieren zu können, benötigen dann aber oftmals aufwendigere und weniger effiziente Schlussfolgerungsalgorithmen.

    Während meiner Promotion haben wir verschiedene Algorithmen und Optimierungen entwickelt, mit denen auch das Schlussfolgern mit ausdrucksstärkeren Beschreibungslogiken zu Standardfragestellungen für viele praktische Wissensbasen effizient durchgeführt werden kann und im Vergleich zu aktuellen Systemen häufig eine deutliche Verbesserung darstellt. Unter anderem handelt es sich dabei um verschiedene Cachingverfahren, neue Absorbierungsansätze (d.h. Umschreiben von Axiomen in der Wissensbasis) und Kopplungstechniken von Tableau und Saturierungsverfahren, womit häufig ein Großteil einer Wissensbasis sehr effizient mit einer einfachen Saturierung behandelt werden kann und dann nur für den schwierigeren Teil auf den aufwendigeren Tableau-Algorithmus zurückgegriffen werden muss.

    Das Ziel des DFG Projekts ist es nun, auch die Beantwortung von komplexeren Fragestellungen in Form von konjunktiven Anfragen für ausdrucksstärkere Beschreibungslogiken zu optimieren. Solche konjunktiven Anfragen sind zwar grundlegender Bestandteil von umfangreicheren Abfragesprachen wie SPARQL, allerdings beachten die meisten Beantwortung- und Behandlungsansätze für SPARQL keine anonyme Individuen von ausdrucksstärkeren Beschreibungslogiken (zusammen mit anderen ausdrucksstärkeren Sprachkonstrukten) und liefern somit nicht immer alle möglichen Antworten. Mit der Entwicklung von speziellen Absorbierungsverfahren wollen wir die Beantwortung von konjunktiven Anfragen trotz der Berücksichtigung von anonymen Individuen hinreichend effizient für die Praxis bekommen.

  • Projekte

  • Software

    Während meiner Promotion ist das Schlussfolgerungssystem Konclude entstanden, welches sich durch seine hohe Performance auszeichnet. Im Rahmen meiner aktuellen Arbeit werde ich an Konclude als Hauptentwickler weiterarbeiten und insbesondere verschiedene Algorithmen und Optimierungen für die Behandelung von konjunktiven Abfragen integrieren.

    Ich habe auch ein Framework für die Evaluierung von OWL Schlussfolgerungssystemen entwickelt (ORE Completition Framework), welches für verschiedene Wettbewerbe eingesetzt wurde.

Publikationen

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

2017

15.
pdf
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

2016

14.
pdf
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.
Herausgeber: Springer-Verlag,
2016

2015

13.
pdf
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
12.
pdf
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
11.
pdf
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.
Herausgeber: CEUR-WS.org,
2015

2014

10.
pdf
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
9.
pdf
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning, 53(4):351-405
2014
8.
pdf
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
Herausgeber: CEUR-WS.org,
2014
7.
pdf
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.
Herausgeber: Springer-Verlag,
2014

2013

6.
pdf
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
Export als: BibTeX, XML