Action : AID - Aide à la vérification sémantique de sites Web

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00066000000000000000" id= "SECTION00066000000000000000">Aide à la vérification sémantique de sites Web</a></h2>  <a name="AID_resultats_result-semantique" id= "AID_resultats_result-semantique"></a> <a name="semantique" id="semantique"></a> <p><strong>Mots clés :</strong> <i>sémantique, sites Web, services adaptatifs, Web Semantics, approches formelles, sémantique naturelle, typage, vérification, Centaur, CLF, adaptation à l'utilisateur, personnalisation .</i></p> <p><br /> <br /> <span class="textbf">Participants :</span> Thierry Despeyroux, Brigitte Trousse.<br /> <br /></p> <p>Nous avons poursuivi notre évaluation de l'apport d'une sémantique de style sémantique naturelle [<a href= "bibliographie_ct.html#Kahn87" target="contents">Kah87</a>] pour la spécification et la vérification d'une page Web, voire d'un site Web [<a href= "bibliographie_ct.html#DT01a" target= "contents">14</a>,<a href="bibliographie_ct.html#DT01b" target="contents">13</a>].</p> <p>Notre motivation au niveau du ``Web dsSémantique'' concerne principalement l'aide à la spécification et à la vérification de sites Web. Très peu de travaux abordent la vérification sémantique de sites, que ce soit avec des techniques issues de l'IA ou du génie logiciel : citons l'un d'eux (en IA) WebMaster [<a href= "bibliographie_ct.html#Harmelen99a" target= "contents">HM99</a>].</p> <p>Notre approche est inspirée de travaux précédents en sémantique des langages de programmation, traçant un parallèle entre la syntaxe des langages de programmation et la structure des sites Web (ou de documents semi-structurés) et entre la sémantique des programmes et la sémantique des sites Web, appliquant des notions de types et de règles sémantiques aux documents présents sur le Web.</p> <p>Cette année, nous nous sommes d'une part affranchis du système Centaur utilisé précédemment, d'autre part nous nous sommes intéressés à des données réelles (comme des pages Web du site de l'Inria et aussi des données d'analyse générées en XML à partir d'une base de données).</p> <p>Si on rapproche la vérification de systèmes d'information de la notion de compilation de programmes, apparaît rapidement la nécessité d'exprimer des règles de dépendance comme celles qui apparaissent dans un « makefile ». Cependant, la complexité de la structure d'un système d'information nous a fait toucher les limites d'un programme tel que « make »: manipulation d'un grand nombre de fichiers et de répertoires, délocalisation, utilisation de données accessibles par leur URL etc. .</p> <p>Nos travaux ont fait l'objet d'une présentation à deux conférences internationales (HYPERTEXT'01 et Webnet'01).</p> <hr /> </body>