Новое определение языка веб-онтологий OWL2
Даны в метаязыке нормальных форм знаний (НФЗ) описания манчестерского синтаксиса и синтаксиса функционального стиля языка веб-онтологий OWL 2 — центрального языка семантического стека Тима Бернерс-Ли. Наличие таких описаний гарантирует реализуемость языка OWL 2 с реализацией интерпретатора метаязы...
Збережено в:
| Опубліковано в: : | Доповіді НАН України |
|---|---|
| Дата: | 2018 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2018
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/141124 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Новое определение языка веб-онтологий OWL2 / А.Ф. Кургаев // Доповіді Національної академії наук України. — 2018. — № 3. — С. 22-35. — Бібліогр.: 15 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Новое определение SPARQL — языка запросов Semantic Web
за авторством: Кургаев, А.Ф.
Опубліковано: (2018)
за авторством: Кургаев, А.Ф.
Опубліковано: (2018)
Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)
Реоптимізація проблем про узагальнену виконуваність з предикатами розмірності 2
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2012)
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2012)
Формализация списков в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф.
Опубліковано: (2017)
за авторством: Кургаев, А.Ф.
Опубліковано: (2017)
Элементы прикладной теории электромагнитных дефектоскопов
за авторством: Божко, А.Е., та інші
Опубліковано: (2007)
за авторством: Божко, А.Е., та інші
Опубліковано: (2007)
Ітераційні методи для обчислення зважених псевдообернених матриць зі змішаними вагами на основі їх розвинення у матричні степеневі ряди
за авторством: Варенюк, Н.А., та інші
Опубліковано: (2020)
за авторством: Варенюк, Н.А., та інші
Опубліковано: (2020)
Мультигруппы, индуцируемые произвольным отношением
за авторством: Бондаренко, М.Ф., та інші
Опубліковано: (2012)
за авторством: Бондаренко, М.Ф., та інші
Опубліковано: (2012)
Поліноміальний метод наближеного розв'язання комбінаторної задачі знаходження максимального потоку в мережі
за авторством: Ємець, О.О., та інші
Опубліковано: (2013)
за авторством: Ємець, О.О., та інші
Опубліковано: (2013)
О дифференциальных играх с геометрическими и интегральными ограничениями
за авторством: Белоусов, А.А.
Опубліковано: (2014)
за авторством: Белоусов, А.А.
Опубліковано: (2014)
О дифференциальных играх с интегральными ограничениями и цилиндрическим терминальным множеством
за авторством: Белоусов, А.А.
Опубліковано: (2013)
за авторством: Белоусов, А.А.
Опубліковано: (2013)
Дифференциальные игры с интегральными ограничениями и импульсными управлениями
за авторством: Белоусов, А.А.
Опубліковано: (2013)
за авторством: Белоусов, А.А.
Опубліковано: (2013)
Нечеткие спецификации логического вывода в системе Гомеопат
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)
Моделирование одного класса сложных систем с нечетким управлением
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)
Численный анализ одной нелинейной математической модели
за авторством: Шевченко, А.И., та інші
Опубліковано: (2012)
за авторством: Шевченко, А.И., та інші
Опубліковано: (2012)
Моделирование сложных теплофизических систем с применением нечеткой логики
за авторством: Шевченко, А.И., та інші
Опубліковано: (2014)
за авторством: Шевченко, А.И., та інші
Опубліковано: (2014)
Слепые мультиподписи на основе стандартов ДСТУ 4145-2002 и ГОСТ Р 34.10-2001
за авторством: Кочубинский, А.И., та інші
Опубліковано: (2012)
за авторством: Кочубинский, А.И., та інші
Опубліковано: (2012)
Математическое моделирование одного класса сложных систем с применением нечеткой логики
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)
Об аналоге формулы Коши для линейных систем произвольного дробного порядка
за авторством: Чикрий, А.А., та інші
Опубліковано: (2007)
за авторством: Чикрий, А.А., та інші
Опубліковано: (2007)
Об одном классе интегральных функционалов с неизвестной областью интегрирования
за авторством: Шевченко, А.И., та інші
Опубліковано: (2014)
за авторством: Шевченко, А.И., та інші
Опубліковано: (2014)
Оптимальное управление термонапряженным состоянием полого длинного цилиндра
за авторством: Дейнека, В.С., та інші
Опубліковано: (2012)
за авторством: Дейнека, В.С., та інші
Опубліковано: (2012)
Моделирование потенциально-вихревого течения со свободной границей с применением нечеткой логики
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)
Осесимметричное потенциально-вихревое течение со свободной границей
за авторством: Шевченко, А.И., та інші
Опубліковано: (2014)
за авторством: Шевченко, А.И., та інші
Опубліковано: (2014)
Качественные свойства решений одного класса эволюционных систем
за авторством: Шевченко, А.И., та інші
Опубліковано: (2015)
за авторством: Шевченко, А.И., та інші
Опубліковано: (2015)
О сравнительном анализе дифференцирующих звеньев с эмиттерными повторителями
за авторством: Божко, А.Е.
Опубліковано: (2008)
за авторством: Божко, А.Е.
Опубліковано: (2008)
Сингуларисные переходные функции звеньев систем автоматического управления
за авторством: Божко, А.Е.
Опубліковано: (2009)
за авторством: Божко, А.Е.
Опубліковано: (2009)
Качественный анализ систем регулирования нейтрального типа в условиях неопределенности с позиций функций Ляпунова
за авторством: Шатырко, А.В.
Опубліковано: (2012)
за авторством: Шатырко, А.В.
Опубліковано: (2012)
О некоторых особенностях в реализации дискретных оптимальных управлений колебательными системами
за авторством: Божко, А.Е.
Опубліковано: (2007)
за авторством: Божко, А.Е.
Опубліковано: (2007)
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
за авторством: Пынько, А.П.
Опубліковано: (2007)
за авторством: Пынько, А.П.
Опубліковано: (2007)
О возможности воспроизведения прямоугольного управляющего импульса электромагнитным вибровозбудителем
за авторством: Божко, А.Е.
Опубліковано: (2008)
за авторством: Божко, А.Е.
Опубліковано: (2008)
О сингуларисном разложении скачкообразной функции
за авторством: Божко, А.Е.
Опубліковано: (2008)
за авторством: Божко, А.Е.
Опубліковано: (2008)
О K-теории динамических систем, соответствующих графам, и ее применении
за авторством: Устименко, В.А.
Опубліковано: (2013)
за авторством: Устименко, В.А.
Опубліковано: (2013)
О Фурье-сингуларисном разложении несинусоидальных сигналов
за авторством: Божко, А.Е.
Опубліковано: (2010)
за авторством: Божко, А.Е.
Опубліковано: (2010)
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
за авторством: Пынько, А.П.
Опубліковано: (2011)
за авторством: Пынько, А.П.
Опубліковано: (2011)
О полной динамической структуре электромагнитного вибровозбудителя
за авторством: Божко, А.Е.
Опубліковано: (2008)
за авторством: Божко, А.Е.
Опубліковано: (2008)
О Фурье-комбинированном сингуларисном разложении периодических несинусоидальных сигналов
за авторством: Божко, А.Е.
Опубліковано: (2010)
за авторством: Божко, А.Е.
Опубліковано: (2010)
О сохранении ключей в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2015)
за авторством: Сенченко, А.С.
Опубліковано: (2015)
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
за авторством: Пынько, А.П.
Опубліковано: (2008)
за авторством: Пынько, А.П.
Опубліковано: (2008)
Поиск программных инвариантов в виде полиномов
за авторством: Максимец, А.Н.
Опубліковано: (2013)
за авторством: Максимец, А.Н.
Опубліковано: (2013)
Эволюционная модель хаотических волновых процессов в сложных динамических системах на основе теории матричной декомпозиции
за авторством: Крот, А.М.
Опубліковано: (2019)
за авторством: Крот, А.М.
Опубліковано: (2019)
Сингуларисная форма регулярных сигналов в системах автоматического управления
за авторством: Божко, А.Е.
Опубліковано: (2009)
за авторством: Божко, А.Е.
Опубліковано: (2009)