2024
Patents
Программное средство предназначено для проверки выполнения сложно-структурированных онтологических соглашений для информационных единиц (информационных ресурсов — баз знаний и баз данных), формируемых в соответствии с орграфовой связной двухуровневой моделью. Онтологические соглашения описываются на разработанном языке логико-математических формул с использованием терминов онтологии (1 уровень), что позволяет затем выполнять их проверку для любой сформированной по этой онтологии целевой базы знаний или данных (2 уровень). Тип ЭВМ: IBM PC-совмест. ПК, ОС: Windows 10 Pro 64-bit; Debian GNU/Linux 12 (Ядро 6.1).