Conçus à partir d'un langage formel - la logique du

premier ordre -, les systèmes de gestion de bases de données

relationnels servent de médiateurs entre l'individu et la

machine, dispensant ainsi celui-ci de tâches fastidieuses. La

Toile, avec les moteurs de recherche, s'est muée en bibliothèque

numérique à l'échelle de la planète. Aujourd'hui, de

nouveaux systèmes informatiques font émerger des masses

de données disponibles une «intelligence collective». Un des

grands défis des années à venir est de développer les technologies

qui permettront de trouver, d'évaluer, de valider,

de vérifier, de hiérarchiser l'information pour construire la

«Toile des connaissances» de demain.