Модели и методы разработки веб-приложений на основе онтологии предметной области, страница 2

Табл. 1: Список конструкторов концептов в ДЛ

На концептах задаются отношения эквивалентности и вложенности. Два концепта  и  считаются эквивалентными, что записывается как , т. и т. т., когда  для всех . Концепт  называется вложенным в , когда  для всех . Вложенность концептов реализует родо-видовые отношения: видовые концепты «наследуют» все свойства родовых, т. е. являются вложенными в них.

Наибольший интерес представляют те разновидности ДЛ, в которых отношение вложенности является вычислимым, т. е. существует процедура, проверяющая истинность либо ложность формулы  для любых допустимых дескрипций концептов  и  в любой интерпретации. Особенность  в том, что при высокой выразительности она сохраняет вычислимость вложенности []. Из вычислимости вложенности концептов следует разрешимость других связанных, таких как проверка противоречивости концепта () и проверка несовместимости пары концептов ().

Тогда как вложенность концептов схожа с наследованием классов в объектно-ориентированном программировании (ООП), вычислимость данного отношения заключает в себе основное отличие онтологий от ООП: иерархия наследования не обязательно должна быть задана разработчиками, она может быть вычислена в любой момент.

2.2  Составление онтологии предметной области

Представление модели предметной области в виде онтологии дает ряд преимуществ. Во-первых, онтологии предоставляют большие возможности для описания метаданных. Системы, широко использующие метаданные модели предметной области, являются легко настраиваемыми. Для внесения изменений в такие системы во многих случаях требуются лишь небольшие изменения модели предметной области.

Во-вторых, онтологии поддерживают расширение и объединение. При составлении модели можно либо основываться на уже существующих онтологиях, либо разрабатывать онтологию для конкретной предметной области с нуля. Но и в последнем случае возможно позднейшее объединение разработанной онтологии со схожими онтологиями. Для этого требуется составить определения эквивалентных концептов среди пересекающихся онтологий и указать их эквивалентность в явном виде.

При разработке онтологии предметной области каждый тип сущностей описывается в виде концепта, атрибуты и связи сущностей представляются ролями. Для построения системы, основанной на онтологии предметной области, в данную модель необходимо внести определенный набор метаданных. Основная задача — выделение особых сущностей, которые будем называть ресурсами. Они отличаются тем, что при каждом обращении к системе пользователь работает с каким-либо определенным ресурсом, или набором однотипных ресурсов. Т. е. это те классы объектов, к которым система предоставляет непосредственный доступ для просмотра и редактирования. Ресурсы могут разделяться на непересекающиеся типы. Типы ресурсов могут различаться методами хранения: одни ресурсы могут храниться в базе данных (БД), другие в файловой системе, третьи могут быть доступны через внешние службы. Кроме того, система может предоставлять пользователям различные наборы действий для работы с ресурсами различных типов.