2024
Патенты, свидетельства на программные продукты
2024685895
Модуль проверки онтологических соглашений для баз знаний и данных на платформе IACPaaS / Правообладатель - ИАПУ ДВО РАН, авторы Москаленко Ф.М., Тимченко В.А. Свидетельство о регистрации программы для ЭВМ 2024685895. Опубл. 02.11.2024. Бюл. №11. Заявка № 2024685346 28.10.2024.
Программное средство предназначено для проверки выполнения сложно-структурированных онтологических соглашений для информационных единиц (информационных ресурсов — баз знаний и баз данных), формируемых в соответствии с орграфовой связной двухуровневой моделью. Онтологические соглашения описываются на разработанном языке логико-математических формул с использованием терминов онтологии (1 уровень), что позволяет затем выполнять их проверку для любой сформированной по этой онтологии целевой базы знаний или данных (2 уровень). Тип ЭВМ: IBM PC-совмест. ПК, ОС: Windows 10 Pro 64-bit; Debian GNU/Linux 12 (Ядро 6.1).