Ну процесс, то уже пошёл: http://www.w3.org/2001/sw/
Причем формализовать предполагается все тексты.
Вот и хотелось бы кроме ширины устроить глубину;)
- научные тексты составляют малую и хорошо структурированную часть всех текстов. Или точнее - предмет научных статей хорошо структурирован:)
- предложение же состоит в том, чтобы сразу (всем) писать "формально".
Грубо говоря этому будут учить в школе, для начала в высшей.
Как сейчас всех учат арифметике и алгебре;)
- просто научный сотрудник будет писать не статью, а добавку в "базу знаний".
Причем в случае математики его попросят привести полное доказательство. А то что это такое - Григорий Перельман в доказательстве гипотезы Пункаре пропускает куски и потом два профессора, два года их восстанавливают;)