Une spécification formelle explicite de la représentation des objets, des concepts et autres entités qui peuvent exister dans certains domaines d'intérêt et les relations entre eux. Voir aussi Web Ontology Language.