Section: New Results

Keywords : ontologies, consistency verification, validation, natural semantics, XML.

Validation and evolution of ISs and of ontologies

Participant : Thierry Despeyroux.

To support the design, development and maintenance of complex but coherent sites we involve Software Engineering and Artificial Intelligence techniques as there is strong similarities between structured documents (such as Web sites) and programs.

Following previous experiments [83] we develop a new methodology for XML documents verification  [7] . Nowadays, an IS does not only contains documents but it also make references to ontologies, in particular in Semantic Web applications and ontologies engineering is now an important activity

We make a parallel between ontologies and types in programming languages, and we use a small example to show that an ontology can be seen as a type system. When an ontology evolves, studying the impact of this evolution on the semantic annotations that use this ontology can be viewed as a type-checking process. First result has been published in [26] .