| Title: | Один язык для спецификации онтологий |
| Authors: | Плесневич, Г. С. |
| Keywords: | материалы конференций;онтология;искусственный интеллект;задача Steamroller;Бинарная Модель Знаний |
| Issue Date: | 2014 |
| Publisher: | БГУИР |
| Citation: | Плесневич, Г. С. Один язык для спецификации онтологий / Г. С. Плесневич // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года) / редкол.: В. В. Голенков (отв. ред.) [и другие]. – Минск : БГУИР, 2014. – С. 143 - 146. |
| Abstract: | Описывается некоторый язык для спецификации онтологий, входящий в систему «Бинарная Модель Знаний», которая предназначена для спецификации и интерпретации онтологий. Определен синтаксис, денотативная и операционная семантика этого языка. Рассматривается записанная в этом языке онтология, представляющая известную задачу Steamroller. Показано, как можно решить эту задачу, используя продукционный вывод. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/26150 |
| Appears in Collections: | OSTIS-2014
|
