GFO (General Formal Ontology) - Entwicklung einer Basis-Ontologie für die Wissensmodellierung

Das Ziel dieses Forschungsprojektes liegt in der Entwicklung einer stabilen und ausdrucksmächtigen Ontologie (Top-Level Ontologie), welche als Grundlage der Wissensmodellierung in verschiedenen Anwendungsbereichen dienen soll. Beispiele für ontologische Top-Level Konzepte in der jetzigen Version von GFO sind u.a. taxonomische, mereotopologische, räumliche, temporale Relationen sowie Eigenschaftsrelationen und Situationen.