XTche - A Language for Topic Maps Schema and Constraints

This paper describes the design of a new language to formally specify constraints over Topic Maps. This language allows to express contextual conditions on classes of Topic Maps and the corresponding processing syntem.With XTche ,a topic map designer defines a set of restrictions that enables to verify if a particular topic map is semantically valid.As the manual checking of large topic maps (frequent in real cases)is impossible,it is mandatory to provide an automatic validator.