
Ефективний алгоритм логічного аналізу OWL 2 EL онтологій з типізованими виразами на базі логічного процесору ELK
Author(s) -
Александр Сергеевич Поспешный
Publication year - 2012
Publication title -
adaptivnì sistemi avtomatičnogo upravlìnnâ/adaptivni sistemi avtomatičnogo upravlinnâ
Language(s) - Ukrainian
Resource type - Journals
eISSN - 2522-9575
pISSN - 1560-8956
DOI - 10.20535/1560-8956.20.2012.30710
Subject(s) - geography
Багаторазово і регулярно висловлювалася думка, що типізовані вирази з використанням конкретних типів даних матимуть першорядну роль в Семантичної павутині і необхідні для cтворення баз знань. У цій статті ми представляємо модифікацію високопродуктивного логічного процесора ELK з підтримкою типізованих властивостей в рамках профілю OWL 2 EL. Проведені випробування показали виняткову швидкість класифікації великих онтологій зі значною кількістю екземплярів і типізованих властивостей, що відкриває нові перспективи для застосування логічних процесорів на практиці