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

Логический вывод поминать страшно, но верификации на данных ISO 15926 мы начали делать. Остальные как-то с этим не справляются. Очередной шаг в нашей разработке связан как раз с тем, что мы всю эту монструозность хорошо осознали, и теперь начнём её искоренять планомерно. Как я понимаю, зло в реификациях. Они должны быть! OWL зло, ибо их не позволяет! Но они не должны быть всегда, они должны даваться пользователю только тогда, когда это действительно нужно, а не по умолчанию. Нужны мощные средства подъема уровня языка, и при поднятии уровня языка нужно уметь подключать справочные данные (как это делают люди: говорят они коротко, а непонятки решают привлечением контекста -- вычислений становится больше, но зато коммуникация короче). Мы будем экономить коммуникацию, а не вычисления. Вычисления подтянутся, никуда не денутся.