DeciGUT

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

DeciGUT

A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
DeciGUT Logo


Forschungsgruppe

Personen


  •   Kontaktperson Sebastian Rudolph
  •   1. Oktober 2018 – 30. September 2023
  •   finanziert durch European Research Council

Das Projekt befasst sich mit den formalen Grundlagen der Wissensverarbeitung und ihren Anwendungen in der heutigen Informationsgesellschaft. Zu deren grundlegenden Herausforderungen zählen der intelligente Zugriff auf digitale Datenbestände sowie die automatische Verknüpfung von Informationen aus verschiedenen Quellen. Hilfreich bei der Bewältigung dieser Aufgaben sind sogenannte Ontologien, in welchen relevantes Hintergrundwissen formallogisch beschrieben wird. Der Einsatz von Ontologien und Techniken des automatischen Schlussfolgerns ermöglicht einen besseren, "bedeutungsgerechten" Umgang mit den Daten.

Leider lässt sich automatisches Schlussfolgern für sehr ausdrucksstarke Ontologiesprachen nicht algorithmisch umsetzen – sie sind unentscheidbar. Die Suche nach "guten" Ontologiesprachen besteht also darin, möglichst ausdrucksstarke aber immer noch entscheidbare logische Formalismen zu identifizieren. Bisher sind die erzielten Resultate in diesem Gebiet jedoch uneinheitlich und fragmentarisch.

Ziel des Projekts DeciGUT ist die Schaffung einer vereinheitlichten Theorie der Entscheidbarkeit, welche dann wiederum die Definition neuer, fortgeschrittener Ontologiesprachen ermöglichen wird.

Das Projekt hat eine hohe Relevanz für diverse Wissenschaftsfelder wie mathematische Logik, künstliche Intelligenz und Datenbanktheorie mit potenziell weitreichenden praktischen Auswirkungen, etwa in den Bereichen Semantische Technologien und Informationssysteme.


Artikel in Tagungsbänden

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics
Proceedings of the 31st International Workshop on Description Logics (DL 2018), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download