Joshua Jeremias Hirschbrunn gewinnt den eXXcellence Award 2023
Mit seiner Masterarbeit mit dem Titel “Extending Description Logics with Generic Concepts” hat Joshua Jeremias Hirschbrunn eine wichtige Grundlagenarbeit für generische Beschreibungslogiken geleistet. Sprachen, die Beschreibung von Wissen und insbesondere die Ableitung von automatischen und gültigen Schlussfolgerungen, ist hochkomplex. Ziel ist es, neue Konzepte und Semantiken zu finden, um Wissensrepräsentation besser, generischer und damit einfacher zu formulieren. Joshua hat bewährte Konzepte aus der Objektorientierung aufgegriffen und diese mit neuen Ideen kombiniert. Damit leistet er einen echten wissenschaftlichen Beitrag.
Für seine herausragende und innovative Abschlussarbeit gratulieren wir Joshua Jeremias Hirschbrunn herzlich und verleihen ihm den eXXcellence Award 2023!
Abstract
Description Logics (DLs) are a family of knowledge representation languages employed for automatic reasoning. Stating knowledge in a DL often produces a number of very similar statements (axioms) that only differ in small details. This motivates a method to abstract from similar facts to less, more general ones. Such a method is introduced in this thesis. Taking inspiration from the usage of generic clases in object-oriented programming, we extend the syntax of classical DLs to generic DLs. This generic extension allows formulating and defining generic concepts using variables that intuitively range over all possible concepts. We consider two alternative semantics for the generic extension, one based on replacing variables by concepts and one on seeing variables as arbitrary subsets of the interpretation domain. While in general the two differ in their properties and the consequences they entail, we analyze the generic extension of the EL DL to find a fragment where the semantics coincide. This allows to combine the advantages of the two semantics, including the establishment of semi-decidability for (the fragment of) generic EL. We conclude with the possibility of achieving decidability and of broadening the generic extension to DL roles and individuals.