Eine formale Darstellung von Wissen, die es einem Computer ermöglicht, Beziehungen zwischen verschiedenen Konzepten und Entitäten zu verstehen.