Web sites and semantics

Abstract

A lot of efforts done in the word of the Web aims to facilitate data representation and data mining. This is done most of the time by a syntactic formalisation of knowledge or information using languages such as XML or RDF using an hypertext structure. We claim that this is not sufficient and that we need to provide a way of specifying semantic (global) constraints over Web sites to be able to mechanically perform some verifications and proof-reading during the life time of the site, using some software engineering technics.