XTche
http://www.idealliance.org/proceedings/xml04/abstracts/paper114.html

Librelotto, Giovani Rubert, José Carlos Ramalho and Pedro Rangel Henriques
IDEAlliance
2004

Abstract:

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.