Проверка соответствий онтологий для национального цифрового двойника
Работа задаёт формальный критерий корректности связей между онтологиями цифрового двойника — согласованность и консервативность объединённой онтологии. Подход проверен на стандарте обмена информацией IES и тринадцати онтологиях, опирающихся на BOT, Brick и SAREF4BLDG, с этапами сопоставления, ручной проверки, сертификации и логического вывода в HermiT.