Название |
Обозначение |
Интерпретация |
Атомарное понятие |
|
Фиксированное
подмножество |
Универсальное понятие |
|
|
Пустое понятие |
|
|
Отрицание |
|
|
Пересечение |
|
|
Объединение |
|
|
Ограничение существования |
|
|
Ограничение диапазона |
|
|
Ограничения численности |
|
|
Табл. 1: Список конструкторов концептов в ДЛ
На концептах задаются отношения эквивалентности и
вложенности. Два концепта и
считаются эквивалентными,
что записывается как
, т. и т. т., когда
для всех
.
Концепт
называется вложенным в
, когда
для всех
. Вложенность концептов реализует
родо-видовые отношения: видовые концепты «наследуют» все свойства родовых, т.
е. являются вложенными в них.
Наибольший интерес представляют те разновидности ДЛ, в
которых отношение вложенности является вычислимым, т. е. существует процедура,
проверяющая истинность либо ложность формулы для
любых допустимых дескрипций концептов
и
в любой интерпретации. Особенность
в том, что при высокой выразительности она
сохраняет вычислимость вложенности []. Из вычислимости вложенности концептов
следует разрешимость других связанных, таких как проверка противоречивости
концепта (
) и проверка несовместимости пары концептов
(
).
Тогда как вложенность концептов схожа с наследованием классов в объектно-ориентированном программировании (ООП), вычислимость данного отношения заключает в себе основное отличие онтологий от ООП: иерархия наследования не обязательно должна быть задана разработчиками, она может быть вычислена в любой момент.
Представление модели предметной области в виде онтологии дает ряд преимуществ. Во-первых, онтологии предоставляют большие возможности для описания метаданных. Системы, широко использующие метаданные модели предметной области, являются легко настраиваемыми. Для внесения изменений в такие системы во многих случаях требуются лишь небольшие изменения модели предметной области.
Во-вторых, онтологии поддерживают расширение и объединение. При составлении модели можно либо основываться на уже существующих онтологиях, либо разрабатывать онтологию для конкретной предметной области с нуля. Но и в последнем случае возможно позднейшее объединение разработанной онтологии со схожими онтологиями. Для этого требуется составить определения эквивалентных концептов среди пересекающихся онтологий и указать их эквивалентность в явном виде.
При разработке онтологии предметной области каждый тип сущностей описывается в виде концепта, атрибуты и связи сущностей представляются ролями. Для построения системы, основанной на онтологии предметной области, в данную модель необходимо внести определенный набор метаданных. Основная задача — выделение особых сущностей, которые будем называть ресурсами. Они отличаются тем, что при каждом обращении к системе пользователь работает с каким-либо определенным ресурсом, или набором однотипных ресурсов. Т. е. это те классы объектов, к которым система предоставляет непосредственный доступ для просмотра и редактирования. Ресурсы могут разделяться на непересекающиеся типы. Типы ресурсов могут различаться методами хранения: одни ресурсы могут храниться в базе данных (БД), другие в файловой системе, третьи могут быть доступны через внешние службы. Кроме того, система может предоставлять пользователям различные наборы действий для работы с ресурсами различных типов.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.