Similar presentations:
Информационная безопасность. Системы управления знаниями
1. Информационная безопасность
СИСТЕМЫ УПРАВЛЕНИЯ ЗНАНИЯМИПроф. д.эк.н. инж. Владимир Йоцов
Факультет информационных наук
УниБИТ : www.fin.unibit.bg
[email protected]
[email protected]
2. Информационная безопасность: KMS
В информатике, а также в областиискусственного интеллекта и баз знаний
понятие онтологии обозначает формальную
систему для представления набора понятий в
данной предметной области (домейне) и
отношений (реляций) между ними.
3.
роботизированныйбагаж
4. Groundbot / Guardbot
5.
Ehang 184 из Объединенных АрабскихЭмиратов
6. Беспилотные катера
7.
Kuka KR 300 PA [https://www.robots.com/kuka/kr-1000-l950-titan-pa]8.
9.
10.
11. Информационная безопасность: KMS
ОСНОВНЫЕНАПРАВЛЕНИЯ
И ОПРЕДЕЛЕНИЯ
12. Информационная безопасность: KMS
Искусственный интеллект (AI) - 1. Системапрограмм, имитирующая способ решения сложных
человеческих проблем;
2.
Научная область исследований, которая
сопровождает или облегчает создание систем
искусственного интеллекта.
3.
Область информатики, которая занимается
моделированием интеллектуального поведения
(мышления).
13. Искусственный интеллект
• Искусственный интеллект - это симуляция (реализацияпо аналогии) процессов, выполняемых человеческим
интеллектом при помощи машин (чаще всего с
использованием компьютерных систем).
• Эти процессы включают в себя:
• моделирование (создание онтологий и т. д.)
• обучение (получение информации и правил
использования информации)
• рассуждение (использование правил для достижения
определенных целей)
• самокоррекцию
14. Информационная безопасность: KMS
Слабый ИИ (ограниченный ИИ): система, котораяразработана и обучена для решения конкретной
задачи. Виртуальные личные помощники, такие как
Siri от Apple, являются формой слабого ИИ.
Сильный
ИИ (общий интеллект): система с
обобщенными
когнитивными
способностями
человека. Перед лицом неизвестной задачи сильная
система искусственного интеллекта может найти
решение без вмешательства человека.
15. Информационная безопасность: KMS
Предметная область - это областьзнаний, используемая в теориях или в
системе с ИИ.
Инженерия
знаний
(KE)
это
инженерная дисциплина для применения
знаний
в
различных
типах
компьютерных систем для решения
сложных задач, требующих применения
высокого уровня интеллекта.
16. Информационная безопасность: LMS
Эвристика из города «открой» - это методисследования с использованием неформальных
или интуитивных знаний. Эвристика напоминает
информацию или предположения, основанные на
опыте решения таких проблем. Эвристика
позволяет
сократить
многие
варианты,
подходящие для решения поставленной задачи
(целевой вопрос, поставленная задача). При
использовании
эвристики
чаще
всего
гарантируется поиск неоптимальных, а не
оптимальных решений.
17. Информационная безопасность: KMS
Управление знаниями (УЗ/КМ) - этопроцесс
извлечения,
развития,
обмена
и
эффективного
использования
организационной
формы знаний наилучшим образом.
18. Информационная безопасность: KMS
Системы на основе знаний - это всетипы систем, которые используют
знания в объединенной базе данных
или отдельной базе знаний.
Интеллектуальные системы (ИС) - это
специализированная научная акция
ИИ, ориентированная главным
образом на приложения мягких
вычислений: агенты, онтологии,
нечеткие приложения и логические
приложения. В широком смысле это
19. Интеллектуальные системы
Информационная система - это система,предназначенная
для
хранения,
передачи и обработки данных с целью
получения информации, необходимой
пользователю.
Интеллектуальная система - это тип
информационной
системы,
которая
имеет
первичное
предназначение:
накапливает знания и / или сенсорную
информацию
и
имеет
механизмы
принуждения или консультирует людейкогнитивных агентов. Для достижения
этой цели она выбирает действия,
основанные на ее опыте и знаниях, и
может самообучаться.
20.
21. Информационная безопасность: KMS
Распределенные интеллектуальные системыАгент - человек или программное и / или аппаратное
обеспечение,
которое
может
воспринимать
окружающую среду посредством датчиков и влиять
на нее своими элементами управления.
Агент - компьютерная система, ситуированная,
расположенная в определенной среде, которая
способна на автономные действия для решения
поставленных задач.
22. Информационная безопасность: KMS
Агентсензоры
(рецепторы)
восприятия
среда
БЗ
агент
действия
эффекторы
23. Информационная безопасность: KMS
Аналогподсознания:
искусственные
нейронные сети: ANN
Аналог сознания: продукционные системы
(productions): приложения по аналогии с
классической формальной логикой
Датчики: датчики, приборы для измерения
данных.
Эффекторы:
манипуляторы
и
другие
исполнительные
механизмы
для
воздействия на окружающую среду.
24. Информационная безопасность: KMS
Знания - набор информации и правил вывода: дляописания
(моделирования)
мира,
свойств
объектов, закономерностей процессов или явлений
и для описания правил их использования в
процессе принятия решений.
Разница между знаниями и данными заключается в
их структуре, в появлении новых фактов или в
обнаружении новых связей, которые могут
изменить процесс принятия решений.
25. Информационная безопасность: KMS
Они представлены в виде изображений и/илизнаков
естественных
или
искусственных
(формальных)
языков.
Знание
это
противоположность незнанию, другими словами,
отсутствию проверенной информации о чем-либо.
Знание - это данные с прагматическим
оттенком.
26. Информационная безопасность: KMS
Структура систем, основанных на знаниях (СОЗ)27.
Классические логические операторы конъюнкция, дизъюнкция,импликация и отрицание - фундамент формального вывода:
A
B
A˄B
И
И
И
И
Л
Л
Л
И
Л
Л
Л
Л
28.
Дизъюнкция (логическое ИЛИ)A
B
A˅B
И
И
И
И
Л
И
Л
И
И
Л
Л
Л
29. Таблица истинности импликации
MP→MT→
A
B
A→B
И
И
И
И
Л
Л
Л
И
И
Л
Л
И
30.
Отрицание (классическое отрицание)A
¬A
И
Л
Л
И
31.
Приоритет логических операций дизъюнкции,конъюнкции и отрицания (негации) - одинаков.
Приоритет импликации немного выше. Формулы
читаются слева направо. Скобки используются для
изменения приоритета.
Следующие две формулы эквивалентны:
A→B˄A→¬C
И
(((A→B)˄A)→(¬C))
…что не эквивалентно следующей формуле:
A→(B˄A)→¬C
32. Правила вывода
Существуют 21 допустимых по смыслумодусов из 256 возможных, а также
множество неклассических правил
33. Исчисление предикатов
Модальные логикивозможно:
34. Информационная безопасность: KMS
ФОРМЫПРЕДСТАВЛЕНИЯ
ЗНАНИЙ (ФПЗ)
35.
Дескриптивная (описательная) логика(Description Logics, DL)
Семантические Рассуждающие Агенты
Pellet, FACT++, Hermit…
Онтология по Груберу (1993)
Специфицированная
(общепринятая) концептуализация
36. Информационная безопасность: KMS
Онтологии (Ontologies)37. stanford.protege.edu
Построение дерева таксономий(таксономии, иерархии понятий):
A is_a B (предшественник is_a
наследник)
C обладает свойствами D и E:
C has_a D. C has_a E.
38.
39. Пример реальной онтологии
40. Визуальная онтология
41. Информационная безопасность: КMS
Определение.Искусственная
нейронная сеть (нейронная сеть,
artificial neural network: ANN) это
множество
нейронов,
связанных
определенным образом. Нейронные
сети
отличаются
посредством
соединений между нейронами.
42. Информационная безопасность: КMS
Принцип коннекционизмаСхема нейрона
43. Информационная безопасность: LMS
Определение.Функция
активации
(передающая функция) преобразует вектор
входных сигналов X и множество весовых
коэффициентов
в
вектор
выходного
сигнала Y в соответствии с заранее
установленной формулой.
Функции
активации
различаются
в
зависимости от предназначения нейрона.
Наиболее часто используемая функция сигмоида.
44. Информационная безопасность: КMS
45. Информационная безопасность: КMS
Функция Хевисайда46. Информационная безопасность: КMS
47.
Схематическийпример
обучения
интеллектуальных или когнитивных
агентов (обучение ANN и / или
формирование онтологий)…
48. Информационная безопасность: КMS
Сети Жордана49. Информационная безопасность: КMS
Линейные сети;линейная неразрешимость
50. РАБОТА С ОНТОЛОГИЯМИ
Онтология описывает концепт и отношениямежду ними, которые важны и специфичны
для
ОДНОЙ
предметной
области,
обеспечивая словарный запас для этой
области, а также компьютеризированную
спецификацию
значений
терминов,
используемых
в
словаре.
Онтологии
варьируются
в
широкой
области
от
таксономий и классификаций через системы
баз
данных
до
полностью
аксиоматизированных теорий.
51. РАБОТА С ОНТОЛОГИЯМИ
За последние несколько лет онтологиибыли адаптированы и внедрены в бизнеси другие организации в качестве одного
из
способов
обмена,
повторного
использования и обработки знаний в
соответствующей предметной области. В
настоящее время онтологии широко
используются во многих приложениях,
таких как порталы научных знаний,
управление
информацией
и
интегрированные системы, электронная
коммерция, службы семантической сети.
52. РАБОТА С ОНТОЛОГИЯМИ
Основными компонентами онтологии являются:• физические лица - объекты
(основные
объекты или объекты самого низкого уровня);
• Классы - наборы, коллекции, понятия или
типы объектов;
Атрибуты
свойства,
особенности,
характеристики или параметры, которые могут
иметь объекты и классы. Атрибут обычно имеет
имя и значение;
53. РАБОТА С ОНТОЛОГИЯМИ
Отношения – вид связи, посредством
которых классы и объекты могут соотноситься друг
к другу (отношения, которые существуют между
ними);
• Функциональные термы - сложные структуры,
которые сформированы конкретными отношениями
и могут использоваться вместо отдельных термов в
высказываниях;
• Правила высказывания вида «если-то»,
которые описывают логические выводы, которые
можно сделать посредством анализа высказываний;
54. РАБОТА С ОНТОЛОГИЯМИ
Аксиомы - высказывания, в том числе правила, в
логической форме, охватывающие общую теорию, которую
онтология описывает при использовании в конкретной
предметной области. Это определение отличается от
определения аксиом в порождающих грамматиках и
формальной логике. В этих областях аксиомы включают
только высказывания, принятые (постулированные) в качестве
априорных знаний;
• События - изменения в атрибутах или отношениях
онтологической системы.
Онтологии
обычно
создаются
с
использованием
онтологических
языков
(языков
для
построения
онтологических систем). Могут быть указаны следующие
группы онтологических языков.
55. Примеры языков
Традиционные. К ним относятся: CycL, DOGMA
(разработка методов и приложений, основанных на
использовании онтологий), F-Logic (логика фреймов), KIF
(формат обмена знаниями. Использует логику первого
порядка и основывается на S-выражениях), Ontolingua на
основе KIF, KL-ONE, KM, LOOM (онтология), OCML (язык
операционного концептуального моделирования), PLIB
(Parts LIBrary), RACER.
• Языки разметки для онтологий (Markup Languages). Они
основаны на XML или его надстройках: DAML + OIL
(Ontology Inference Layer: уровень вывода онтологий, OWL
(язык веб-онтологий), RDF (структура описания ресурсов),
RDF Schema (схема RDF), SHOE
• На основе теории фреймов: FLogic (логика фреймов),
OKBC (подключение к открытой базе знаний), KM (машина
знаний)
56. РАБОТА С ОНТОЛОГИЯМИ
Онтологии делятся на:общие онтологии;
специфицированные для области
онтологии;
Онтологии, ориентированные на
опредененные задачи
и прикладные онтологии.
57. РАБОТА С ОНТОЛОГИЯМИ
Особое значение для авторов, поддерживающихконцептуальную
идею,
имеет
степень
детайлизации, используемая для характеристики
концептов в онтологиях. Онтологии с более
подробным описанием лучше, но им нужен и
более богатый словарь. Более простые из них
могут быть разработаны для совместного
использования разными группами пользователей,
которые
заранее
приняли
и
согласовали
концептуализацию, лежащую в основе онтологии.
58. РАБОТА С ОНТОЛОГИЯМИ
Другаяклассификация,
поддерживаемая
некоторыми
авторами,
основана
на
типе
включенного словаря понятий онтологии. В
зависимости от типа своего словаря онтологии
делятся на четыре типа: совсем неформальные
(выраженные в свободной форме естественного
языка),
полуформальные
(выраженные
в
ограниченной и специально структурированной
форме естественного языка), полуформальные
(выраженные в терминах искусственно созданного
языка), формальные (с четко определенными
терминами и формально описанной семантикой, с
теоремами о полноте и соответствующими
доказательствами).
59. КОМПОНЕНТЫ ОНТОЛОГИЙ
ИндивидыИндивиды
являются
основными
компонентами онтологии самого низкого уровня.
Они могут включать в себя конкретные объекты,
такие как люди, животные, автомобили,
молекулы, планеты и абстрактные объекты,
такие как числа и слова. Строго говоря,
онтология не должна включать например имя
какого-либо определенного человека (индивида),
но обязательно включает имена тех, кто
соответствует
общей
цели
использования
онтологии.
60. КОМПОНЕНТЫ ОНТОЛОГИЙ
КлассКлассы - это концепты, понятия, которые также
называются разновидностями, категориями или
типами объектов. Это абстрактные группы, наборы
или коллекции объектов. Они могут содержать
индивиды, другие классы или их комбинацию.
Например:
- Person - класс всех людей;
- Vehicle - класс всех транспортных средств;
- Car - класс всех автомобилей;
- Class – представляет класс всех классов;
- Thing – это класс всего, всех вещей (things).
61. КОМПОНЕНТЫ ОНТОЛОГИЙ
Онтологии отличаются друг от друга взависимости от того, содержит ли класс другие
классы, может ли класс принадлежать самому
себе, имеет ли он универсальный класс (класс,
содержащий все), и так далее. Иногда здесь
вводятся ограничения, которые позволяют нам
защитить
себя
от
известных
парадоксов
(парадокс,
очевидно,
является
истинным
высказыванием или их группой, что приводит к
противоречию или ситуации, которая интуитивно
неуместна).
62. КОМПОНЕНТЫ ОНТОЛОГИЙ
Классыонтологии
могут
быть
расширенными
или
интенсивными
(краткими) по своей природе. Класс
является расширенным тогда и только
тогда, когда он определяется всеми его
членами.
63. КОМПОНЕНТЫ ОНТОЛОГИЙ
АтрибутыОбъекты в онтологии можно описать,
прикрепив
их
к
определенным
атрибутам. Каждый атрибут имеет как
минимум имя и значение и используется
для хранения информации, специфичной
для объекта, к которому он относится.
64. КОМПОНЕНТЫ ОНТОЛОГИЙ
Например, атрибуты объектаFord Explorer как автомобиля
могут быть следующими:
Имя: Ford Explorer;
Количество дверей: 4;
Двигатель: {4.0L, 4.6L};
Передача: 6 скоростей.
65. КОМПОНЕНТЫ ОНТОЛОГИЙ
ОтношенияОдним из важных приложений атрибутов
является описание отношений (реляций) между
объектами онтологии. Как правило, отношение
- это атрибут, значение которого является
другим объектом онтологии. Например, в
онтологии, содержащей объекты Ford Explorer
и Ford Bronco, объект Ford Bronco может иметь
следующий атрибут:
66. КОМПОНЕНТЫ ОНТОЛОГИЙ
Наследник: Ford ExplorerОтсюда следует, что Ford Explorer это
модель,
которая
заменила
(унаследовала) Ford Bronco. Одной из
сильных сторон онтологий является
способность
описывать
различные
отношения. Взятые вместе, отношения
описывают семантику соответствующей
области.
67. КОМПОНЕНТЫ ОНТОЛОГИЙ
Наиболее важным типом связей (отношений) являетсясвязь между объектами в классах и между самими
классами. Связи могут быть суперклассом (is-superclassof), вспомогательным (is-a) или типом element-class (issubtype-of или is-subclass-of). Таким образом, мы можем
определить, какие объекты являются членами классов
объектов. Например, мы можем указать связи Ford
Explorer как четырехколесного транспортного средства,
которое, в свою очередь, является автомобилем (Ford
Explorer 4 - это автомобиль).
68. КОМПОНЕНТЫ ОНТОЛОГИЙ
Связь, реляция is-a:одна из возможность для построения иерархических
классификаций
(древа
таксономий), таких
как
древовидные структуры или, в более общем случае,
частично упорядоченные множества, которые наиболее
четко разграничивают отношения между объектами. В
таких структурах каждый объект является наследником
родительского класса.
Другим распространенным типом отношений является
меронимия (meronymy), которая записывается как
часть чего-то part-of. Она представляет способ
объединения объектов, образующих составной объект.
69. КОМПОНЕНТЫ ОНТОЛОГИЙ
Помимостандартных
для
онтологий
связей
(отношений) is-a, has-a и part-of, они часто включают в
себя и дополнительные типы связей, которые еще
глубже уточняют и уточняют семантическую модель.
Эти связи (отношения) обычно специфичны для
данной предметной области и используются для
ответа на конкретный тип вопроса.
Например, для области автомобилей мы можем
определить встраиваемые связи (отношения), которые
указывают, какой автомобиль изготовлен. Затем мы
сможем записать что-то в роде «Ford Explorer,
изготовленный в Луисвилле».
70. Работа с онтологиями
Knowledge Annotation Initiative of theKnowledge Acquisition Community, также
известный как Инициатива (КА)2: в
рамках
этого
проекта
создаются
инструменты для интеллектуального
поиска в Интернете и автоматического
накопления новых знаний.
71. Работа с онтологиями
В рамках инициативы (КА)2 можно выделить триосновные области:
• онтологическая инженерия;
• аннотация веб-страниц;
• запросы на поиск информации с веб-страниц и
нахождение ответов на основе онтологических знаний.
Инженерия онтологий является одной из основных
областей предположения о том, что совместное
сообщество (КА)2 должно создать свою собственную и
достаточно общую онтологию, основанную на
использовании Ontolingua.
72. Работа с онтологиями
На сегодняшний день разработано несколько онтологий,которые можно рассматривать как разделы общей
онтологии: онтология организации, проекта, человека,
области
исследований,
публикаций,
событий,
исследовательских продуктов, исследовательских групп
и т.д. Разработка онтологий осуществляется и
управляется участниками проекта, а созданные таким
образом онтологии размещаются на веб-страницах.
Такие страницы аннотируются с использованием HTMLтегов нового типа (ONTO), информация в которых
обрабатывается специальным компонентом, основанным
на онтологиях – системой Ontocrawler.
73. Работа с онтологиями
Ontobroker.Существуют
три
основных
его
подсистемы: интерфейс формулирования запроса
(query engine), автоответчик (inference engine) и
машина для доступа к интернет-ресурсам - «червь»
(Webcrawler), который используется для накопления
необходимых знаний из окружающей среды.
Был
разработан
специальный
язык
для
представления знаний для определения онтологий.
Подмножество этого языка предназначено для
формулирования запросов, а язык аннотаций служит
для обогащения веб-документов онтологической
информацией.
74. Работа с онтологиями
Формализм запроса ориентирован на фреймовоепредставление онтологий, в рамках которого
определяются понятия класса, экземпляра, атрибута
и значения.
Ontobroker поддерживает два типа интерфейсов
запросов: текстовый (для экспертов) и графический
(для обычных пользователей).
SHOE
(Simple
HTML
Ontology
Extensions)
ориентирован на решение проблемы добавления
семантической информации в WEB-страницы и
сопоставления ее с онтологиями из соответствующих
предметных областей.
75. Работа с онтологиями
Предполагается, что с использованием этойинформации поисковые системы типа SHOE смогут
предоставить более релевантные ответы на
запросы пользователей, чем это возможно в
настоящее
время
благодаря
использованию
поисковых систем, работающих в среде Интернета.
Для поддержки процессов аннотации в рамках
проекта SHOE в настоящее время разрабатывается
специальный набор инструментов, основанный на
специальном языке для представления знаний,
совместимого с Интернетом.
76. Работа с онтологиями
Понятие языка для представления знаний в SHOEпочти то же что и в (KA)2 и ассоциируется с
расширением HTML с помощью специальных тегов
(команд). Однако здесь доступно и полноценное
расширение HTML. Для этого SHOE вводит много
новых тегов спецификаций онтологии в стандарт
HTML: ONTOLOGY, USE-ONTOLOGY, CATEGORY, DEFCATEGORY, RELATION, DEF-RELATION, DEF-INFERENCE,
DEF-CONSTANT, DEF-TYPE, ARG, DEF-ARG и т. д.
Некоторые из тегов и некоторые дополнительные
теги, такие как INSTANCE, используются для
аннотирования документов HTML.
77. Работа с онтологиями
<ONTOLOGY ID=”Идентификаторонтологии”VERSION=”версия”
[BACKWARD-COMPATIBLE-WITH=”
список-оф-версий”]
[DESCRIPTION=”текст”]
[DECLARATORS=” список-оф-возвращений к
образцам”]>
Заявление-оф-онтологий
</ONTOLOGY>
78. Работа с онтологиями
Специальный тег используется, чтобы указать то,что
онтология
расширяет
другую
уже
существующую:
<USE-ONTOLOGY ID=” Идентификаторонтологии”
VERSION=”версия” PREFIX=”префикс”
[URL=”URL”]>
В рамках определения онтологии могут быть
указаны и новые категории. Для этой цели
используется специальный тег следующего типа
<DEF-CATEGORY NAME=”название-категории”
[ISA=” список-родительских-категорий”]
[DESCRIPTION=”текст”] [SHORT=”текст”]>
79. Работа с онтологиями
Аналогичный подход также используется приопределении связей:
<DEF-RELATION NAME=”имя-связи”
[DESCRIPTION=”текст”] [SHORT=”текст”]>
список-аргументов
</DEF-RELATION>
Одним из наиболее важных компонентов
определения онтологии являются правила вывода. В
SHOE эти правила в значительной степени похожи на
правила Горна, но они отличаются по форме:
<DEF-INFERENCE [DESCRIPTION=”текст”]>
80. Работа с онтологиями
<INF-IF> тело </INF-IF><INF-THEN> голова
</INF-THEN>
</DEF-INFERENCE>
81.
С наступлением эры семантических сетей онтологии извида чисто теоретических исследований все более
становятся
видом
инновационных
технологий
и
ключевым фактором для создания многочисленных
интеллектуальных приложений. Они представляют собой
тип многоразового применения баз знаний в данной
области, основанных на контролируемой лексике,
таксономии и тезаурусе применимыми для данной
области. Онтология является неотъемлемой частью
любой семантической сети. Онтология может быть
реализована в форме проектирования и создания
элементов метаданных, необходимых для разработки
семантических
веб-приложений.
Эволюция
семантической сети способствовала созданию онтологий
во многих предметных областях.
82.
Методологиидля
разработки
онтологии
описаны и представлены ниже. Перечислены
этапы процесса разработки онтологии и
обсуждаются вопросы определения иерархий
классов и свойств классов и экземпляров.
Однако,
следуя
всем
правилам
и
предложениям, следует запомнить следующее:
не существует одной абсолютно подходящей
(правильной) онтологии для любой предметной
области (домена). Построение онтологий творческий процесс, и нет двух онтологий,
разработанных разными людьми, чтобы они
были абсолютно одинаковыми.
83. Работа с онтологиями
Protégé - программная платформа с открытымисходным
кодом,
предоставляющая
пользователям необходимые инструменты для
создания моделей предметной области и
приложений, основанных на знаниях в виде
онтологии. В Protégé
разработан богатый
набор структур моделирования знаний и
действий, которые поддерживают создание,
визуализацию и обработку онтологий в
различных формах представления.
84. Работа с онтологиями
Protégé можно настроить для обеспечения«дружественного» сопровождения предметной
области для создания моделей знаний и ввода
данных. Впоследствии Protégé может быть
расширен
с
помощью
архитектуры
подключаемых
модулей
и
программных
приложений на основе Java (Java-based
Application Programming Interface - API) для
создания основанных на знаниях инструментов
и приложений.
85. Protégé
ПлатформаProtégé
поддерживает
два
основных способа моделирования онтологий:
Редактор Protégé-Frames, который позволяет
пользователям создавать и заполнять онтологии на
основе фреймов в соответствии с протоколом Open
Base Base Connectivity (OKBC). В этой модели
онтологии
состоят
из
набора
классов,
организованных в виде иерархии понятий для
представления характерных понятий предметной
области, множества слотов, связанных с классами
для описания их свойств и отношений, и множества
объектов этих классов - отдельных экземпляров,
содержащих конкретные значения их свойств.
86. Protégé
Protégé-OWL редактор, позволяющий пользователямсоздавать онтологии для семантической сети, в
частности язык веб-онтологий W3C (OWL). Онтология
OWL может включать описания классов, свойств и их
содержимого.
Предоставляя
такую
онтологию,
формальная семантика OWL определяет, как получить
логические значения, т.е. факты, которые не
присутствуют в исходной онтологии, но поняты и
унаследованы семантикой. Эти логические выводы
могут основываться как на изучении одного документа,
так и на нескольких распределенных документах,
которые объединяются на основе механизмов,
определенных в OWL.
87. Protégé
Кроме того, Protégé имеет подключаемую архитектуру,которая позволяет разработчикам расширять базовую
функциональность
Protégé
многими
способами
без
необходимости изменения исходного кода Protégé. Protégé.
Существует более 90 плагинов Protégé, предоставляющих
расширенные возможности, такие как импорт / экспорт
знаний, проверка и визуализация больших онтологий.
Импорт и экспорт онтологического контента является
критически важной функцией любого инструмента,
поскольку имеется много форматов для хранения онтологий
и терминологии. Есть несколько плагинов для Protégé,
которые позволяют импортировать и экспортировать
онтологии во многих различных форматах, включая XML,
RDF, OWL и родной формат Protégé.
88. Protégé
Если онтология хранится в файле, то вся онтологиясчитывается в память. Protégé также предоставляет
серверную часть реляционной базы данных, которая
полезна при работе со
слишком
большими
онтологиями для хранения в памяти. Наконец, с
помощью механизма плагинов Protégé разработчики
могут создавать свои собственные плагины импорта /
экспорта онтологий для работы с пользовательскими
форматами. Protégé может быть запущен как
отдельное приложение или посредством клиента
Protégé для связи с удаленным сервером (последний
особенно полезен для построения совместной
онтологии).
89. Protégé
Когда Protégé запущен, пользователь может создатьновую онтологию, открыть существующую онтологию
или импортировать онтологию в различных форматах.
Protégé создает файл проекта, в котором записывается
информация,
связанная
с
отображением
и
расположением файла исходного кода онтологии. Файл
проекта упрощает процесс повторного открытия
онтологий, а также поддерживает пользовательские
настройки. GUI Protégé организован в виде отдельных
панелей, доступных из разделов в верхней части GUI,
которые
предоставляют
различные
взгляды
на
содержание онтологии. Первый раздел - вкладыш
«Классы»,
которая
также
является
наиболее
распространенным видом.
90. Protégé
Разделкласса
позволяет
полностью
редактировать онтологию. В представлении
дерева онтологий в этом разделе пользователи
могут загружать и запускать классы для
реорганизации
иерархии,
создания
и
переименования классов с использованием
интуитивно понятных парадигм графического
интерфейса пользователя. Значения атрибутов
класса также можно редактировать напрямую.
Другие разделы, доступные в графическом
интерфейсе Protégé, - это разделы, формы и
экземпляры.
91. Protégé
РазделСлоты
позволяет
пользователям
просматривать и редактировать все слоты в
онтологии; вкладыш Экземпляры показывает все
экземпляры, связанные с классами; представление
формы позволяет пользователям настраивать
расположение элементов формы отображения.
Графический интерфейс Protégé обеспечивает
древовидное
представление
онтологий.
Хотя
расширяемое
дерево
подходит
для
многих
онтологий и терминологий, иногда может быть
трудно визуализировать всех тех, кто имеет
различные типы связей между термами.
92. Protégé
Компоненты Protégé обеспечивают поиск ифильтрацию пользовательских аннотаций на основе
различных критериев. Существует также два типа
механизмов
голосования,
которые
можно
использовать для голосования по изменениям. Все
аннотации, сделанные одним пользователем, сразу
видны всем другим пользователям, что позволяет
обсуждать в сообществе макет (драфт) онтологии в
режиме реального времени.
93. Protégé
Этапы установки являются относительнопростыми и односторонними, и было бы
трудно
вызвать
путаницу.
Загрузите
приложение по следующему адресу:
https://protege.stanford.edu/products.php#des
ktop-protege
Сама установка относительно проста и
проходит
без
проблем. При запуске
исполняемого файла появляется следующее
окно:
94. Protégé
95. Protégé
96. Protégé
В следующем окне вы можете выбрать, кудапоместить значки для запуска самого
приложения. По умолчанию в меню «Пуск» > «Приложения» создается группа, которая
называется Protégé_5версия...(4.3 в текущем
примере).
Рекомендуется
установить
флажок, чтобы другие пользователи того же
компьютера могли воспользоваться этим
приложением.
97. Protégé
98. Protégé
На следующем рисунке следуетвыделить первую опцию, которую
предлагают
нам
использовать
встроенную
виртуальную
Javaмашину. Конечно, при желании
пользователь может установить и
любую
другую
машину
в
соответствии
со
своими
предпочтениями.
99. Protégé
100. Protégé
Установщик следующего окнапредставляет собой краткий
список
всех
параметров,
которые были установлены во
время загрузки. Затем, когда
вы нажимаете «Установить»,
программа загружается на ваш
компьютер.
101. Protégé
102. Protégé
103. Protégé
После того, как мы установилиProtégé, пришло время создать
нашу первую онтологию. Для этого
мы
нажимаем
на
вкладыш
«Объекты». По умолчанию мы
будем находиться в подклассе
«Классы».
104. Protégé
105. Protégé
Создание онтологии займет немного времени•из основных понятий (сценариев) в университете.
•Учителя преподают модули
•Студенты изучают модули.
С этими двумя понятиями в руках, следующие классы,
Свойства данных, свойства объектов и отдельных лиц
Могут быть идентифицированны.
Классы в онтологиях являются абстрактными группами,
наборами или коллекциями объектов.
106. Protégé
Свойства данных (Object Properties)аналогичны свойствам объектов, за
исключением их доменов, которые
являются литералами:
107. Protégé
Индивидуумыявляются
основными,
«заземленными»
компонентами
онтологии:
108. Protégé
Создание классов1.
Щелкаем вкладышем классов и открываем
иерархию классов.
2. Мы подразумеваем, что все классы, упомянутые
выше, по умолчанию являются подклассами класса
«Thing».
3. Нажмите знак «Добавить подкласс» и введите
имя класса во всплывающем меню.
109. Protégé
110. Protégé
Мы создаем классы “Teacher” и “Student”, которыеявляются подклассами "Person", где "Person"
является подклассом класса "Thing", а классы
"CSModule" и "MathModule« являются подклассами
"Module", который в свою очередь является
подклассом Thing.
111. Protégé
112. Protégé
Создание свойств объекта (has_a)чтобы создать определенные свойства объекта,
перейдите на вкладыш «Свойства объекта» и
выберите «Добавить подчиненное свойство».
Имейте в виду, что по умолчанию все свойства
будут находиться в свойствах "topObjectProperty"
113. Protégé
114. Protégé
Следует отметить, что к этим свойствам объектаможно добавить «домен» и «диапазон». «Домен» встроенное свойство, которое связывает данное
свойство с описанием класса. Аксиома «домена»
гласит, что субъекты таких высказываний должны
принадлежать расширению класса, указанного в
описании класса. Область действия - встроенное
свойство, которое связывает свойство с описанием
класса или диапазона данных. Аксиома «диапазон»
утверждает, что значения этого свойства должны
принадлежать расширению класса описания класса
или значениям данных в указанном диапазоне
данных. Для «изучения» свойств объекта я добавляю
«Студент» как «домен» и «Модуль» как «диапазон».
115. Protégé
116. Protégé
Чтобы добавить «домен» или «диапазон»,мы просто нажимаем кнопку «+» рядом с
нужным элементом и выбираем элементы,
которые мы хотим добавить.
Аналогичным образом, для свойства объекта
«Teaches» мы можем добавить «Teacher» в
качестве домена и «Module» в качестве
диапазона.
117. Protégé
118. Protégé
Создание свойств данныхСледующим
шагом
является
создание
идентифицированных свойств данных. Для
этого перейдите на вкладыш «Свойства
данных»,
а
затем
значок
«Добавить
подчиненное свойство». Опять же, все свойства
будут находиться под свойствами по умолчанию
"topDataProperty".
119. Protégé
120. Просмотр после добавления всех идентификаторов данных
121. Protégé
Свойства объекта добавляются таким же образом.Здесь «домен» и «диапазон» могут быть определены
для каждого свойства данных. Однако, при выборе
«диапазона», типы данных также должны быть
добавлены. Например, свойство данных «first_name»
имеет область действия «xsd: string».
Чтобы добавить эти типы данных, нажмите кнопку
«+» рядом с «Диапазон» и выберите «Встроенные
типы данных».
122. Protégé
123. Protégé
Мы добавляем следующие диапазоны и к другимидентифицированным данным.
first_name → xsd: string
last_name → xsd: string
index_no → xsd: int
staff_id → xsd: int
Добавление людей
Последняя задача при создании онтологии - это
добавление индивидов. Для этого я нажимаю на
вкладыш «лица» и нажимаю на иконку
«Добавить человека».
124. Protégé
125. Protégé
Теперь давайте создадим отдельныймодуль. Это делается с помощью
шагов ниже. Пусть будет создан
отдельный модуль «CS2341». Тип для
"CS2341" как "Модуль" добавлен:
126. Protégé
127. Protégé
Во-вторых,пусть
«Student_1»
будет
добавлен индивидуально. Это можно
сделать,
следуя
приведенным
ниже
инструкциям, чтобы правильно настроить
личность.
1. Индивидуальный "Студент_1" создан.
2. Введите «Student_1» в качестве
добавленного «Student».
3. Добавьте свойства объекта в “Student_1”.
128. Protégé
129. Добавление свойств данных к „Student_1“
130. Protégé
Сначала выбирается свойство "first_name".Затем выбирается тип «xsd: string». Наконец,
значение добавляется к предоставленному
пространству (в приведенном выше примере
значение = Михаил). То же самое относится и к
другим свойствам данных.
По
завершении
вышеупомянутого
итерационного процесса личность “student_1”
получается, как показано на следующем
слайде.
131. Protégé
132. Видео работы с Protégé
https://www.youtube.com/watch?v=MbauHV2-XYw&t=18s
133. Готовые онтологии для Protégé
http://protege.cim3.net/cgibin/wiki.pl?ProtegeOntologiesLibrary
134. Семантические рассуждающие агенты
Семантические рассуждающие агенты частьпрограммного обеспечения, которая способна вывести
логические следствия из множества фактов и/или
аксиом. Концепция семантического мышления обобщает
этот случай с изпользованием машин логического
вывода, предоставляя более богатый набор механизмов
для работы. Правила вывода обычно определяются с
использованием языка онтологии и часто языка
описательной (дескриптивной) логики. Рассуждающий
агент (семантический ризонер) используется для
извлечения новых фактов из существующих онтологий.
Многие из них используют логику предикатов первого
порядка для выполнения поставленных задач.
135. Семантические рассуждающие агенты (Semantic reasoners)
Вот некоторые из популярных машин,разработанных за последние несколько лет:
Pellet, RACER, FACT ++, Snorocket, Hermit, CEL,
ELK, SWRL-IQ, TrOWL и другие. Эти машины
имеют
разнообразные
атрибуты
(характеристики), такие как алгоритм вывода,
поддерживающая логика, степень полноты
рассуждений, язык и другие.
136. Семантические рассуждающие агенты
PelletPellet является основанным на Java агентом
OWL-DL, разработанным The Mind Swap Group.
Он основан на изпользовании алгорифма таблиц
и поддерживает логику исчисления сценариев.
Это первый случай, который поддерживает все
свийства OWL DL SHOIN(D) и расширен до OWL2
(SROIQ (D)). Pellet поддерживает OWL2.
Разработка
онтологий
осуществляется
посредством Jena, а также через OWL-API.
Пеллет также предоставляет и объяснение
ошибок.
137. Семантические рассуждающие агенты
138. Семантические рассуждающие агенты
RACERRACER (Renamed ABoxes и Reasoner Concept
Expression) является моделью рассуждений,
разработанной Хорроксом (Horrocks). RACER,
также известный как RacerPro, является первой
машиной
с
использованием
OWL.
Он
поддерживает методы оптимизации FaCT, а
также новые методы оптимизации для работы с
ограничениями кардинальности и ABox. RACER
применяет рассуждения TBox и ABox к логике
SHIQ.
139. Семантические рассуждающие агенты
140.
FACT ++FaCT (Fast Classification of Terminologies) - машина,
представленная также Хорроксом (Horrocks). Ее можно
использовать в качестве классификатора описательной
логики, а также и для проверки соответствия модальной
логике. Система FaCT имеет надежный и полный алгоритм
таблиц для построения выразительной логики сценариев.
Обновленная версия FaCT - FaCT++. Этот агент использует
тот же алгорифм, что и FaCT, но с другой внутренней
структурой. Это все реализовано в среде C++. Первая
версия FaCT++ поддерживает рассуждения только в SHOIQ
и OWLDL. Последняя версия FaCT++ поддерживает OWL и
основана на логике сценариев SROIQ. В FaCT++
реализована процедура принятия решений на основе
таблиц для TBox и неполная поддержка ABox.
141. HermiT
HermiT является первым общедоступнымOWL-агентом. Это было написано с
помощью OWL. HermiT может проверять
файлы
OWL,
чтобы
определить
последовательность реляций в онтологиях
и определить иерархические отношения
между классами. Этот агент основан на
исчислении hypertableau calculus, что
обеспечивает более быстрый процесс
классификации онтологий.
142.
ЗНАЧИМОСТь ИСПОЛьЗОВАНИЯРАССУЖДАЮЩИХ МАШИН
Качество
и
правильность
онтологий
играют
жизненно
важную
роль
в
семантическом
представлении
и
обмене
знаниями.
Чтобы
гарантировать качество онтологий, необходимо
иметь дело с непоследовательностью и часто неопределенностью в онтологиях, применяемых в
реальном мире.
143. ЗНАЧИМОСТь ИСПОЛьЗОВАНИЯ РАССУЖДАЮЩИХ МАШИН
Несоответствие в онтологии означает,что в онтологии есть ошибка или
конфликт, в результате чего некоторые
понятия в онтологии не могут быть
правильно интерпретированы. Несоответствие приводит к неправильному
семантическому
пониманию
и/или
представлению знаний. Неопределенная
онтология означает, что такая онтология
всего лишь вероятна.
144.
Онтологическаячитаемость
уменьшает
избыток информации в базе знаний и
выявляет конфликты в содержании знаний.
Теперь давайте посмотрим, как работает
агент типа HermiT, который входит в Протеже,
а точнее, какие последствия это может иметь.
Сначала я добавлю еще одного ученика и
одного учителя.
145. HermiT
146. HermiT
147. HermiT-добавление свойств, обозначающих два модуля. Это поможет агенту определить, к каким классам относятся оба модуля.
148. HermiT-добавление свойств, обозначающих оба модуля
149. Размещение свойств в модулях с целью различения Math и CS модулей
150. Размещение свойств в модулях
151. Запуск HermiT после добавления свойств
Ранее на вкладыш Windows можно было добавить видыклассификации, чтобы увидеть, как агент будет
устанавливать соединения (связи).
152. HermiT. Меню Reasoner→Start reasoner
153. HermiT. Результаты: модули ученика и учителя организованы в классах...
154. HermiT: смотреть то, что в желтом цвете и во вкладыше, где это уместно Teacher_1 -> Teacher; Student_1, Student_2 -> Student ;
HermiT: смотреть то, что в желтом цвете иво вкладыше, где это уместно Teacher_1 ->
Teacher; Student_1,
Student_2 -> Student ; CS2341, CS4032 ->
CSModule ; MA4124 -> MathModule
155. HermiT: смотреть желтый цвет
156. HermiT: РЕЗУЛьТАТ OntoGraf от Window -> Tabs
HermiT: РЕЗУЛьТАТOntoGraf от Window -> Tabs
157. Литература
1.Йоцов, В. Логическо програмиране. София: За буквите о
писменехь, 2014
2.
The Protégé Ontology Editor and Knowledge Acquisition
System, http://protege.stanford.edu/
3.
Dragan Gašević; Dragan Djurić; Vladan Devedžić (2009).
Model Driven Engineering and Ontology Development (2nd ed.).
Springer. p. 194. ISBN 978-3-642-00282-3.
4.
https://www.w3.org/TR/owl-guide/
5.
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1560433/
6.
Bhaskar Kapoor and Savite Sharma, „A comparative study
ontology building tools for Semantic Web application “International
Journal of web and Semantic Technology (IJWest)Vol1num 3 july
2010.DOI:10.5121/ijwest.2010.1301.
158. Литература
7.Staab, Steffen, and Rudi Studer. Handbook on ontologies.
Springer, 2010.
8.
Antoniou, Grigoris, and Frank Van Harmelen. A semantic web
primer. MIT press, 2004.
9.
Hebeler, John, Matthew Fisher, Ryan Blace, and Andrew PerezLopez.Semantic web program-ming. John Wiley & Sons, 2011.
10.
Singh S, Jain V. Information Retrieval (IR) through Semantic
Web (SW): An overview. Proceed-ings of CONFLUENCE 2012 - The Next
Generation Information Technology Summit at Amity School of
Engineering and Technology; 2012 Sep. p. 23–7
11.
https://www.obitko.com/tutorials/ontologies-semanticweb/ontologies.html&xid=25657,15700023,15700186,15700191,157002
53,15700256,15700259&usg=ALkJrhh75iu3AydLHCCAFFMhusoyzgbkbg
159. Литература
12.Noy NF, McGuinness DL: Ontology Development 101: A Guide
to Creating Your First Ontology. Stanford Knowledge Systems
Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880, 2001
13. https://en.wikipedia.org/wiki/Semantic_reasoner
14. https://pdfs.semanticscholar.org/
9091/e269a2cf7a44b46681b3de3ca489a36ad243.pdf
15. https://www.obitko.com/tutorials/ontologies-semanticweb/ontologies.html&xid=25657,15700023,15700186,15700191,15700
253,15700256,15700259&usg=ALkJrhh75iu3AydLHCCAFFMhusoyzgbk
bg
16. https://www.obitko.com/tutorials/ontologies-semanticweb/communication-betweenagents.html&xid=25657,15700023,15700186,15700191,15700253,157
00256,15700259&usg=ALkJrhioicY0s3Ycdy1WtbNJ9xdTx1qFcg
160.
17. https://www.obitko.com/tutorials/ontologies-semanticweb/specification-ofconceptualization.html&xid=25657,15700023,15700186,15700191,15700253,15700256,15700259&usg=ALkJrhiDKq6S12iuWN2rOzC
GdjqyhXiLGA
18. https://www.obitko.com/tutorials/ontologies-semanticweb/ontologies-foragents.html&xid=25657,15700023,15700186,15700191,15700253
,15700256,15700259&usg=ALkJrhiXrx2ua-PDxVp2OEtjJNDp0HQcQ
19.
https://protege.stanford.edu/publications/ontology_development/
ontology101-noy-mcguinness.html#Section51
161.
БЛАГОДАРЮЗА ВНИМАНИЕ !