Mots clés : sémantique naturelle,
contraintes globales, vérification statique .
Avec le développement fulgurant d'Internet et
l'utilisation de ses standards comme mode de diffusion et de
représentation de données mais aussi en intranet, la
conception des sites Web devient une activité de plus en plus
importante. Or, si les outils qui existent actuellement
permettent de structurer syntaxiquement l'information, il n'y
a pas à l'heure actuelle d'outils de vérification de la
cohérence sémantique de cette information.
La notion de vérification sémantique est fondamentale, car
c'est elle qui peut assurer la qualité et la cohérence d'un
site à travers le temps en particulier lors des mises à jour
et des refontes des sites. Cette vérification passe par une
phase déclarative dans laquelle des règles globales sont
données. Ces règles permettent par la suite de s'assurer que,
quand un site est modifié, il vérifie toujours les règles
imposées.