Ontologie-basierte Semantik und Implementierung von Ontologien

Formale Sprachen im Allgemeinen sowie die Implementierung von Ontologien in verschiedenen logischen Formalismen erfordern einen theoretischen Rahmen, der formalismenübergreifende Übersetzungen bzw. die Integration solcher Implementierungen ermöglicht. In diesem Projekt wird ein solches Rahmenwerk als "Ontologie-basierte Semantik" entwickelt und bei der Implementierung der Top-level Ontologie GFO eingesetzt. Über die theoretischen Grundlagen hinaus wird die Umsetzung der Ergebnisse in Software zur Unterstützung der formalisierten Repräsentation von Ontologien verfolgt.

Projektleiter

Mitarbeiter

• Frank Loebe
• Prof. Dr. Markus Löffler
• Magnus Knuth
• Prof. Dr. Heinrich Herre