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

Мэтью Вест, кстати, очень жёстко пытается различать те онтологии, которые "про мир", а не не-онтологии "про то, как говорять о мире" (как говорить о мире -- это для него DOLCHE, а про мир -- это ISO 15926). Для него это кардинальное различие. А вот Vector3D и ГородЛондон как раз из этих двух разных подходов: первое "как говорят о мире", а второе -- "про мир", и вот этот стык очень мутный. Пару дней назад нам написали, что в нашей методологии инженерии референсных данных одновременно Москва и данные (абстрактный объект), и индивид физического объекта, а это противоречиво. Мы подискутировали, в дискуссии поучаствовал и Мэтью Вест -- когда я сказал, что "данные correspond физической Москве, и это обычный вординг iso 15926", он отметил, что "никакого correspond, ибо отношение между меткой Москва и индивидом Москва называется в стандарте representation". Витя ему флегматично заметил, что отношение между не меткой Москва и индивидом Москва, а URI http://namespace.ru/cities#Moscow и real 4D Moscow object, и это отношение вообще не в онтологии. Мэтью сказал -- а, так у вас тут genuinely model theory. То есть в этом месте стыков компьютерных типов и реальных типов нужно как-то гармонизировать две теории: онтологию (что есть в мире) и теорию моделирования (как данные представляют реальный мир). Теорий две, механизмов два, компьютер и оперативная память одна. Вот с этой унификацией все и мучаются, в этом месте у всех дребезг, компьютерные типы данных и традиционные онтологии после этого и не дружат между собой.