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.)  

People

Professors

Postdoctoral Researchers

Researchers

PhD Students

  • Erman Acar: knowledge representation, decision and game theory
  • Taha Alhersh (from October 2016)
  • Elena Kuss: Process Matching
  • Andreas Nolle (external): Ontology-based Data Access, Debugging
  • Daniel Ruffinelli (from October 2016)

Alumni

  • 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".

Selected Publications

Automated Decision Making:

  • Nico Potyka, Erman Acar, Matthias Thimm and Heiner Stuckenschmidt. Group decision making via probabilistic belief merging. In: Proceedings of 25th International Joint Conference on Artificial Intelligence (IJCAI '16), New York, USA, 9-15 July 2016, AAAI Press, New York, NY, 2016.
  • Erman Acar, Camilo Thorne and Heiner Stuckenschmidt. Towards Decision Making via Expressive Probabilistic Ontologies. In: Lecture Notes in Computer Science Algorithmic Decision Theory : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings; 52-68. Springer, Cham, 2015.

 

Markov Logic Reasoning:

  • Melisachew Wudage Chekol, Jakob Huber, Christian Meilicke, Heiner Stuckenschmidt : Markov Logic Networks with Numerical Constraints. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), The Hague, Netherlands.
  • Jan Noessner, Mathias Niepert and Heiner Stuckenschmidt. RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models. In: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2012, Bellevue, Washington, USA; 739-745. AAAI Press, Menlo Park, Calif., 2013

 

Activity Recognition:

  • Daniele Riboni, Timo Sztyler, Gabriele Civitarese and Heiner Stuckenschmidt: Unsupervised Recognition of Interleaved Activities of Daily Living through Ontological and Probabilistic Reasoning. In Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp '2016), Heidelberg, Germany.
  • Rim Helaoui, Daniele Riboni and Heiner Stuckenschmidt. A probabilistic ontological framework for the recognition of multilevel human activities. In: The 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '13, Zurich, Switzerland, September 8-12, 2013; 345-354. ACM, New York, NY, 2013.

Ontology Matching:

Projects

  • MWK Project: A Virtual Open Science Collaboration Environment
  • ZIM Project: A motio-visual Sensor System for Spare Part Logstics
  • 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)

Publications

Article

  1. Jakob Huber, Mathias Niepert, Jan Noessner, Jörg Schönfisch, Christian Meilicke and Heiner Stuckenschmidt. An infrastructure for probabilistic reasoning with web ontologies. Semantic web (tba), IOS Press, tba, 2016.

Conference Item

  1. Melisachew Wudage Chekol, Jakob Huber, Christian Meilicke and Heiner Stuckenschmidt. Markov logic networks with numerical constraints. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), The Hague, Netherlands [?]; tba. tba, tba, 2016.
  2. Melisachew Wudage Chekol and Giuseppe Pirrò. Containment of expressive navigational SPARQL queries. In: Proceedings of the 15th International Semantic Web Conference (ISWC) 2016 : October 17-21, Kobe, Japan; tba. tba, tba, 2016.
  3. Elena Kuss, Henrik Leopold, Han van der Aa, Heiner Stuckenschmidt and Hajo A. Reijers. Probabilistic evaluation of process model matching techniques. In: Proceedings of The 35th International Conference on Conceptual Modeling Nov. 14-17, 2016, Gifu, Japan; tba. Springer, tba, 2016.
  4. Andreas Nolle, Christian Meilicke, Melisachew Wudage Chekol, German Nemirovski and Heiner Stuckenschmidt. Schema-based debugging of federated data sources. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), The Hague, Netherlands [?]; tba. tba, tba, 2016.
  5. Heiko Paulheim and Heiner Stuckenschmidt. Fast approximate A-box consistency checking using machine learning. In: Lecture notes in computer science The Semantic Web. Latest Advances and New Domains : 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Proceedings; 135-150. Springer International Publishing, Cham, 2016.
  6. Nico Potyka, Erman Acar, Matthias Thimm and Heiner Stuckenschmidt. Group decision making via probabilistic belief merging. In: 25th International Joint Conference on Artificial Intelligence, New York, USA, 9-15 July 2016 [?]; tba. AAAI Press, New York, NY, 2016.
  7. Daniele Riboni, Timo Sztyler, Gabriele Civitarese and Heiner Stuckenschmidt. Unsupervised recognition of interleaved activities of daily living through ontological and probabilistic reasoning. In: UbiComp '16 : proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing : Sep. 12-16, co-located with the International Symposium on Wearable Computers (ISWC) 2016; 1-12. ACM, New York, NY, 2016.
  8. Timo Sztyler and Heiner Stuckenschmidt. On-body localization of wearable devices : an investigation of position-aware activity recognition. In: 2016 IEEE International Conference on Pervasive Computing and Communications : PerCom 2016, Sydney, Australia, March 14-19, 2016; 1-9. IEEE Computer Society, Piscataway, NJ, 2016.
  9. Lydia Weiland, Ioana Hulpus, Simone Paolo Ponzetto and Laura Dietz. Understanding the message of images with knowledge base traversals. In: ICTIR 2016 : The 2nd ACM International Conference on the Theory of Information Retrieval, University of Delaware, Newark, DE, USA, September 13-16, 2016; tba. ACM, New York, NY, 2016.

Workshop Item

  1. Melisachew Wudage Chekol and Heiner Stuckenschmidt. Uncertain temporal knowledge graphs. Proceedings of the 12th International Workshop on Uncertainty Reasoning for the Semantic Web, 2016.
  2. Alexander Diete, Timo Sztyler, Lydia Weiland and Heiner Stuckenschmidt. Exploring a multi-sensor picking process in the future warehouse. UbiComp/ISWC'16 Adjunct : Adjunct proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016.
  3. Jörg Schönfisch and Heiner Stuckenschmidt. Analyzing real-world SPARQL queries in the light of probabilistic data. Proceedings of the 12th International Workshop on Uncertainty Reasoning for the Semantic Web, 17. - 18. October 2016 - Workshop Day, Kobe, Japan, 2016.
  4. Sanja Štajner, Nicole Baerg, Simone Paolo Ponzetto and Heiner Stuckenschmidt. Automatic detection of speculation in policy statements. NLP+CSS workshop at Web Science 2016 May 22, 2016, Hannover, Germany : proceedings, 2016.

Book Section

  1. Timo Sztyler, Josep Carmona, Johanna Völker and Heiner Stuckenschmidt. Self-tracking reloaded : applying process mining to personalized health care from labeled sensor data. In: Maciej Koutny, Transactions on Petri nets and other models of concurrency XI; 160-180, Springer, Berlin ; Heidelberg ; New York, NY, 2016.