Вперше запропоновано формальну модель семантичної анотації математичної залежності як особливого типу знань, яка містить в собі семантичні характеристики математичного виразу й опис засобів його реалізації в інформаційному просторі, що дозволяє створювати семантичні описи зовнішніх по відношенню до онтології інформаційних об'єктів, які реалізують обчислення математичних виразів, та інтегрувати такі описи в онтології як математичні знання. Вперше запропоновано формальну модель інтеграції нового знання, поданого у вигляді математичного виразу, в онтологію предметної галузі на основі застосування семантичної анотації математичної залежності, яка є сполучною ланкою між цільовою онтологією предметної галузі й онтологією опису математичного знання. Це дозволяє розширити семантику відношень в онтології предметної галузі за рахунок використання формального знання про задане відношення, яке описане в термінах онтології математичного знання, що в свою чергу створює можливість використовувати дві інтегровані онтології як одне ціле, не впливаючи на їх життєвий цикл. Вдосконалено метод розширення семантики відношень між об'єктами онтологічної бази знань, що бере за основу метод інтеграції онтологічних структур узгодження онтологій, який, на відміну від аналогів, передбачає уточнення семантичного опису відношень між об'єктами онтологічної структури у вигляді системи додаткових обмежень, що забезпечує можливість інтеграції онтологічних структур з різними чи непересічними контекстами застосування та дозволяє описувати об'єкти однієї онтології в термінах іншої.

• Білоіваненко Максим Вікторович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"