Без заголовка

Для меня граница проходит не там, где начинают обсуждать decidability, а там, где начинают сравнивать заведомо неработающие подходы к reasoning (как в письме John Sowa и слайдах из предыдущего письма треда). Это знак, что люди более увлечены религиозными вопросами, чем практикой и аспектами удобства работы с данными. Нужно ли данным вообще переходить в онтологию? Нет. Различные наборы правил (микротеории, онтологии, ...) могут присутствовать в программном обеспечении на местах. Это код. Для машин, для людей. Код тоже данные, но есть разница. Можно переслать .mp3 файл с музыкой, а можно исходный код синтезатора и .pdf с нотами - компилируйте, читайте и играйте, если получится.