Formal Ontology

ist eine eigene wissenschaftliche Disziplin, die versucht Dinge, Strukturen und Prozesse formal auf Grundlage von Kategorien zu beschreiben. Beispiel für eine solche Beschreibung ist die “General Formal Ontology”: