Formale Ontologie
Definition
Eine formale Ontologie beschreibt Begriffe mit maschineninterpretierbarer Bedeutung.
Klassen, Beziehungen und logische Aussagen werden in einer Sprache mit festgelegter Semantik ausgedrückt. Dadurch lassen sich bestimmte Folgerungen und Widersprüche automatisiert untersuchen.
Einfach erklärt
Ein Fachwörterbuch erhält präzise Regeln darüber, wie seine Begriffe zusammenhängen.
Warum das im Alltag wichtig ist
Das unterstützt konsistentes Wissen und regelgestützte KI-Anwendungen.
Beispiel aus dem Mittelstand
Fiktiv: Ein Betrieb modelliert Produktklassen und unzulässige Kombinationen.
Grenzen und Fallstricke
- Formale Konsistenz bedeutet nicht, dass die zugrunde liegenden Annahmen wahr oder vollständig sind.
Entstehung & Geschichte
Der Ansatz verbindet Wissensrepräsentation mit formaler Logik; OWL ist eine verbreitete Umsetzung.
Anwendung im Mittelstand
- KMU sollten mit einem klar abgegrenzten Fachbereich beginnen.
Häufige Fragen
Ist eine Schlagwortliste schon eine formale Ontologie?
Nein, dafür fehlen meist explizite logische Bedeutungen.
Quellen
- OWL 2 Overview — · W3C: OWL 2 Overview —
Redaktionell geprüft am: