“…Технологічні компоненти, що здатні забезпечити ефективне та надійне середовище для комунікації, описано в роботах (Romano & Schmid, 2017;Protocol Labs, 2016;Li et al, 2017). Понятійний апарат передбачає оперування концептами "дані", "інформація", "знання" та їхніми відношеннями (Wang, 2015;Liew, 2007). Онтологічний інжиніринг (Feilmayr, & Wöß, 2016;Noy, & McGuinness, 2001) та здійснення міркування з використанням теорії типів (Dapoigny, & Barlatier, 2008;Hafsi, Dapoigny & Bolon, 2015) у межах асистента доведення теорем Сoq (Cog, 2017) пропонують сучасний підхід до управління базами знань.…”