Modelit is a planned software system for collaborative reasoning unlike any other I know of.