Искусство в IT-технологиях...

Васильев Иван Анатольевич. Методы и инструментальные средства построения семантических WEB-порталов, 2006

2.3.2. Определение онтологии, основанной на дескриптивной логике



Дескриптивная логика — это семейство логических языков. Базовыми синтаксическими элементами языка могут выступать атомарные понятия (одноместные предикаты), атомарные отношения (двухместные предикаты) и экземпляры (константы).
К ним могут применяться конструкторы языка для создания комплексных понятий и комплексных отношений.
Дескриптивным языком с минимальной выразительностью является атрибутивный язык (AL), синтаксис и семантика которого представлены в таблице 2.3. Семантика языка определяется с помощью интерпретации I, которая включает непустое множество А1 и функцию интерпретации, которая ставит в соответствие каждому атомарному понятию А множество А'СД1 и каждому атомарному отношению R множество R'QA'XA1.
Таблица 2.3. Синтаксис и семантика атрибутивного языка

Синтаксис и семантика атрибутивного языка


Синтаксис и семантика атрибутивного языка


Выразительность атрибутивного языка расширяется за счет введения дополнительных конструкторов с сохранением разрешимости получаемого языка. В таблице 2.4 приведены примеры расширения атрибутивного языка.
Таблица 2.4. Некоторые расширения атрибутивного языка

Некоторые расширения атрибутивного языка


База знаний, описанных с помощью дескриптивной логики, состоит из двух частей: ТВох и А В ох. ТВох содержит описания понятий и отношений между понятиями. АВох содержит описания экземпляров понятий.
Процедура логического вывода применяется к ТВох для:
определения выполнимости описаний понятий (satisfiability);
автоматической классификации понятий (subsumption).
Процедура логического вывода применяется к АВох для:
определения выполнимости описаний экземпляров (consistency);
заключения о том, относится ли экземпляр к понятию (instantiation).
С учетом свойств ДЛ, накладывающих ограничения на состав онтологии, в данном исследовании используется следующее определение онтологии, уточняющее определение 1.1.
Определение 2.2. Онтология, основанная на дескриптивной логике - это знаковая система

Онтология, основанная на дескриптивной логике - это знаковая система

(2.1)
в которой

конечное множество понятий в онтологии

- конечное множество понятий в онтологии,

множество стандартных типов данных, включающее два ти¬па {string, integer}

- множество стандартных типов данных, включающее два типа {string, integer},

конечное множество бинарных отношений г;(сх,су) между понятиями

- конечное множество бинарных отношений г;(сх,су) между понятиями,

конечное множество бинарных отношений г;(сх,су) между понятиями


конечное множество атрибутов, т.е. бинарных отношений между понятиями и стандартными типами данных

— конечное множество атрибутов, т.е.
бинарных отношений между понятиями и стандартными типами данных,

конечное множество экземпляров в онтологии

- конечное множество экземпляров в онтологии,

конечное множество конкретных значений стандартного типа

- конечное множество конкретных значений стандартного типа,

конечное множество конкретизированных отношений, т.е. бинарных отношений

- конечное множество конкретизированных отношений, т.е. бинарных отношений

экземпляры бинарных отношений

между экземплярами,

конечное множество конкретизированных атрибутов, т.е. би¬нарных отношений

- конечное множество конкретизированных атрибутов, т.е. бинарных отношений

бинарных отношений между экземпляром и конкретными значениями

между экземпляром и конкретными значениями,

конечное множество лексических меток (словарь онтологии)

- конечное множество лексических меток (словарь онтологии),

антисимметричное, транзитивное, нерефлексивное бинарное отношение, являющееся отношением частичного порядка на множестве понятий С

- антисимметричное, транзитивное, нерефлексивное бинарное отношение, являющееся отношением частичного порядка на множестве понятий С,

отношением частичного порядка на множестве понятий С


антисимметричное, транзитивное, нерефлексивное бинарное отношение

- антисимметричное, транзитивное, нерефлексивное бинарное отношение, являющееся отношением частичного порядка на множестве отношений R,

отношением частичного порядка на множестве отношений R


антисимметричное, транзитивное, нерефлексивное бинарное отношение, являющееся отношением частичного порядка на множестве атрибутов А,
- бинарное отношение инцидентности между множествами I и С,

Р, с с L х С - бинарное отношение инцидентности между множествами L и С, PLR cLxR - бинарное отношение инцидентности между множествами L и R, Р, л cLxA - бинарное отношение инцидентности между множествами L и А, Ры с Lxl — бинарное отношение инцидентности между множествами L и I.
Данное определение онтологии 0DL используется в дальнейшем для описания предлагаемой структуры семантических метаданных и предлагаемых методов по работе с семантикой объектов портала.
предыдущий следующий
= К содержанию =


