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

На онтологфоруме очередная итерация закукливания "давайте снова придумаем самый лучший ризонинг для всего, в прошлый семантиквеб получилось неубедительно". При этом, за пределы логики первого порядка вылезать не умеют или не желают. В это же время, весь остальной мир работает с разными микротеориями, применяя адекватные для разных случаев инструменты (от Agda до Python), и первым порядком не ограничиваясь. Разбираться же надо именно с данными. Единообразно моделировать всё - будь то Class, ClassOfClass, WholeLifeIndividual или темпоральная часть. Осуществлять нормализацию модальностей. И только тогда получается настоящая интеграция данных, потому что для авторов тех самых инструментов на Agda/Python/whatever становится дешевле и понятнее воспользоваться системным решением, чем изобретать свои ad hoc схемы взаимодействия.