Файл: А. С. Клещев, И. Л. Артемьева математические модели онтологий предметных областей. Часть компоненты модели1.docx
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.10.2023
Просмотров: 42
Скачиваний: 5
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
А.С. Клещев, И.Л.Артемьева
МАТЕМАТИЧЕСКИЕ МОДЕЛИ ОНТОЛОГИЙ ПРЕДМЕТНЫХ ОБЛАСТЕЙ. ЧАСТЬ 2. КОМПОНЕНТЫ МОДЕЛИ1
Вводится понятие "математическая модель онтологии предметной области". При этом используется введенный ранее математический аппарат – необогащенные системы логических соотношений. Рассматривается представление различных элементов онтологии предметной области в модели – ситуаций и терминов для описания ситуаций, знаний и терминов для описания знаний, математических терминов и конструкций, вспомогательных терминов и онтологических соглашений.
ВВЕДЕНИЕ
К настоящему времени предложено несколько различных определений понятия "онтология предметной области". Однако каждое из этих определений обладает определенными недостатками [1]. В настоящей работе предлагается еще одно определение понятия "онтология предметной области", учитывающее недостатки предшествующих определений. При этом существенно используется математический аппарат, введенный в работах [2–4] - необогащенные системы логических соотношений.
Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект 99-01-00634).
1. ОПРЕДЕЛЕНИЕ МАТЕМАТИЧЕСКОЙ МОДЕЛИ ОНТОЛОГИИ ПРЕДМЕТНОЙ ОБЛАСТИ
Необогащенная система логических соотношений [2–4] может рассматриваться как модель онтологии предметной области, если каждое ее логическое соотношение имеет содержательное толкование, с которым согласно некоторое сообщество специалистов этой предметной области, а вся система есть явное представление концептуализации, понимаемой и как множество подразумеваемых ситуаций, и как множество подразумеваемых систем знаний предметной области. Детали такого представления будут рассмотрены в разд. 2–6, здесь же приведено несколько примеров необогащенных систем логических соотношений и их содержательные толкования как моделей онтологий предметных областей.
Пример 1. Необогащенная система логических соотношений без параметров, являющаяся моделью упрощенной онтологии предметной области Динамика: O1 = T1(ST, Интервалы, Дифференцирование функций одной переменной), где T1(ST, Интервалы, Дифференцирование функций одной переменной) – прикладная логическая теория. Неизвестными системы являются
тела, моменты времени, масса, координата, сила.
Определим вначале специализированные расширения языка прикладной логики Дифференцирование функций одной переменной.
Специализированное расширение Дифференцирование функций одной переменной.
Термами являются
1. dt(v)/dv, где t(v) - терм, зависящий от переменной v; J(d(t(v))/dv есть значение производной от функции J(t(v)) по переменной v; значение терма определено, если функция J(t(v)) является дифференцируемой функцией.
Формул данное расширение не определяет.
Прикладная логическая теория T1(ST, Интервалы, Дифференцирование функций одной переменной) = <, SS1>, где SS1 состоит из следующих предложений.
Описание значений имен (определения вспомогательных терминов)
(1.1.1) скорость ( (v1:тела) ( (v2: R) dкоордината(v1)(v2) / dv2))
скорость есть производная координаты по времени
(1.1.2) ускорение ( (v1:тела) ( (v2: R) dскорость(v1)(v2) / dv2))
ускорение есть производная скорости по времени
Описания сортов имен (определение терминов для описания ситуаций)
(1.2.1) (тела) = {}N
термин тела обозначает множество физических тел
(1.2.2) (моменты времени) = (тела {} (R[0,]))
термин моменты времени обозначает функцию, которая сопоставляет телу множество моментов времени, в которые происходило наблюдение тела в ситуации, единицей измерения времени является сек
(1.2.3) (масса) = (тела R[0,])
термин масса обозначает функцию, которая сопоставляет телу его массу; единицей измерения массы является кг
(1.2.4) (координата) = (тела (R R))
термин координата обозначает функцию, которая сопоставляет телу уравнение, описывающее изменение координаты во времени; в данной модели предполагается, что пространство, в котором находится тело, является одномерным; единицей измерения координаты является м
(1.2.5) (сила) = (тела (R R[0,]))
термин сила обозначает функцию, которая сопоставляет телу уравнение изменения действующей на него силы во времени; если значение силы является положительным, то направление действия силы совпадает с направлением движения тела, если значение силы является отрицательным, то направление действия силы противоположно направлению движения тел; единицей измерения силы является н (ньютон)
Пример 2.
Необогащенная система O2 логических соотношений с параметрами, являющаяся моделью упрощенной онтологии неорганической химии: O2 =
Прикладная логическая теория T2(ST, Интервалы, Математические кванторы) = <, SS2>, где SS2 – состоит из следующих предложений.
Описания значений имен (определений вспомогательных терминов)
(2.1.1) максимальное число электронов ((v: I[1,7]) 2*v 2)
термин максимальное число электронов обозначает функцию, которая по номеру уровня вычисляет максимальное число электронов на этом электронном уровне
(2.1.2) номер группы ((v: химические элементы) порядковый номер(v) –
/(номер периода(v) =1 0), (номер периода(v) >1 ((i: I[1, номер периода(v) - 1]) максимальное число электронов(i)))/)
термин номер группы обозначает функцию, которая сопоставляет химическому элементу его номер группы; число электронов на последнем энергетическом уровне совпадает с номером группы химического элемента (в данной модели рассматриваются лишь элементы главной подгруппы для каждой из групп)
(2.1.3) возможные формулы веществ ((n: I[1, ]) {(v: ( химические элементы, {Ox, Red}, I, I) n) n>1 (&(i: I[1, n-1]) (&(j: I[i, n]) (1,(i,v)) (1,(j,v))))})
термин возможные формулы веществ обозначает множество возможных формул химических веществ: формула каждого химического вещества представлена как конечная последовательность компонент; каждая компонента представляется четверкой, состоящей из символа химического элемента, свойства этого элемента в веществе (Ox - окислитель, Red - восстановитель), степени окисления элемента и индекса элемента (числа атомов элемента, участвующих в образовании химического вещества); символ каждого химического элемента входит в формулу только один раз
(2.1.4) компонента ((v: возможные формулы веществ) (i: I[1, length(v)]) (i,v))
термин компонента обозначает функцию, аргументами которой являются формула химического вещества и номер компоненты в ней, а результатом - компонента химического вещества с этим номером
(2.1.5) принадлежит веществу ((v1: возможные формулы веществ) (v2: химические элементы) ( (i: I[1, length(v1)]) (1,(i,v1)) = v2))
термин принадлежит веществу обозначает предикат, аргументами которого являются формула химического вещества и химический элемент, и который истинен, если атомы этого химического элемента входят в состав этого химического вещества
(2.1.6) номер элемента ((v1: возможные формулы веществ) (v2: {(v3:химические элементы) принадлежит веществу(v1, v3)}) ((i:I[1, length(v1)]) v2 =(1, компонента(v1, i))))
термин номер элемента обозначает функцию, аргументами которой являются формула химического вещества и химический элемент, атомы которого входят в состав этого химического вещества, а результатом - номер компонента в формуле, содержащей этот химический элемент
(2.1.7) индекс ((v1: возможные формулы веществ) (v2:{(v3:химические элементы) принадлежит веществу(v1, v3)}) (4, компонента(v1, номер элемента(v1, v2))))
термин индекс обозначает функцию, аргументами которой являются формула химического вещества и химический элемент, атомы которого входят в состав этого химического вещества, а результатом является индекс этого химического элемента в этой формуле
(2.1.8) принадлежит реагентам ((v1: реакции) (v2: химические элементы) ( (v: реагенты(v1)) принадлежит веществу(v, v2)))
термин принадлежит реагентам обозначает предикат, аргументами которого являются химическая реакция и химический элемент, и который истинен, если атомы этого химического элемента входят в состав реагентов этой реакции
(2.1.9) возможные химические процессы ( (n: I[2, ]) {(v: ({} химические вещества) n)) (&(i: I[1,n-1]) (i, v) (i+1, v)) & (&(i: I[1,n]) (i,v) )})
термин возможные химические процессы обозначает множество возможных химических процессов; каждый процесс есть последовательность из не менее двух непустых множеств химических веществ; соседние множества в данной последовательности различны
Описания сортов имен (определения терминов для описания знаний и ситуаций)
(2.2.1) (химические элементы) = {}N
термин химические элементы обозначает множество символов химических элементов
(2.2.2) (порядковый номер) = (химические элементы I[1,])
термин порядковый номер обозначает функцию, которая сопоставляет химическому элементу его порядковый номер в таблице Д.И. Менделеева
(2.2.3) (номер периода) = (химические элементы I[1,7])
термин номер периода обозначает функцию, которая сопоставляет химическому элементу его номер периода в таблице Д.И. Менделеева
(2.2.4) (окислительные способности химического элемента) = (химические элементы {}{Ox, Red})
термин окислительные способности химического элемента обозначает функцию, которая сопоставляет химическому элементу его свойства "окислитель" либо "восстановитель"
(2.2.5) (степень окисления) =({(v: ( химические элементы, {Ox, Red})) (2,v) окислительные способности химического элемента((1,v))} {}I)
термин степень окисления обозначает функцию, которая сопоставляет химическому элементу и его свойству множество возможных значений степени окисления
(2.2.6) (химические вещества) = {}возможные формулы веществ
термин химические вещества обозначает конечное множество химических веществ; в данной модели предполагается, что любое химическое вещество однозначно определяется своей формулой
(2.2.7) (реакции) = {}N
термин реакции обозначает конечное множество идентификаторов химических реакций
(2.2.8) (реагенты) = (реакции {} химические вещества)
термин реагенты обозначает функцию, которая сопоставляет реакции конечное множество ее реагентов
(2.2.9) (результаты) = (реакции {} химические вещества)
термин результаты обозначает функцию, которая сопоставляет реакции конечное множество ее результатов
(2.2.10) (коэффициент) = ({(v: ( реакции, химические вещества)) (2,v) реагенты((1,v)) результаты((1,v))} I)
термин коэффициент обозначает функцию, которая сопоставляет реакции и химическому веществу (принадлежащему либо множеству реагентов, либо множеству результатов этой реакции), коэффициент перед этим веществом в уравнении реакции
(2.2.11) (процесс) = возможные химические процессы
термин процесс обозначает химический процесс, имеющий место в ситуации
(2.2.12) (реакция процесса) = (I[1, length(процесс) -1] {} реакции)
термин реакция процесса обозначает функцию, которая каждому шагу процесса (кроме последнего) сопоставляет множество протекающих на этом шаге химических реакций
(2.2.13) (прореагировало полностью) = ({(v: ( I[1, length(процесс)-1], химические вещества)) (2,v) ((1,v), процесс)}) L)
термин прореагировало полностью обозначает предикат, аргументами которого являются номер шага процесса и химическое вещество, принадлежащее множеству веществ на этом шаге процесса, и который истинен, если это химическое вещество на этом шаге процесса прореагировало полностью
Ограничения на интерпретацию имен (онтологические соглашения)
(2.3.1) (v: {(v' : химические элементы) номер группы(v') < 4 номер группы(v') =8}) окислительные способности химического элемента(v) = {Red}
элементы группы с первой по третью и элементы восьмой группы выступают в соединениях только как восстановители
(2.3.2) (v : {(v': химические элементы) Ox окислительные способности химического элемента(v')}) (v1: степень окисления(v, Ox)) v1 < 0
степень окисления элемента как окислителя задает максимальное число электронов, которое элемент может принять в соединениях; принято задавать такую степень окисления со знаком минус
(2.3.3) (v : {(v': химические элементы) Red окислительные способности химического элемента(v')}) (v1: степень окисления(v, Red)) v1 > 0
степень окисления элемента как восстановителя задает максимальное число электронов, которое элемент может отдавать в соединениях; принято задавать такую степень окисления со знаком плюс
(2.3.4) (v:{(v1: химические элементы) Ox окислительные способности химического элемента (v1)}) степень окисления(v, Ox) =
{номер группы(v) - 8}
степень окисления элемента как окислителя единственна и равна разности между числом электронов на последнем энергетическом уровне и максимально допустимым числом электронов (равным 8) на последнем энергетическом уровне
(2.3.5) (v : {(v1:химические элементы) Red окислительные способности химического элемента (v1) }) (v2: степень окисления(v, Red)) v2 номер группы(v)
степень окисления элемента как восстановителя не превышает его номера группы
(2.3.6) (v:{(v1: химические вещества) length(v1) > 1}) (i: I[1, length(v)]) (3, компонента(v, i)) степень окисления((1, компонента(v,i), (2, компонента(v,i))
степень окисления элемента, входящего в состав сложного вещества (т.е. вещества, число компонент которого больше 1), может быть одним из возможных значений степени окисления данного элемента
(2.3.7) (v:{(v1:химические вещества) length(v1) = 1})
(3, компонента(v, 1)) = 0
степень окисления элемента, входящего в состав простого вещества (т.е. вещества, число компонент которого равно 1), равна нулю
(2.3.8) (v: химические вещества) ((i: I[1, length(v)]) (3,(i,v))*
(4,(i,v))) =0
заряд вещества (сумма произведений степени окисления элемента на индекс элемента) равен нулю
(2.3.9) (v: реакции) реагенты(v) результаты(v) =
множества реагентов и результатов реакции не могут содержать одинаковых химических веществ
(2.3.10) (v: реакции) (v1: {(v2:химические элементы) принадлежит реагентам(v, v2)}) ((v3: реагенты(v)) индекс(v3, v1) * коэффициент(v,v3)) = ((v4: результаты(v)) индекс(v4, v1) * коэффициент(v,v4))
закон сохранения состава: число атомов любого химического элемента в формуле реакции слева (множество регентов) и справа (множество результатов) должно быть одинаковым
(2.3.11) (v: [1, length(процесс) -1]) (v1: реакция процесса(v)) реагенты(v1) (v, процесс) & результаты(v1) (v+1, процесс)
если на некотором шаге химического процесса имеет место химическая реакция, то ее реагенты должны входить во множество веществ этого шага процесса, а ее результаты – во множество веществ следующего шага процесса
(2.3.12) (v1: [1, length(процесс) -1]) (v1+1, процесс) =(v1, процесс) \
((v2: реакция процесса(v1) {(v3: реагенты(v2)) прореагировало полностью(v3)}) ( (v4: реакция процесса(v1)) результаты(v4))
множество веществ на каждом следующем шаге процесса состоит из веществ предыдущего шага, за исключением тех веществ, которые полностью прореагировали, и веществ, полученных в результате реакций, имевших место на предыдущем шаге процесса
(2.3.13) (v: [1, length(процесс) - 1]) реакция процесса(v) реакция процесса(v+1)
множества реакций на предыдущем и последующем шагах процесса различны
Пример 3. Смешанная необогащенная система логических соотношений O3 с параметрами, являющаяся моделью упрощенной онтологии предметной области Молекулярная физика газов: O3 =
Описания значений имен (определения вспомогательных терминов)
(3.1.1) NA 6.02*1023
термин NA обозначает постоянную Авогадро (число атомов в одном моле любого вещества); единицей измерения NA является моль-1
(3.1.2) Mr ((v: идентификаторы веществ) ((i:I[1, length(формула(v))]) Ar((1,компонента(формула(v),i)))* (4,компонента(формула(v)),i)))
термин Mr обозначает функцию, сопоставляющую химическому веществу его относительную молекулярную массу; относительная молекулярная масса является безразмерной величиной
(3.1.3) молярная масса ((v: идентификаторы веществ) 10-3 * Mr(v)
термин молярная масса обозначает функцию, которая сопоставляет веществу его массу, взятую в количестве одного моля; молярная масса измеряется в кг/моль
(3.1.4) масса молекулы ((v: идентификаторы веществ) молярная масса(v) / NA
термин масса молекулы обозначает функцию, которая сопоставляет веществу массу одной его молекулы; единицей измерения массы молекулы является кг
(3.1.5) k 1.38*10 (-23)
постоянная Больцмана; единица измерения Дж/K
Описания сортов имен (определения терминов для описания знаний и ситуаций)
(3.2.1) (идентификаторы веществ) = {}N
термин идентификаторы веществ обозначает множество названий химических веществ
(3.2.2) (Ar) = (химические элементы R[0,])
термин Ar обозначает функцию, которая сопоставляет химическому элементу его относительную атомную массу (задается в таблице Д.И.Менделеева); относительная атомная масса является безразмерной величиной
(3.2.3) (формула) = (идентификаторы веществ возможные формулы веществ)
термин формула обозначает функцию, которая сопоставляет идентификатору вещества его формулу
(3.2.4) (число молекул) = (тела I[0,])
термин число молекул обозначает функцию, которая сопоставляет телу число образующих его молекул
(3.2.5) (количество вещества) = (тела R[0,])
термин количество вещества обозначает функцию, которая сопоставляет телу количество моль вещества, молекулы которого образуют тело; единицей измерения является моль
(3.2.6) (объем) = (тела R[0,])
термин объем обозначает функцию, которая сопоставляет телу занимаемый телом объем; единицей измерения объема является м3
(3.2.7) (вещество тела) = (тела идентификаторы веществ)
термин вещество тела обозначает функцию, которая сопоставляет телу вещество, молекулы которого образуют тело
(3.2.8) (давление) = ({(v: ( тела, R)) (2, v) моменты времени((1, v))} R[0,])
термин давление обозначает функцию, которая сопоставляет телу и моменту наблюдения тела давление, которое производят молекулы тела на стенки сосуда, в котором находится тело в этот момент наблюдения; единицей измерения давления является Па (паскаль)
(3.2.9) (средняя кинетическая энергия) = ({(v: ( тела, R)) (2, v) моменты времени((1, v))} R[0,])
термин средняя кинетическая энергия обозначает функцию, которая сопоставляет телу и моменту наблюдения тела среднюю кинетическую энергию поступательного движения молекул тела в этот момент наблюдения; единицей измерения энергии является Дж
(3.2.10) (плотность) = (тела R[0,])
термин плотность обозначает функцию, которая сопоставляет телу плотность, т.е. массу молекул тела, заключенных в единице объема; единицей измерения плотности является кг/м3
(3.2.11) (концентрация) = (тела R[0,])
термин концентрация обозначает функцию, которая сопоставляет телу число молекул тела в единице объема; единицей измерения концентрации является м-3
(3.2.12) (температура) = ({(v: ( тела, R)) (2, v) моменты времени((1, v))} R)
термин температура обозначает функцию, которая сопоставляет телу и моменту наблюдения тела температуру, которую имело тело в этот момент наблюдения; единицей измерения энергии является К (кельвин)
(3.2.13) (скорость) = ({(v: ( тела, R)) (2, v) моменты времени((1, v))} R)
термин скорость обозначает функцию, которая сопоставляет телу и моменту наблюдения тела среднюю скорость молекул тела в этот момент наблюдения; единицей измерения скорости является м./сек
Ограничения на интерпретацию имен (онтологические соглашения)
(3.3.1) (v: тела) число молекул(v) = NA * (масса(v) /молярная масса(вещество тела(v)))
число молекул в теле есть произведение постоянной Авогадро на отношение массы тела к молярной массе вещества этого тела
(3.3.2) (v: тела) масса(v) = масса молекулы(вещество тела(v)) * число молекул(v)
масса тела равна произведению массы одной молекулы на число молекул в теле
(3.3.3) (v: тела) количество вещества(v) = число молекул(v) / NA
количество вещества равно отношению числа молекул в данном теле к постоянной Авогадро, т.е. к числу молекул в 1 моле вещества
(3.3.4) (v: тела) количество вещества(v) = масса(v) / молярная масса(вещество тела(v))
предложение задает связь между терминами количество вещества, масса и молярная масса
(3.3.5) (v: идентификаторы веществ) ((i: I[1, length(v)]) (3,(i, формула(v)))* (4,(i, формула(v)))) =0
формула любого химического вещества обладает следующим свойством: заряд вещества (сумма произведений степени окисления элементов на индекс элементов) равен нулю
(3.3.6) (v: тела) концентрация(v) = число молекул(v) / объем(v))
предложения задает связь между терминами концентрация, число молекул, объем.
(3.3.7) (v1:тела) плотность(v1) = масса молекулы(вещество(v1)) * концентрация(v1)
предложение задает связь между терминами плотность и концентрация.
Примеры необогащенных систем логических соотношений и их содержательные толкования как моделей упрощенных онтологий предметных областей также приведены в работах [2–4]. Модели онтологий медицины и неорганической химии, приближенные к реальным представлениям в этих предметных областях, были описаны в работах [5,6].
2. ТЕРМИНЫ ДЛЯ ОПИСАНИЯ СИТУАЦИЙ И МОДЕЛИ СИТУАЦИЙ
Ситуацией будем называть информацию, относящуюся к некоторому конечному (реальному или воображаемому) фрагменту реальной или воображаемой действительности, связанной с некоторой конечной частью пространства и конечным промежутком времени, причем этот фрагмент содержит конечное множество объектов, между которыми существует конечная совокупность отношений [7,8].
Объекты и отношения (в том числе и одноместные) между ними, зависящие от ситуаций, обозначаются специальными терминами предметной области, которые будем называть терминами для описания ситуаций.
Объекты в моделях ситуаций могут представляться элементарными математическими объектами (числами и т.п.); именами, не имеющими ни сорта, ни значения [2–4] (обозначениями объектов); структурными математическими объектами (множествами, кортежами и т.п.), построенными из элементарных математических объектов или имен, не имеющих ни сорта, ни значения, или структурных математических объектов с помощью определенных в языке прикладной логики правил композиции.
Пример 4.В примере 1 вещественным числом обозначаются значения скорости, ускорения, массы и координаты тела, силы, действующей на тело, а также моменты наблюдения тела; в примерах 4 и 6 имена, не имеющие ни сорта, ни значения, обозначают в ситуациях тела. Химический процесс в примере 2 представлен кортежем, элементами которого являются конечные множества таких имен – состояния процесса, формула каждого химического вещества в примерах 2 и 3 обозначается кортежем, элементами которого, в свою очередь, являются кортежи – компоненты формулы, причем элементами последних являются имя, обозначающее химический элемент, одно из имен Ox или Red и два целых числа – степень окисления элемента и его индекс. В примере 3 целыми числами обозначается число молекул; вещественными числами обозначаются значения количества вещества, объема, давления, средней кинетической энергии, плотности, концентрации, температуры.
Множество имен, не имеющих ни сорта, ни значения и используемых в моделях ситуаций для обозначения объектов (или их компонентов), может фиксироваться моделью онтологии явно либо неявно. В первом случае все такие имена входят в предложения – описания сортов неизвестных. Во втором случае все такие имена входят в значения параметров, а в модели онтологии при описании сортов неизвестных используются имена таких параметров. Если модель онтологии фиксирует имена, не имеющие ни сорта, ни значения, то эти имена имеют один и тот же смысл в каждой ситуации предметной области. Модель онтологии может не фиксировать некоторые имена, не имеющие ни сорта, ни значения и используемые в ситуациях для обозначения объектов (или их компонентов). В этом случае такие имена задаются моделью ситуации предметной области и в каждой ситуации имеют свой смысл.
Пример 5.В примерах 2 и 3 модель онтологии неявно фиксирует часть имен, не имеющих ни сорта, ни значения и используемых в ситуациях для обозначения объектов и их компонентов: они входят в значения параметров химические элементы, реакции, идентификаторы веществ. Имена Ox и Red фиксируются явно. В примерах 1 и 3 именами, не имеющими ни сорта, ни значения, и не фиксируемыми моделью онтологии, являются обозначения тел.
Отношения между объектами, зависящие от ситуаций, представляются неизвестными. В разных ситуациях отношения, соответствующие одной и той же неизвестной, могут быть различны.
Каждая объектная неизвестная обозначает некоторую роль, которую в каждой ситуации играет какой-либо (единственный) объект этой ситуации, причем в каждой ситуации существует свой объект, играющий эту роль.
Пример 6.В примере 3 работы [1] стол есть роль, которую в ситуации играет стол, на котором лежат кубики. В примерах 1 и 3 неизвестная тела представляет роль, которую в ситуации играет множество тел. В примере 2 неизвестная процесс обозначает роль, которую в ситуации играет химический процесс, протекающий в этой ситуации.
Каждая функциональная неизвестная обозначает некоторое множество функциональных отношений. Для каждой ситуации это отношение между объектами этой ситуации. Для разных ситуаций отношения, соответствующие одной и той же неизвестной, могут быть различными.
Пример 7.Функциональные отношения между объектами ситуаций в примере 1 обозначены неизвестными масса, сила, координата, моменты времени; в примере 5 функциональное отношение между объектами ситуаций обозначено неизвестной реакция процесса; в примере 3 функциональные отношения обозначены неизвестными количество вещества, объем, вещество тела, число молекул, давление, средняя кинетическая энергия, плотность, концентрация, моменты времени, температура, скорость, масса.
Аналогично, каждая предикатная неизвестная обозначает некоторое нефункциональное отношение (возможно, пустое) между объектами ситуации, свое в каждой ситуации.
Пример 8. Нефункциональное отношение между объектами ситуаций обозначено в примере 2 неизвестной прореагировало полностью. В других примерах предикатных неизвестных нет.
Таким образом, каждая неизвестная может рассматриваться как обозначение взаимно-однозначного соответствия между множеством ситуаций и значениями этой неизвестной в этих ситуациях.
Описание сорта неизвестной задает множество моделей значений этой неизвестной. В любой ситуации (реальной или воображаемой) значением неизвестной может быть только элемент этого множества. Тем самым, для каждой неизвестной описание сорта задает модель объема понятия, обозначаемого неизвестной. Модель объема понятия может быть как конечным, так и бесконечным множеством.
Пример 9.В примере 1 предложения 1.2.1 - 1.2.5 задают модели объемов понятий, обозначенных неизвестными тела, моменты времени, масса, координата, сила. В примере 2 предложения 2.2.11 – 2.2.13 задают модели объемов понятий, обозначенных неизвестными процесс, реакция процесса, прореагировало полностью. В примере 3 предложения 3.2.4 – 3.2.13 задает модели объемов понятий, обозначенных неизвестными число молекул, количество вещества, объем, вещество тела, давление, средняя кинетическая энергия, плотность, концентрация, температура, скорость. Все модели объемов этих понятий являются бесконечными множествами.
Моделью ситуации (реальной или воображаемой) является множество значений неизвестных необогащенной системы логических соотношений, являющейся моделью онтологии предметной области. Модель ситуации может быть представлена множеством описаний значений неизвестных.
Пример 10. Модель ситуации предметной области Динамика (модель онтологии данной области представлена в примере 1).
(10.1) тела {материальная точка}
рассматривается только одно тело: материальная точка;
(10.2) моменты времени ((v: {материальная точка}) /(v = материальная точка {0,5,10})/
движение тела наблюдали в начале движения, через 5 и 10 сек после начала движения
(10.3) масса ((v:{материальная точка}) /(v = материальная точка 0,002/)
масса материальной точки равна 2 г
(10.4) сила ((v1:{материальная точка}) / (v = материальная точка ((v2: {0,5,10}) 0)/)
на материальную точку в ситуации не действовала никакая сила
(10.5) координата ((v:{материальная точка}) / (v = материальная точка ((t: {0,5,10}) 5*t)/)
координата изменяется по закону x = 5t
Пример 11. Модель ситуации предметной области Неорганическая химия (модель упрощенной онтологии данной предметной области представлена в примере 2).
(11.1) процесс <{<
на первом шаге процесса имеются вещества S и O2, на втором шаге - вещества SO2 и O2
(11.2) реакция процесса ((v: I[1,1]) /(v = 1 реакция1)/)
на первом шаге процесса имела место одна реакция с идентификатором "реакция1"
(11.3) прореагировало полностью {<1, <
вещество S на первом шаге процесса прореагировало полностью
Пример 12. Модель ситуации предметной области Молекулярная физика газов (упрощенная модель онтологии данной области представлена в примере 3). Модель ситуации данной предметной области представлена следующими предложениями:
(12.1) тела {газ в колбе}
в ситуации имеется единственное тело – газ в колбе
(12.2) моменты времени ((v: {газ в колбе}) /(v = газ в колбе {1})/
движение тела наблюдали в начале физического процесса
(12.3) масса ((v: {газ в колбе}) /(v = газ в колбе 1)/
масса газа равна 1 кг
(12.4) число молекул ((v: {газ в колбе}) /(v = газ в колбе 1.4 * 1025)/
число молекул газа в колбе равно 1.4 * 1025
(12.5) количество вещества ((v: {газ в колбе}) /(v = газ в колбе 23)/
количество вещества газа в колбе равно 23 моль
(12.6) объем ((v: {газ в колбе}) /(v = газ в колбе 1)/
газ занимает объем, равный 1 м3
(12.7) вещество тела ((v: {газ в колбе}) /(v = газ в колбе углекислый газ)/
газ в колбе – это углекислый газ
(12.8) давление ((v: {<газ в колбе, 1})/(v = <газ в колбе,1> 0.532 * 104)/
давление молекул газа на стенки колбы равно 0.532* 104 Па
(12.9) средняя кинетическая энергия ((v: {<газ в колбе,1>})/(v = <газ в колбе,1> 0.57*10-21)/
средняя кинетическая энергия поступательного движения молекул газа равна 0.57 * 10-21 Дж
(12.10) плотность ((v: {газ в колбе}) /(v = газ в колбе 1)/
плотность газа равна 1 кг/м3
(12.11) концентрация ((v: {газ в колбе}) /(v = газ в колбе 1.4*1025)/
концентрация молекул газа равна 1.4 * 1025 м-3
(12.12) температура ((v: {<газ в колбе, 1>})/(v = <газ в колбе,1> 273)/
температура газа равна 1 С
(12.13) скорость ((v: {<газ в колбе, 1>})/(v = <газ в колбе,1> 393.24) /
молекулы газа движутся со скоростью 393.24 м/сек
3. МОДЕЛЬ ЗНАНИЙ И ТЕРМИНЫ ДЛЯ ОПИСАНИЯ ЗНАНИЙ
Любое обогащение необогащенной системы логических соотношений, являющейся моделью онтологии предметной области, есть модель некоторой системы знаний этой предметной области.
Если модель онтологии предметной области есть необогащенная система логических соотношений без параметров, то эта модель онтологии вводит все термины для описания предметной области. В этом случае любое обогащение k системы O есть множество логических соотношений - ограничений на интерпретацию имен, представляющих эмпирические или другие законы предметной области. Поскольку такое обогащение не вводит новых имен, оно не может содержать описаний сортов имен и описаний значений имен [2–4].
Пример 13.Модель знаний предметной области Динамика – возможное обогащения системы без параметров примера 1, заданная предложением – ограничением смысла неизвестных.
(13.1) (v1: тела) (v2: моменты времени(v1)) сила(v1, v2) = масса(v1) * ускорение(v1, v2)
второй закон Ньютона: сила, действующая на тело, равна произведению массы тела на сообщаемое этой силой ускорение
Если модель онтологии предметной области есть необогащенная система логических соотношений с параметрами, то параметры этой системы представляют термины предметной области, используемые для описания знаний.
Если модель онтологии предметной области есть чистая необогащенная система O логических соотношений с параметрами, то любое обогащение k системы O есть некоторое множество P значений параметров системы O [2–4]. Значение объектного параметра задает некоторое множество имен для описания ситуаций, либо множество имен параметров. Каждое обогащение (база знаний) вводит новые, по сравнению с онтологией, имена - термины для описания ситуаций и знаний. Функциональные и предикатные параметры представляют эмпирические или другие законы предметной области. Значение каждого функционального либо предикатного параметра есть некоторое отношение между терминами и/или константами предметной области. В этом случае знания предметной области описываются на более высоком уровне абстракции, чем в случае, когда модель онтологии предметной области есть необогащенная система логических соотношений без параметров. Значения параметров могут быть заданы множеством предложений - описаний значений имен.
Пример 14.Модель знаний предметной области Неорганическая химия – возможное обогащение чистой необогащенной системы логических соотношений примера 2, заданная множеством предложений – описаний значений имен.
(14.1) химические элементы {H, O, S}
рассматриваются лишь химические элементы H, O и S
(14.2) порядковый номер ((v: {H, O, S}) /(v = H 1), (v = O 8), (v=S16)/)
порядковый номер химического элемента H равен 1, элемента O равен 8, а элемента S равен 16
(14.3) номер периода ((v: {H, O, S}) /(v = H 1), (v = O 2),
(v = S 3)/)
номер периода элемента H равен 1, элемента O равен 2, а элемента S равен 3
(14.4) окислительные способности химического элемента ((v: {H, O, S})
/(v = H {Red}), (v = O {Ox}), (v = S {Red})/)
химические элементы H и S являются восстановителями, а элемент O – окислителем
(14.5) степень окисления ((v: {
1 2
элемент H может отдавать 1 электрон, элемент O может принять только 2 электрона, элемент S отдавать 2, 4 или 6 электронов
(14.6) химические вещества {<
рассматриваются только следующие химические вещества: S, O2, SO2, SO3, H2O, H2SO4
(14.7) реакции {реакция1, реакция2, реакция3}
рассматриваются только три реакции, имеющие названия реакция1, реакция2, реакция3
(14.8) реагенты ((v: {реакция1, реакция2, реакция3}) /(v = реакция1 {<
реагентами реакции1 являются S и O2, реакции2 – SO2 и O2, реакции3 – SO3 и H2O
(14.9) результаты ((v: {реакция1, реакция2, реакция3}) /(v = реакция1 {<
результатами реакции1 являются SO2, реакции2 – SO3, реакции3 – H2SO4
(14.10) коэффициент ((v: {<реакция1, <
в уравнении реакции1 вещества S, O2 и SO2 имеют коэффициент 1; в уравнении реакции2 вещества SO2 и SO3 имеют коэффициент 2, а вещество O2 – коэффициент 1; в уравнении реакции3 вещества SO3, H2O и H2SO4 имеют коэффициент 1.
Это обогащение вводит новые термины для описания ситуаций H, O, S, реакция1, реакция2, реакция3. Данные термины используются при записи законов предметной области.
Если модель онтологии предметной области есть смешанная необогащенная система O логических соотношений с параметрами, то любое обогащение k системы O есть пара <', P>, где ' - есть множество логических соотношений - ограничений на интерпретацию неизвестных, представляющих некоторую часть эмпирических или других законов предметной области, а P - некоторое множество значений параметров системы O, представляющее остальные эмпирические или другие законы этой же предметной области [2–4]. В этом случае знания предметной области описываются на двух уровнях абстракции: в виде логических соотношений между неизвестными системы O и в виде отношений между терминами этой предметной области (значениями параметров).
Пример 15. Модель знаний предметной области Молекулярная физика газов (обогащение смешанной системы примера 3) содержит следующие предложения:
(15.1.1) химические элементы {C, O}
рассматриваются лишь химические элементы C и O
(15.1.2) Ar ((v : {C, O}) /(C 12) (O 16)
предложение задает приближенные значения относительной атомарной массы углерода и кислорода
(15.1.3) идентификаторы веществ {углекислый газ}
рассматривается только одно вещество – углекислый газ
(15.1.4.) формула ((v:{углекислый газ}) /(v= углекислый газ <<С, Red, 4,1>>, <
формула углекислого газа CO2
(15.3.1) (v1:тела) (v2: моменты времени(v1)) давление(v1,v2) = 1/3 * плотность(v1)) * концентрация(v1) * скорость(v1, v2) 2
давление на стенки сосуда, в котором находится тело, пропорционально произведению плотности молекул тела на концентрацию молекул и на квадрат средней скорости
(15.3.2) (v1:тела) (v2: моменты времени(v1)) средняя кинетическая энергия(v1,v2)= (масса молекулы(вещество(v1)) * скорость(v1,v2)2)/2
предложение задает связь между значениями терминов средняя кинетическая энергия, масса молекулы, скорость
(15.3.3) (v1:тела) (v2: моменты времени(v1)) давление(v1,v2) * объем(v1) / число молекул(вещество(v1)) = 2/3 * средняя кинетическая энергия(v1, v2)
предложение задает связь между значениями терминов давление, объем, число молекул и средняя кинетическая энергия
(15.3.4) (v1:тела) (v2: моменты времени(v1)) давление(v1,v2) * объем(v1) / число молекул(вещество(v1)) = k * температура(v1,v2)
предложение задает отношение между значениями терминов давление, объем, число молекул и температура
(15.3.5) (v1: тела) (v2: моменты времени(v1)) давление(v1,v2) = концентрация(v1) * k * температура(v1,v2)
предложение задает связь между значениями терминов давление, концентрация и температураf
(15.3.6) (v1: тела) (v2: моменты времени(v1)) средняя кинетическая энергия(v1,v2) = 3/2 * k * температура(v1,v2)
предложение задает связь между значениями терминов средняя кинетическая энергия и температура
(15.3.7) (v1: тела) (v2: моменты времени(v1)) скорость(v1,v2) 2 = 3 * k * температура(v1,v2) / масса молекулы(вещество(v1))
предложение задает связь между терминами скорость, температура и масса молекулы
Описание сорта параметра задает множество моделей значений этого параметра. В любой модели знаний значением параметра может быть только элемент этого множества. Тем самым, для каждого параметра описание сорта задает модель объема понятия, обозначаемого параметром. Модель объема понятия может быть как конечным, так и бесконечным множеством.
Пример 16. В примере 2 предложения 2.2.1 – 2.2.9 задают модели объемов понятий, обозначенных параметрами химические элементы, порядковый номер, номер периода, окислительные способности химического элемента, степень окисления, химические вещества, реакции, реагенты, результаты, коэффициент. В примере 3 предложения 3.2.1 – 3.2.3 задают модели объемов понятий, обозначенных параметрами идентификаторы веществ, Ar, формула.
4. МАТЕМАТИЧЕСКИЕ ТЕРМИНЫ И КОНСТРУКЦИИ
Математические термины и конструкции, используемые для описания предметной области, определяются языком прикладной логики [2], с помощью которого задается необогащенная система логических соотношений, являющаяся моделью онтологии этой предметной области.
Ядро языка прикладной логики задает минимальный набор логических средств для описания предметной области. Стандартное расширение языка, помимо дополнительных логических средств, вводит арифметические и теоретико-множественные константы, операции и отношения. Каждое специализированное расширение языка позволяет задавать как дополнительные логические средства, так и константы, операции и отношения других разделов математики. Использованные в примерах 1 и 2 работы [2] специализированные расширения языка Интервалы и Математические кванторы вводят целочисленные и вещественные интервалы, а также математические кванторы. Другими примерами математических терминов, которые могут вводиться с помощью специализированных расширений, являются операции дифференцирования и интегрирования (см. пример 1 данной работы, а также пример 3 части 3 [12]), предикаты оптимизации и т.п.
Математические объекты (имена, числа, множества, кортежи и т.п.) служат для представления моделей простых и составных объектов предметной области. Математические функции и отношения представляют такие свойства объектов предметной области, которые сохраняются при замене объектов предметной области их математическими моделями.
В каждой предметной области, как правило, используется свой математический аппарат. Это свойство предметных областей представлено в модели онтологии специализированными расширениями языка. Вместе с тем, практика показывает, что один и тот же математический аппарат может использоваться при описании различных предметных областей. В этом случае при описании моделей онтологий таких предметных областей могут использоваться одни и те же специализированные расширения языка прикладной логики, задаваемые именами этих расширений.
Таким образом, математические термины и конструкции имеют более или менее принятые обозначения, синтаксис и семантику. Они отделены от онтологии предметной области тем, что определяются в языке прикладной логики (его ядре и расширениях), а не в необогащенной системе логических соотношений, представляющей модель онтологии. Они связаны с онтологией предметной области тем, что название логической теории, представляющей множество логических соотношений, содержит имена всех расширений, использованных для записи этой теории. Использование математических терминов и конструкций в таком их понимании не ограничивает возможностей применения необогащенных систем логических соотношений для представления онтологий различных предметных областей, в том числе и математики как предметной области, что иллюстрируется примерами 11 и 19 работ [2–4], а также примером 3 части 3 [12]. В последнем случае математические термины и конструкции выступают в качестве элементов метаязыка с полностью определенным синтаксисом и семантикой, а остальные термины онтологии – в качестве терминов предметной области Математика, причем их семантика определяется онтологией.
5. ВСПОМОГАТЕЛЬНЫЕ ТЕРМИНЫ
Вспомогательные термины вводятся для того, чтобы сделать описание онтологии предметной области более компактным. Вспомогательный термин имеет значение, определенное через значения других терминов онтологии предметной области: математических терминов, терминов для описания ситуаций, терминов для описания знаний или других вспомогательных терминов. Определения вспомогательных терминов представлены в модели онтологии предметной области множеством определений значений имен.
Пример 17. В примере 1 предложения 1.1.1 и 1.1.2 определяют вспомогательные термины скорость и ускорение; в примере 2 предложения 2.1.1 – 2.1.9 определяют вспомогательные термины максимальное число электронов, номер группы, возможные формулы веществ, компонента, принадлежит веществу, номер элемента, индекс, принадлежит реагентам, возможные химические процессы; в примере 3 предложения 3.1.1 – 3.1.5 определяет вспомогательные термины NA, Mr, молярная масса, масса молекулы, k. Значение терминов максимальное число электронов и NA определено с использованием математических терминов, их значения не зависят от значений параметров и неизвестных модели онтологии. Значения терминов скорость, ускорение, возможные формулы веществ, компонента, принадлежит веществу, номер элемента, индекс, принадлежит реагентам, возможные химические процессы, Mr зависят от значений параметров или неизвестных.
6. ОНТОЛОГИЧЕСКИЕ СОГЛАШЕНИЯ
Онтологические соглашения о предметной области представлены множеством ограничений на интерпретацию имен необогащенной системы логических соотношений, являющейся моделью онтологии этой предметной области. Онтологические соглашения - это явно сформулированные соглашения об ограничении на смысл терминов, в которых описывается предметная область, в дополнение к определению объемов понятий, обозначенных этими терминами.
Если модель онтологии предметной области есть необогащенная система логических соотношений без параметров, то все онтологические соглашения суть только ограничения целостности моделей ситуаций. Множество онтологических соглашений в этом случае может быть и пустым.
Пример 18.Примером модели онтологии, представленных необогащенной системой логических соотношений без параметров, с пустым множеством онтологических соглашений является модель онтологии примера 1.
Если модель онтологии предметной области есть необогащенная система логических соотношений с параметрами, то множество онтологических соглашений может быть разбито на три непересекающиеся части: ограничения целостности моделей ситуаций, т.е. соглашения, ограничивающие смысл терминов для описания ситуаций; ограничения целостности моделей знаний, т.е. соглашения, ограничивающие смысл терминов для описания знаний; соглашения, устанавливающие соответствия между моделями знаний и ситуаций, т.е. соглашения, устанавливающие соответствие между смыслом терминов для описания ситуаций и знаний. Каждое утверждение первой группы должно содержать хотя бы одну неизвестную (или переменную, значениями которой являются неизвестные), и не содержать параметров; каждое утверждение второй группы должно содержать хотя бы один параметр (или переменную, значениями которой являются параметры), и не содержать неизвестных; каждое утверждение третьей группы должно содержать хотя бы один параметр (или переменную, значениями которой являются параметры), и хотя бы одну неизвестную (или переменную, значениями которой являются неизвестные).
Пример 19.В примере 2 множество ограничений целостности моделей ситуаций состоит из предложения 2.3.13; множество ограничений целостности моделей знаний образуют предложения 2.3.1 – 2.3.10; множество соглашений, устанавливающих соответствие между моделями знаний и ситуаций образуют предложения 2.3.11 – 2.3.12.
В примере 3 множество ограничений целостности моделей ситуаций состоит из предложений 3.3.3 и 3.3.8; множество ограничений целостности моделей знаний состоит из предложения 3.3.5; множество соглашений, устанавливающих соответствие между моделями знаний и ситуаций состоит из предложения 3.3.1, 3.3.2, 3.3.4 и 3.3.7.
Теперь определим неформальное понятие онтология предметной области через формальное понятие модель онтологии предметной области: онтологией предметной области будем называть ту часть информации о предметной области, которую представляет модель онтологии этой предметной области. Отсюда следует, что онтология предметной области включает множество определений объемов понятий для описания ситуаций (которое не может быть пустым), множество определений объемов понятий для описания знаний (возможно, пустое), множество определений значений вспомогательных терминов (возможно, пустое), множество ограничений смысла терминов для описания ситуаций (возможно, пустое), множество ограничений смысла терминов для описания знаний (возможно, пустое) и множество соглашений, устанавливающих соответствия между смыслом терминов для описаний ситуаций и знаний (возможно, пустое).
ЗАКЛЮЧЕНИЕ
На основе анализа содержания понятия "онтология предметной области", проведенного в работе [1], а также математического аппарата, введенного в работах [2–4] сделана попытка дать более удовлетворительное определение понятий "онтология предметной области" и ее модель. В работе введено понятие "математическая модель онтологии предметной области", рассмотрено представление различных элементов онтологии предметной области в модели – математических терминов и конструкций, терминов для описания ситуаций и самих ситуаций, знаний и терминов для описания знаний, вспомогательных терминов и онтологических соглашений.
ЛИТЕРАТУРА
1. Клещев А.С. Артемьева И.Л. Математические модели онтологий предметных областей. Часть 1. Существующие подходы к определению понятия "онтология" // НТИ. Сер. 2. (в печати).
2. Клещев А.С. Артемьева И.Л. Необогащенные системы логических соотношений. Часть 1 // НТИ. Сер. 2. –2000. –№ 7.– С. 18–28.
3. Клещев А.С. Артемьева И.Л. Необогащенные системы логических соотношений. Часть 2 // НТИ. Сер. 2. –2000. (в печати)
4. Клещев А.С. Артемьева И.Л. Необогащенные системы логических соотношений. Часть 3 // НТИ. Сер. 2. –2000. –(в печати)
5. Каменев А.В., Клещев А.С., Черняховская М.Ю. Логическая модель причинно-следственных отношений различных типов в области медицинcкой диагностики. Препр. Владивосток: ИАПУ ДВО РАН. 1999. 55с.
6. Артемьева И.Л., Цветников В.А., Реутов В.А. Модель онтологии предметной области "Упрощенный физико-химический процесс в неорганической химии". Препр. Владивосток: ИАПУ ДВО РАН, 1999. 52 с.
7. Артемьева И.Л., Гаврилова Т.Л., Клещев А.С. Модели предметных областей с атомарными объектами // НТИ. Сер.2. – 1995. – №12. – С. 8-18.
8. Артемьева И.Л., Гаврилова Т.Л., Клещев А.С. Логические модели второго порядка // НТИ. – Сер.2.– 1997. – № 6. – С. 14-30.
9. Kleshchev A.S., Artemjeva I.L., Gavrilova T.L. Expert systems: from mathematics to technology. Technical Report, Vladivostok: Institute for Automation & Control Processes, Far Eastern Branch of the Russian Academy of Sciences, 1997.36 p.
10. Kleshchev A.S., Artemjeva I.L., Gavrilova T.L., Surov V.V. Application of Logical relationship systems for expert systems development. // Proc. of the 4–th World Congress on Expert Systems, 16-20 March 1998/ – Mexico, 1998.– V. 1: – P. 500-510.
11. Kleshchev A.S., Artemjeva I.L. Domain Ontologies and Knowledge Processing. Technical Report 7-99, Vladivostok: Institute for Automation & Control Processes, Far Eastern Branch of the Russian Academy of Sciences, 1999. 25 p.
12. Клещев А.С. Артемьева И.Л. Математические модели онтологий предметных областей. Часть 3. Сравнение разных классов моделей онтологий // НТИ. Сер. 2. (в печати).
1 Опубликовано в Научно–техническая информация, серия 2 "Информационные процессы и системы", 2001, № 3
1 2