L'objectif visé sur cet axe est d'élaboration des mécanismes optimaux pour la structuration des connaissances sous formes des ontologies et pour le raisonnement sur ces connaissances dans le contexte du Web sémantique. De façon générale, nos actions de recherche visent la représentation des connaissances pour le web sémantique, c'est-à-dire la représentation d'ontologies et d'annotations sémantiques de ressources disponibles sur le web, et au raisonnement sur ces connaissances. Nous nous intéressons d'une part aux méthodes de décomposition heuristique des ontologies afin d'obtenir une organisation optimisée, et d'autre part à l'étude d'une structure générique de représentation à base de graphes. Dans cette perspective, nous travaillons à  la conception d'une plate-forme générique de représentation de connaissances. Notre objectif est d'abstraire les mécanismes communs aux différents langages du web sémantique et de définir un langage générique noyau. Cela permettra à  terme le développement simultané d'extensions pour tous les langages définis à  partir de ce noyau. Parallèlement à  cette action visant la généricité de représentation, nous travaillons sur les mécanismes de raisonnement permettant la construction et l'exploitation des ontologies d'un domaine et des annotations des documents, personnes, services, processus, etc. relatifs à  un domaine, une communauté. Notre objectif est d'établir des algorithmes efficaces de recherche d'information par sémantique du contenu et de validation de bases d'annotations par satisfaction de contraintes sémantiques. Enfin, dans le contexte actuel d'une relance de l'activité des groupes de travail du W3C pour la définition de standards OpenMath et MathML dédiés la publication de contenu mathématique sur le web, nous contribuons à étudier les relations qui existent entre ces standards et ceux du Web sémantique. L'idée est de pouvoir extraire automatiquement de ces langages d'échange des annotations sémantiques de contenus mathématiques sur le web, afin de permettre une recherche d'information sémantique dans l'espace web de documents scientifiques.