Вебсайт -- http://iringug.org, заметки по сегодняшней встрече -- http://iringug.org/wiki/index.php?title=Kickoff_Meeting (весь наш десяток человек называется в этих заметках Victor Agroskin, а еще было много безымянных участников типа Сaller25).
Софт лежит тут: http://code.google.com/p/iring-tools/
Как видно из страницы http://iringug.org/wiki/index.php?title=Donors, стоимость инфраструктуры оценивается в $2000 в год (всего, а не с носа), что легко покрывается спонсорами. А членство в этой пользовательской группе оказывается бесплатным. А мы-то боялись...
Вместо финансового ценза там есть вполне явный интеллектуальный ценз (например, в тексте ISO 15926-7 есть леммы и их доказательства, которые требуют знаний по логике. А еще вы должны знать, что такое triple store. Ну, и так далее). Вот с этим интеллектуальным цензом проблемы пока остаются. Царских путей в эту 4D страну онтологического изобилия ещё не проложено, все пионеры и первопроходцы, многие в звериных шкурах.