La modélisation des connaissances est un thème qui concerne tous les travaux d'extraction, de gestion, et de partage des connaissances (web sémantique). Le but premier d'un formalisme de modélisation est de permettre de modéliser, stocker, et exploiter des données, des informations, ou des connaissances.

Les travaux menés dans ce thème visent aussi à fournir des modélisations précises afin de représenter des informations qui peuvent supporter des raisonnements pertinents.