L'ontologie est une représentation formelle des connaissances en tant que jeu de concepts dans un domaine et les relations entre ces concepts. Ces concepts et relations créent des structures de graphiques et peuvent être décrites par la théorie du réseau ou d'autres modèles mathématiques.