Selected publications regarding key result 3:

SOMA and Subontologies

  1. Daniel Beßler, Robert Porzel, Pomarlan Mihai, Michael Beetz, Rainer Malaka, and John Bateman. A Formal Model ofAffordances for Flexible Robotic Task Execution. In Proc. of the 24th European Conference on Artificial Intelligence (ECAI), 2020b.
  2. Daniel Beßler, Robert Porzel, Pomarlan Mihai, and Michael Beetz. Foundational Models for Manipulation Activity Parsing. In Timothy Jung, M. Claudia tom Dieck, and Philipp A. Rauschnabel, editors, Augmented Reality and Virtual Reality – Changing Realities in a Dynamic World. Springer, 2019.
  3. Daniel Beßler, Robert Porzel, Pomarlan Mihai, and Michael Beetz. Foundational Models for Manipulation Activity Parsing. In Timothy Jung, M. Claudia tom Dieck, and Philipp A. Rauschnabel, editors, Augmented Reality and Virtual Reality – Changing Realities in a Dynamic World. Springer, 2019b.
  4. Mohammed Diab, Mihai Pomarlan, Daniel Beßler, Aliakbar Akbari, Jan Rosell, John Bateman, and Michael Beetz. An Ontology for Failure Interpretation in Automated Planning and Execution. In Fourth Iberian Robotics conference, ROBOT’19, pages 381–390. Springer, 2019.
  5. Alberto Olivares-Alarcos, Daniel Beßler, Alaa Khamis, Paulo Goncalves, Maki Habib, Julita Bermejo, Marcos Barreto, Mohammed Diab, Jan Rosell, João Quintas, Joanna Olszewska, Hirenkumar Nakawala, Edison Pignaton, Amelie Gyrard, Stefano Borgo, Guillem Alenyà, Michael Beetz, and Howard Li. A Review and Comparison of Ontology-based Approaches to Robot Autonomy. The Knowledge Engineering Review, 34:e29, 2019.
  6. John Bateman, Michael Beetz, Daniel Beßler, Asil Kaan Bozcuoglu, and Mihai Pomarlan. Heterogeneous Ontologies and Hybrid Reasoning for Service Robotics: The EASE Framework. In Anibal Ollero, Alberto Sanfeliu, Luis Montano, NunoLau, and Carlos Cardeira, editors, ROBOT 2017: Third Iberian Robotics Conference, pages 417–428, Cham, 2018a.Springer International Publishing.
  7. Daniel Beßler, Mihai Pomarlan, Aliakbar Akbari, Mohammed Diab, Jan Rosell, John Bateman, Michael Beetz, et al. Assembly planning in cluttered environments through heterogeneous reasoning. In Joint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz), pages 201–214. Springer, 2018b.
  8. Daniel Beßler, Mihai Pomarlan, and Michael Beetz. OWL-enabled Assembly Planning for Robotic Agents. In Proceedings of the 2018 International Conference on Autonomous Agents, AAMAS ’18, Stockholm, Sweden, 2018c. Finalist for the Best Robotics Paper Award.

Ontology Approximation

  1. Anneke Haga, Carsten Lutz, Johannes Marti, and Frank Wolter. A Journey into Ontology Approximation: From Non-Horn to Horn. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pages 1827–1833. ijcai.org, 2020.
  2. Jean Christoph Jung, Carsten Lutz, and Frank Wolter. Least General Generalizations in Description Logic: Verification and Existence. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020, pages 2854–2861. AAAI Press, 2020d.
  3. Anneke Bötcher, Carsten Lutz, and Frank Wolter. Ontology Approximation in Horn Description Logics. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, pages 1574–1580. AAAI Press, ijcai.org, 2019.
  4. Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, and Frank Wolter. Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, pages 1682–1688. ijcai.org, 2019.
  5. Anneke Bötcher, Carsten Lutz, and Frank Wolter. Complete Approximations of Horn DL Ontologies. In Magdalena Ortiz and Thomas Schneider, editors, Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th – to – 29th, 2018, volume 2211 of CEUR Workshop Proceedings. CEUR-WS.org, 2018.
  6. André Hernich, Carsten Lutz, Fabio Papacchini, and Frank Wolter. Horn-Rewritability vs PTime Query Evaluation in Ontology- Mediated Querying. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, pages 1861–1867. ijcai.org, 2018a.