Ефективний алгоритм логічного аналізу 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 |