Seminar Theoretical Computer Science

Prof. Dr.-Ing. Franz Baader, PD Dr.-Ing. habil. Anni-Yasmin Turhan

Course Description

This seminar covers topics on Learning in Description Logics.

Ontologies function as means for expressing knowledge in terms of description logics. In particular, these are finite sets of axioms that can express assertional knowledge, that is, statements about particular individuals, as well as terminological knowledge, that is, statements that simultaneously hold true for all individuals. On the one hand, such ontologies can be constructed manually by experts in the domain of interest and, on the other hand, these can be generated (semi-)automatically from given data and observations. For the latter case, we shall consider some approaches within this seminar.

Prerequisites: It would be useful if at least one of the courses Description Logic and Logic-Based Ontology Engineering has been attended.

Organisation

Available topics are sketched and assigned to interested students in an initial meeting on Monday, October 15, 14:50–16:20, in room APB/3027. Further organisational matters are covered there as well. Students who cannot attend the initial meeting, but want to participate in the seminar, should contact Anni-Yasmin Turhan.

Each participant must get acquainted with the respective topic, write a report (ca. 12 pages) about it, and give a presentation (ca. 30 minutes) at the end of the semester (more specifically, in the two weeks before the lecture-free period). During the semester, every student gets individual help and guidance by a tutor (Anni-Yasmin Turhan or Francesco Kriegel). Furthermore, each student is expected to participate in the discussions after the talks given by her/his fellow students.

The students are expected to stick to the following schedule.

• beginning of November: mandatory meeting with the tutor
• beginning of December: first complete version of the report
• beginning of January: first complete version of the presentation slides
• end of January: presentation and discussion

Topics

• Franz Baader, Ralf Küsters, and Ralf Molitor (1999). Computing Least Common Subsumers in Description Logics with Existential Restrictions. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. Ed. by Thomas Dean. Morgan Kaufmann, pp. 96–103
  Access Document
• Jens Lehmann and Pascal Hitzler (2010). Concept learning in description logics using refinement operators. In: Machine Learning 78.1-2, pp. 203–250
  Access Document
• Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, and Michael Schroeder (2015). Formalizing biomedical concepts from textual definitions. In: J. Biomedical Semantics 6, p. 22
  Access Document
• Daniel Borchmann, Felix Distel, and Francesco Kriegel (2016). Axiomatisation of general concept inclusions from finite interpretations. In: Journal of Applied Non-Classical Logics 26.1, pp. 1–46
  Access Document
• Boris Konev, Ana Ozaki, and Frank Wolter (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. Ed. by Dale Schuurmans and Michael P. Wellman. AAAI Press, pp. 1008–1015
  Access Document
• Franz Baader, Bernhard Ganter, Baris Sertkaya, and Ulrike Sattler (2007). Completing Description Logic Knowledge Bases Using Formal Concept Analysis. In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. Ed. by Manuela M. Veloso, pp. 230–235
  Access Document
• Víctor Gutiérrez-Basulto, Jean Christoph Jung, and Leif Sabellek (2018). Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. Ed. by Jérôme Lang. ijcai.org, pp. 1847–1853
  Access Document

SWS/Modules

SWS: 0/2/0
This course can be used in the following modules:

• Master Computational Logic: MCL-PS
• Master Informatik, Diplom Informatik: INF-04-HS, INF-AQUA, INF-D-940