Hi, If you happen to be interested in query languages: I have collected some thoughts how a constraint/query language can supplement/control TM merging: http://topicmaps.it.bond.edu.au/docs/23/toc cheers, \rho PS: We are looking for Ph.D. students.