2.3.2. Определение онтологии, основанной на дескриптивной логике - релевантная информация:

  1. 2.3.1. Выбор языка описания онтологии
    определенной предметной области. Одни логические языки являются более выразительными - позволяют формализовать сложные факты, другие — менее выразительные. Во-вторых, возможен анализ логического языка на разрешимость и вычислительную сложность. Этот фактор нужно рассматривать при программной реализации инструментов по работе с онтологией. Если для формализации предметной области в виде онтологии
  2. 3.5. Метод фильтрации множества кандидатов
    определено множество понятий {foto133}, обозначающих типы объектов СП. Определено отношение {foto134} для связывания объектов СП с их семантическими метаданными. Для каждого объекта {foto135} в онтологии создается экземпляр ioj соответствующего понятия. Множество всех таких экземпляров обозначим через {foto136} Для каждого понятия {foto137} в онтологии создается фиктивный экземпляр {foto138}
  3. Исторически первой парадигмой познания цвета явилась метафизическая парадигма,
    определению А. Шопенгауэра, метафизика - это «мнимое знание, которое выходит за пределы возможного опыта, т.е. за пределы природы или данного явления предметов, выходит для того, чтобы дать то или другое объяснение относительно того, чем обусловливается этот мир или эта природа в том или другом смысле; или, говоря просто, объяснение того, что прячется за природой и дает ей возможность жизни и
  4. СПИСОК ИСПОЛЬЗОВАННЫХ источников
    определенности // Сборник докладов VI Международной конференции по мягким вычислениям и измерениям SCM'2002. - С-Пб, 2002. т.1, С. 27 - 31. Д. Рутковская, М. Пилиньский, Л. Рутковскнй. Нейронные сети, генетические алгоритмы и нечеткие системы. М: Горячая линия -Телеком, 2004. Ярушкина Н. Г. Гибридизация интеллектуальных систем // Труды международной научно-технической конференции IEEE AIS'03 и
  5. 3.2.1. Виртуальная реальность погружения (иммерсивная виртуальная реальность)
    определения степени погружения пользователя в виртуальную реальность: если человек увертывается от виртуального камня, летящего в голову, даже если знает, что этот мир -иллюзия,, тогда виртуальный мир достоверен. Свойство погруженности, иммерсивности было выделено исследователями компьютерных виртуальных реальностей как основное (см., например, [86], [87]). Некоторые исследователи (Д.А.Поспелов,
  6. 3.2.2. Виртуальная реальность компьютерных сетей
    определенный статус и, соответственно, нет статусной коммуникации. Эта сеть в принципе не предусматривала наличие центрального компьютера и системы иерархических связей. В 70-х годах было принято революционное, по меркам «холодной войны», решение — сделать сетевые стандарты (в частности протокол обмена данными TCP/IP) открытыми не только для вузов, принимающих участие в 108 стратегических
  7. ЗАКЛЮЧЕНИЕ
    определены онтологические особенности виртуальной реальности. Анализ феноменов, которые в литературе последнего десятилетия часто рассматриваются как виртуальные - измененных состояний сознания, в том числе «психологических виртуальных реальностей», эзотерических и сновиденческих реальностей, реальностей художественных произведений - показал, что применение к ним данного предиката не оправдано.
  8. 2.3. Предметно-профессиональная модель рекламного текста: информационно-коммуникативная сущность и когнитивно - культурологическая специфика
    определение лексемы "styling: instance of creating something". Заимствование данной лексической единицы из английского языка позволило коммуникатору эффектно подчеркнуть новизну рекламируемого автомобиля и оригинальность его внешнего вида. Другим примером может служить использование во втором рекламном сообщении (синтетическая модель) лексических единиц
  9. 2.5. Тендерная характеристика рекламного текста
    определении тендера как "культурно заданного коррелята пола" (Гофман, 2001: 309). Считается, что тендерный дисплей не универсален, вследствие своей детерминированности культурой и властными отношениями. Разные общества и социальные группы предполагают различные конвенциональные формы тендерного дисплея (Здравомыслова, Темкина, 1999: 69). Тендерные исследования невозможно понять вне социально-
  10. 1.2.1.3. Языки описания онтологии
    онтологии создаются, прежде всего, для того, чтобы зафиксировать знания в какой-либо предметной области и использовать их в различных приложениях. Чтобы приложение могло использовать онтологию, она должна быть описана на языке, понятном приложению. В соответствии с классификацией онтологий по уровню формальности любая онтология, описанная на языке, отличном от естественного, является частично