Системы управления знаниями стр.41

4.3. Формальная модель онтологии

В общем виде формальная модель онтологии может быть описана следующим кортежем [Meadche A., Zacharias V., 2002]:

O = {L, C, F, G, H, R, A}, где

• L = LC и Lr - словарь онтологии, содержащий набор лексических единиц (знаков) для понятий LC и набор знаков для отношений LR;

•    C - набор понятий онтологии, причем для каждого понятия c е C в онтологии существует по крайней мере одно утверждение;

•    F и G - функции ссылок такие, что F: FLC ^ 2С и G: FLR ^ 2R. То есть F и G связывают наборы лексических единиц {Lj} с L с набо рами понятий и отношений, на которые они соответственно ссылаются в данной онтологии. При этом одна лексическая единица может ссылаться на несколько понятий или отношений и одно понятие или отношение может ссылаться на несколько лексических единиц. Инверсиями функций ссылок являются F-1 и G-1;

•    H - фиксирует таксономический характер отношений (связей), при котором понятия онтологии связаны нерефлексивными, ациклическими, транзитивными отношениями H с C x C. Выражение H (Q, C2) означает, что понятие C1 является подпонятием C2;

•    R - обозначает бинарный характер отношений между понятиями онтологии, фиксирующие пары области применения (domain)/обла-сти значений (range), то есть пары (D R) с D, R е C;

•    A - набор аксиом онтологии.

Более простая модель онтологии (без словаря и без определения типа отношений) приведена в [Гаврилова Т.А., Хорошевский Ф.В., 2001]. Под онтологией в этой работе понимается упорядоченная тройка вида

O = <C, R, F>, где

•    C - конечное множество концептов (понятий, терминов) предметной области, которую представляет онтология O;

•    R - конечное множество отношений между концептами заданной предметной области;

•    F - конечное множество функций интерпретации (аксиоматизации), заданных на концептах и/или отношениях онтологий O.

Естественным ограничением, налагаемым на множество C, является его конечность и непустота. Иначе обстоит дело с множествами R и F. При этом R и F тоже должны быть конечными множествами.

В работе [Гаврилова Т.А., Хорошевский Ф.В., 2001] анализируются интересные граничные случаи, связанные с их пустотой, которые позволяют лучше понять онтологии.

Пусть R = 0 и F = 0. Тогда онтология O трансформируется в простой словарь:

O = V = <C, {}, {}>.

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

Иная ситуация возникает при использовании терминов естественного языка или когда общаются программные агенты. В этом случае необходимо характеризовать смысл элементов словаря с помощью подходящей аксиоматизации с целью исключения неоднозначной интерпретации всеми пользователями онтологии.

Ценность словаря возрастет, если часть интерпретирующих терминов из множества C2 будет задаваться процедурно, а не декларативно. То есть их смысл будет «вычисляться» при каждой интерпретации.

Для создания онтологии, которой по силам решение разнообразных задач обработки информации, можно отказаться от предположения

R = 0.

В [Гаврилова Т. А., Хорошевский Ф.В., 2001] рассмотрены следующие варианты формирования множества R.


⇐ назад к прежней странице | | перейти на следующую страницу ⇒

Читайте также:

Яркая жизнь с компьютерными программами

На каждом шагу сегодня мы слышим нарекания на современную молодёжь и её бездеятельность. А ведь и правда – ребят кроме компьютера и досконального его знания мало что интересует и беспокоит, даже будучи на шашлыках, они тянут с собой компьютер и включают музыку либо фильмы. Такая зависимость является страшной для развития человечества в целом хотя б потому что все вокруг становятся замкнутыми и променивают реальный мир на виртуальное общение. Раньше, вспоминают люди постарше, у костра играли на гитаре вживую, ездили в горы с палатками, игрались миниатюрными поездами теперь заменённое компьютерными играми и различными программами симуляторами. Возникает закономерный вопрос – так ли вредны эти самые компьютерные программы и для чего они были созданы.

Помоги себе сам

Что может быть обыденней интернета в наши дни? Он стал незаменимой частью жизни всех нас. И это можно понять, ведь с его помощью люди работаю во всевозможных сферах деятельности, является очень эффективным. Но очень часто стоит вопрос о том, с помощью чего лучше всего добиваться лучших результатов и делать это более оперативно и с комфортом.

AlgoMusic M51 Galaxy - виртуальный инструмент на основе PD-синтеза

Виртуальный инструмент M51 Galaxy позволяет синтезировать "космические" звуки, обладает завораживающим звучанием. Обычно музыканты не очень жалуют инструменты, созданные с помощью SynthEdit. Однако M51, хоть и относится к их числу, действительно очень хорош. Секрет его звучания кроется в оригинальной архитектуре синтеза. На M51 Galaxy распространяется поговорка, что "все новое - это хорошо забытое старое". Идеи, заложенные в M51, уже были успешно реализованы в 80-х годах XX века.