Cover Image

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

Даны в метаязыке нормальных форм знаний (НФЗ) описания манчестерского синтаксиса и синтаксиса функционального стиля языка веб-онтологий OWL 2 — центрального языка семантического стека Тима Бернерс-Ли. Наличие таких описаний гарантирует реализуемость языка OWL 2 с реализацией интерпретатора метаязы...

Full description

Saved in:

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

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Новое определение SPARQL — языка запросов Semantic Web
by: Кургаев, А.Ф.
Published: (2018)

Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний
by: Кургаев, А.Ф., et al.
Published: (2017)

Реоптимізація проблем про узагальнену виконуваність з предикатами розмірності 2
by: Сергієнко, І.В., et al.
Published: (2012)

Формализация списков в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2017)

Элементы прикладной теории электромагнитных дефектоскопов
by: Божко, А.Е., et al.
Published: (2007)

Ітераційні методи для обчислення зважених псевдообернених матриць зі змішаними вагами на основі їх розвинення у матричні степеневі ряди
by: Варенюк, Н.А., et al.
Published: (2020)

Мультигруппы, индуцируемые произвольным отношением
by: Бондаренко, М.Ф., et al.
Published: (2012)

Поліноміальний метод наближеного розв'язання комбінаторної задачі знаходження максимального потоку в мережі
by: Ємець, О.О., et al.
Published: (2013)

О дифференциальных играх с геометрическими и интегральными ограничениями
by: Белоусов, А.А.
Published: (2014)

О дифференциальных играх с интегральными ограничениями и цилиндрическим терминальным множеством
by: Белоусов, А.А.
Published: (2013)

Дифференциальные игры с интегральными ограничениями и импульсными управлениями
by: Белоусов, А.А.
Published: (2013)

Нечеткие спецификации логического вывода в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)

Моделирование одного класса сложных систем с нечетким управлением
by: Шевченко, А.И., et al.
Published: (2013)

Численный анализ одной нелинейной математической модели
by: Шевченко, А.И., et al.
Published: (2012)

Моделирование сложных теплофизических систем с применением нечеткой логики
by: Шевченко, А.И., et al.
Published: (2014)

Слепые мультиподписи на основе стандартов ДСТУ 4145-2002 и ГОСТ Р 34.10-2001
by: Кочубинский, А.И., et al.
Published: (2012)

Математическое моделирование одного класса сложных систем с применением нечеткой логики
by: Шевченко, А.И., et al.
Published: (2013)

Об аналоге формулы Коши для линейных систем произвольного дробного порядка
by: Чикрий, А.А., et al.
Published: (2007)

Об одном классе интегральных функционалов с неизвестной областью интегрирования
by: Шевченко, А.И., et al.
Published: (2014)

Оптимальное управление термонапряженным состоянием полого длинного цилиндра
by: Дейнека, В.С., et al.
Published: (2012)

Моделирование потенциально-вихревого течения со свободной границей с применением нечеткой логики
by: Шевченко, А.И., et al.
Published: (2013)

Осесимметричное потенциально-вихревое течение со свободной границей
by: Шевченко, А.И., et al.
Published: (2014)

Качественные свойства решений одного класса эволюционных систем
by: Шевченко, А.И., et al.
Published: (2015)

О сравнительном анализе дифференцирующих звеньев с эмиттерными повторителями
by: Божко, А.Е.
Published: (2008)

Сингуларисные переходные функции звеньев систем автоматического управления
by: Божко, А.Е.
Published: (2009)

Качественный анализ систем регулирования нейтрального типа в условиях неопределенности с позиций функций Ляпунова
by: Шатырко, А.В.
Published: (2012)

О некоторых особенностях в реализации дискретных оптимальных управлений колебательными системами
by: Божко, А.Е.
Published: (2007)

Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
by: Пынько, А.П.
Published: (2007)

О возможности воспроизведения прямоугольного управляющего импульса электромагнитным вибровозбудителем
by: Божко, А.Е.
Published: (2008)

О сингуларисном разложении скачкообразной функции
by: Божко, А.Е.
Published: (2008)

О K-теории динамических систем, соответствующих графам, и ее применении
by: Устименко, В.А.
Published: (2013)

О Фурье-сингуларисном разложении несинусоидальных сигналов
by: Божко, А.Е.
Published: (2010)

Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
by: Пынько, А.П.
Published: (2011)

О полной динамической структуре электромагнитного вибровозбудителя
by: Божко, А.Е.
Published: (2008)

О Фурье-комбинированном сингуларисном разложении периодических несинусоидальных сигналов
by: Божко, А.Е.
Published: (2010)

О сохранении ключей в табличных алгебрах
by: Сенченко, А.С.
Published: (2015)

Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
by: Пынько, А.П.
Published: (2008)

Поиск программных инвариантов в виде полиномов
by: Максимец, А.Н.
Published: (2013)

Эволюционная модель хаотических волновых процессов в сложных динамических системах на основе теории матричной декомпозиции
by: Крот, А.М.
Published: (2019)

Сингуларисная форма регулярных сигналов в системах автоматического управления
by: Божко, А.Е.
Published: (2009)