Artificial Intelligence Group (Prof. Stuckenschmidt)

Our group conducts fundamental and applied research in knowledge representation formalisms with a focus on reasoning techniques for information extraction and integration. Our work is centered around:

  • Standard reasoning including description logic reasoning and non-standard reasoning techniques (explanations and debugging techniques)
  • Combining Probabilistic reasoning and Utility Theory with Description Logics
  • Applications in various domains (web data integration and management, semantic web, ontology matching, context-aware applications, Business Process Management etc.)  



Postdoctoral Researchers


PhD Students

Alumni (only finished PhDs)

  • Dr. Elena Beisswanger (2013): "Developing Ontological Background Knowledge for Biomedicine".
  • Dr. Arnab Dutta (2016): "Automated Knowledge Base Extension Using Open Information".
  • Dr. Rim Helaoui (2016): "On Leveraging Statistical and Relational Information for the Representation and Recognition of Complex Human Activities".
  • Prof. Dr. Kai Eckert (2012): "Usage-driven maintenance of knowledge organization systems".
  • Dr. Daniel Fleischhacker (2016): "Detecting Errors in Linked Data Using Ontology Learning and
    Outlier Detection".
  • Dr. Christian Meilicke (2011): "Alignment Incoherence in Ontology Matching".
  • Dr. Jan Noessner (2014): "Efficient Maximum A-Posteriori Inference in Markov Logic and Application in Description Logics".
  • Dr. Christoph Pinkel (2016): "Incremental, Interactive,Inter-Model Mapping Generation".
  • Dr. Anne Schlicht (2012): "Scaling Up Description Logic Reasoning by Distributed Resolution".
  • Dr. Caecilia Zirn (2016): "Fine-grained Position Analysis for Political Texts".

Selected Publications

Markov Logic Reasoning:


Activity Recognition:

Ontology Matching:


  • MWK Project: A Virtual Open Science Collaboration Environment
  • ZIM Project: A motio-visual Sensor System for Spare Part Logstics
  • DFG Project: Practical Probabilistic Reasoning in Knowledge Graphs
  • DFG Project: Matching Representations at different Levels of Granularity
  • SFB 884: Political Economy of Reforms
  • Different Industry Projects

Software and Data

  • ALCOMO (a tool for repairing ontology alignments)
  • Rockit (a query engine for Markov Logic)
  • ELOG (a reasoner for log-linear description logics)
  • NELL2DBpedia (an evaluation gold standard for linking NELL entities to DBPedia instances)



Conference Item

  • Erman Acar, Gianluigi Greco and Marco Manna Group reasoning in social environments. In: AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems : Sao Paulo, Brazil, May 8 - 12, 2017; 1296-1304. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2017.
  • Melisachew Wudage Chekol, Giuseppe Pirrò, Jörg Schönfisch and Heiner Stuckenschmidt Marrying uncertainty and time in knowledge graphs. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence and the Twenty-Ninth Innovative Applications of Artificial Intelligence Conference : February 4–9, 2017, San Francisco, California USA; 88-94. AAAI Press, San Francisco, CA, 2017.
  • Melisachew Wudage Chekol, Giuseppe Pirrò, Jörg Schönfisch and Heiner Stuckenschmidt TeCoRe: temporal conflict resolution in knowledge graphs. In: Proceedings of the VLDB EndowmentProceedings of the VLDB Endowment : 43. International Conference on Very Large Data Bases; Iss. 12, 1929-1932. Association of Computing Machinery, New York, NY, 2017.
  • Melisachew Wudage Chekol and Heiner Stuckenschmidt Rule based temporal inference. In: Open access series in informaticsTechnical Communications of the 33rd International Conference on Logic Programming (ICLP 2017); Article 4, 1-14. Dagstuhl Publishing, Wadern, 2017.
  • Alexander Diete, Timo Sztyler, Lydia Weiland and Heiner Stuckenschmidt Recognizing grabbing actions from inertial and video sensor data in a warehouse scenario. In: Procedia computer science14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2017) / 12th International Conference on Future Networks and Communications (FNC 2017) / Affiliated Workshops; 16-23. Elsevier, Amsterdam [u.a.], 2017.
  • Elena Kuss, Henrik Leopold, Christian Meilicke and Heiner Stuckenschmidt Ranking-based evaluation of process model matching. In: Lecture notes in computer scienceOn the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I; 298-305. Springer, Cham, 2017.
  • Christian Meilicke, Daniel Ruffinelli, Andreas Nolle, Heiko Paulheim and Heiner Stuckenschmidt Fast ABox consistency checking using incomplete reasoning and caching. In: Lecture notes in computer scienceRules and Reasoning : International Joint Conference : RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings; tba. Springer International Publishing, Cham, 2017.
  • Timo Sztyler and Heiner Stuckenschmidt Online personalization of cross-subjects based activity recognition models on wearable devices. In: PerCom 2017 : The Fifteenth Annual IEEE International Conference on Pervasive Computing and Communications : March 13-17, 2017, Big Island, HI, USA; 180-189. IEEE Computer Society, Piscataway, NJ, 2017.
  • Christoph Kilian Theil, Sanja Štajner, Heiner Stuckenschmidt and Simone Paolo Ponzetto Automatic detection of uncertain statements in the financial domain. In: Lecture notes in computer scienceComputational linguistics and intelligent text processing : 18th International Conference; tba. Springer, Berlin ; Heidelberg, 2017.
  • Lydia Weiland, Ioana Hulpus, Simone Paolo Ponzetto and Laura Dietz Using object detection, NLP, and knowledge bases to understand the message of images. In: Lecture notes in computer scienceMultiMedia Modeling : 23rd International Conference, MMM 2017, Reykjavik, Iceland, January 4-6, 2017, Proceedings, Part II; 405-418. Springer International Publishing, Cham, 2017.
  • Sanja Štajner, Mark Franco-Salvador, Simone Paolo Ponzetto, Paolo Rosso and Heiner Stuckenschmidt Sentence alignment methods for improving text simplification systems. In: The 55th Annual Meeting of the Association for Computational Linguistics - proceedings of the conference : July 30-August 4, 2017, Vancouver, Canada : ACL 2017; 97-102. Association for Computational Linguistics, Stroudsburg, PA, 2017.
  • Sanja Štajner, Goran Glavaš, Simone Paolo Ponzetto and Heiner Stuckenschmidt Domain adaptation for automatic detection of speculative sentences. In: IEEE 11th International Conference on Semantic Computing ICSC 2017 : 30 January - 1 February 2017, San Diego, California : proceedings; 164-171. IEEE Computer Society, Los Alamitos, CA [u.a.], 2017.
  • Sanja Štajner, Simone Paolo Ponzetto and Heiner Stuckenschmidt Automatic assessment of absolute sentence complexity. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017) : Melbourne, Australia 19-25 August 2017; 4096-4102. International Joint Conferences on Artificial Intelligence, Melbourne, 2017.

Book Section

Workshop Item