Ефективний алгоритм логічного аналізу OWL 2 EL онтологій з типізованими виразами на базі логічного процесору ELK
Багаторазово і регулярно висловлювалася думка, що типізовані вирази з використанням конкретних типів даних матимуть першорядну роль в Семантичної павутині і необхідні для cтворення баз знань. У цій статті ми представляємо модифікацію високопродуктивного логічного процесора ELK з підтримкою типізован...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Igor Sikorsky Kyiv Polytechnic Institute
2012-11-01
|
Series: | Adaptivni Sistemi Avtomatičnogo Upravlinnâ |
Online Access: | http://asac.kpi.ua/article/view/30710 |