IRC Channel #topicmaps@irc.freenode.net