Новое определение языка веб-онтологий OWL2

• Published in: Доповіді НАН України
• Date: 2018
• Main Author: Кургаев, А.Ф.
• Format: Article
• Language: Russian
• Published: Видавничий дім "Академперіодика" НАН України 2018
• Subjects: Інформатика та кібернетика
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/141124
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Новое определение языка веб-онтологий OWL2 / А.Ф. Кургаев // Доповіді Національної академії наук України. — 2018. — № 3. — С. 22-35. — Бібліогр.: 15 назв. — рос.

Даны в метаязыке нормальных форм знаний (НФЗ) описания манчестерского синтаксиса и синтаксиса функционального стиля языка веб-онтологий OWL 2 — центрального языка семантического стека Тима Бернерс-Ли. Наличие таких описаний гарантирует реализуемость языка OWL 2 с реализацией интерпретатора метаязыка НФЗ. Показано, что выразительные возможности метаязыка НФЗ для формального описания OWL 2 вполне сопоставимы с выразительными возможностями метаязыка Extended Backus-Naur Form. Дано у метамові нормальних форм знань (НФЗ) описи манчестерського синтаксису й синтаксису функціонального стилю мови веб-онтологій OWL 2 — центральної мови семантичного стека Тіма Бернерс-Лі. Наявність таких описів гарантує реалізуємість мови OWL 2 з реалізацією інтерпретатора метамови НФЗ. Показано, що виразні можливості метамови НФЗ для формального опису OWL 2 цілком порівняні з виразними можливостями метамови Extended Backus-Naur Form. In the metalanguage of normal forms of knowledge (NFK), we give descriptions of the Manchester syntax and syntax of the functional style of the web ontology language OWL 2 — the central language of the semantic stack by Tim Berners-Lee. The availability of such descriptions guarantees that OWL 2 can be implemented as long as the interpreter of the NFK meta-language is implemented first. It is shown that the expressive capabilities of the NFK meta-language for the description of OWL 2 are quite comparable with the expressive capabilities of the meta-language of Extended Backus-Naur Form.