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

Тут явно какое-то недопонимание про ту часть тусовки онтологов, на которую я пытаюсь указать. Главный критик decidability как раз John Sowa. Он регулярно говорит, что "требуется выразительность, никогда не требуется decidability". Ну, и он же говорит, что "ни один подход не закрывает проблемы" и пропагандирует микротеории и сознательно недоопределённый верхний уровень онтологии. Момент, когда данные переходят в онтологию -- это очень тонкий момент. В ISO 15926 этот момент тоже не решён: пришлось в том числе повторять сущности части 2 в части 4 (т.е. дублировать модель данных в онтологии, а это кривовато). Я согласен, что начинать нужно с данных, в явном виде учитывать модальности. Плюс учитывать лингвистику (тот же Sowa замечает, что без лингвистики онтология закрывает только небольшую часть задач). Ну, и помнить про http://ailev.livejournal.com/1045081.html (отношения "презентации-репрезентации" ведь основные в мостике между данными и онтологией).