А.С. Клещёв, Ф.М. Москаленко, М.Ю. Черняховская

Модель онтологии предметной области "медицинская диагностика". Часть 2. Формальное описание причинно-следственных связей, причин значений признаков и причин заболеваний.

1. Введение
??????????????????????????????????????????????????
Со ссылками на проекты 16 и 16.

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

2.1. Термины знаний и действительности, описывающие нормальные реакции, и онтологические соглашения о соответствии между ними

2.1.1. Термин знания о нормальных реакциях это множество структурных значений с атрибутами следствие, варианты, воздействующие факторы, каждое их которых описывает знания о конкретной нормальной реакции. Значением первого атрибута является имя признака, второго – множество вариантов нормальной реакции для этого признака, третьего – множество особенностей.
знания о нормальных реакциях 
 (	следствие  признаки,
варианты  {}варианты нормы,
воздействующие факторы  {}особенности)

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

2.1.3. В знаниях о нормальных реакциях в любом варианте нормы область значений следствия – это собственное подмножество возможных значений признака, являющегося следствием этой нормальной реакции.
(знания о нормальной реакции: знания о нормальных реакциях)
(вариант: варианты(знания о нормальной реакции))
область значений следствия(вариант) 
 возможные значения(следствие(знания о нормальной реакции))

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

2.1.5. Если в ситуации присутствует некоторая нормальная реакция, то в множестве знания о нормальных реакциях присутствует такой элемент, у которого следствие совпадает со следствием нормальной реакции, в множестве вариантов нормы этого элемента содержится вариант нормы из нормальной реакции и для него выполнено условие на воздействующие факторы.
(нормальная реакция: нормальные реакции)
( (знания о нормальной реакции: знания о нормальных реакциях)
следствие(знания о нормальной реакции) =
= следствие(нормальная реакция)&
& вариант(нормальная реакция) 
 варианты(знания о нормальной реакции)&
& выполнено(условие на воздействующие факторы(вариант(
								нормальная реакция))) )

2.2. Термины знаний и действительности, описывающие реакции на воздействие событий, и онтологические соглашения о соответствии между ними

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

2.2.2. Термин варианты рвс это множество структурных значений с атрибутами область значений причины-события, число периодов динамики, описание динамики, условия на воздействующие факторы, каждое из которых описывает знания о конкретном варианте реакции на воздействие события. Значением первого атрибута является множество значений события (см. раздел 1.3.), второго – натуральное число. Третий атрибут является функцией, которая номеру периода динамики сопоставляет период динамики. Значение четвёртого атрибута – множество условий.
варианты рвс 
 ( область значений причины-события  множества значений,
число периодов динамики  I[1, ),
описание динамики 
 (I[1, число периодов динамики]  периоды динамики),
условие на воздействующие факторы  условия )

2.2.3. Термин действительности реакции на воздействие событий это множество структурных значений с атрибутами причина-событие, следствие, вариант, динамика значений, модальность, каждое из которых описывает реакцию на воздействие события, происходящую в ситуации. Значением причины-события является имя события, значением следствия – имя признака, значением варианта – вариант рвс, значением динамики значений – разбиение, значением модальности – необходимость или возможность.
реакции на воздействие событий 
 ( причина-событие  события,
следствие  признаки,
вариант  варианты рвс,
динамика значений  разбиения,
модальность  {возможность, необходимость} )

2.2.4. Если в ситуации присутствует некоторая реакция на воздействие события, то начало её динамики значений принадлежит множеству моментов времени, когда происходило причина-событие.
(реакция на воздействие события: реакции на воздействие событий)
element(динамика значений(реакция на воздействие события), 0) 
 моменты(причина-событие(реакция на воздействие события))

2.2.5. Если в ситуации присутствует реакция на воздействие события, происшедшего с пациентом в некоторый момент времени, то в модель знаний входит такой элемент множества знания о реакциях на воздействие событий, у которого:
- причиной-событием является это событие,
- следствие совпадает со следствием реакции на воздействие события,
- выполнено необходимое условие,
- модальность совпадает с модальностью реакции на воздействие события,
- множеству вариантов рвс принадлежит вариант рвс реакции на воздействие события, причём такой, что значение причины-события принадлежит области значений причины-события этого варианта; количество интервалов в динамике значений реакции на воздействие события равно числу периодов динамики этого варианта; выполнено условие на воздействующие факторы.
(реакция на воздействие события: реакции на воздействие событий)
( (знания о реакции на воздействие события:
знания о реакциях на воздействие событий)
причина-событие(знания о реакции на воздействие события) =
= причина-событие(реакция на воздействие события) &
& следствие(знания о реакции на воздействие события) = 
= следствие(реакция на воздействие события) &
& выполнено(необходимое условие(
знания о реакции на воздействие события)) &
& модальность(знания о реакции на воздействие события) =
= модальность(реакция на воздействие события)&
& вариант(реакция на воздействие события) 
 варианты(знания о реакции на воздействие события) &
& причина-событие(реакция на воздействие события)(element(
динамика значений(реакция на воздействие события), 0)) 
 область значений причины-события(вариант(
реакция на воздействие события)) &
& length(динамика значений(реакция на воздействие события))–1=
= число периодов динамики(вариант(
реакция на воздействие события)) &
& выполнено(условие на воздействующие факторы(
вариант(реакция на воздействие события)))  )

2.3. Термины знаний и действительности, описывающие клинические проявления заболеваний, и онтологические соглашения о соответствии между ними

2.3.1. Термин знания о клинических проявлениях это множество структурных значений с атрибутами причина, период развития заболевания, следствие, варианты, воздействующие факторы, необходимое условие, модальность, каждое из которых описывает знания о конкретном клиническом проявлении заболевания. Значением причины является имя заболевания, значением периода развития заболевания – номер периода развития заболевания, значением следствия – имя признака, значением вариантов – множество вариантов кп, значением воздействующих факторов – множество особенностей, значением необходимого условия – множество условий, значением модальности – необходимость или возможность.
знания о клинических проявлениях 
 ( причина  заболевания,
период развития заболевания 
 I[1, число периодов развития(причина)],
следствие  признаки,
варианты  {}варианты кп,
воздействующие факторы  {}особенности,
необходимое условие  условия,
модальность  {возможность, необходимость} )

2.3.2. Термин варианты кп это множество структурных значений с атрибутами число периодов динамики, описание динамики, условие на воздействующие факторы, каждое из которых описывает знания о конкретном варианте клинического проявления заболевания. Значением первого атрибута является положительное целое число. Второй атрибут является функцией, которая номеру периода динамики сопоставляет период динамики. Значение третьего атрибута – множество условий.
варианты кп 
 (	число периодов динамики  I[1, ),
описание динамики 
 (I[1, число периодов динамики]  периоды динамики),
условие на воздействующие факторы  условия )

2.3.3. Термин действительности клинические проявления это множество структурных значений с атрибутами причина, период развития заболевания, следствие, вариант, динамика значений, модальность, каждое из которых описывает клиническое проявление заболевания, происходящее в ситуации. Значением причины является имя заболевания из диагноза, значением периода развития заболевания – номер периода развития заболевания, значением следствия – имя признака, значением варианта – вариант кп, значением динамики значений – разбиение, значением модальности – необходимость или возможность.
клинические проявления 
 (	причина   диагноз,
период развития заболевания 
 I[1, число периодов развития(причина)],
следствие  признаки,
вариант  варианты кп,
динамика значений  разбиения,
модальность  {возможность, необходимость})

2.3.4. Если в ситуации присутствует клиническое проявление заболевания, которым болен пациент, на некотором периоде его развития, то начало его динамики значений совпадает с моментом начала периода развития заболевания, а конец – с концом этого периода.
(клиническое проявление: клинические проявления)
element(динамика значений(клиническое проявление), 0) =
= element(развитие(причина(клиническое проявление)),
период развития заболевания(клиническое проявление) – 1) &
& element(динамика значений(клиническое проявление),
length(динамика значений(клиническое проявление))) =
= element(развитие(причина(клиническое проявление)),
период развития заболевания(клиническое проявление))

2.3.5. Если в ситуации присутствует клиническое проявление заболевания, которым болен пациент, на некотором периоде его развития, то в модель знаний входит элемент множества знания о клинических проявлениях, у которого:
- причиной является это заболевание с тем же периодом развития,
- следствие совпадает со следствием клинического проявления,
- выполнено необходимое условие,
- модальность совпадает с модальностью клинического проявления,
- множеству вариантов кп принадлежит вариант кп клинического проявления, причём такой, что количество интервалов в динамике значений клинического проявления равно числу периодов динамики этого варианта и выполнено условие на воздействующие факторы.
(клиническое проявление: клинические проявления)
((знания о клиническом проявлении: знания о клинических проявлениях)
причина(знания о клиническом проявлении) =
= причина(клиническое проявление) &
& период развития заболевания(знания о клиническом проявлении) =
= период развития заболевания(клиническое проявление) &
& следствие(знания о клиническом проявлении) =
= следствие(клиническое проявление) &
& выполнено(необходимое условие(знания о клиническом проявлении))&
& модальность(знания о клиническом проявлении) =
= модальность(клиническое проявление) &
& вариант(клиническое проявление) 
 варианты(знания о клиническом проявлении) &
& length(динамика значений(клиническое проявление)) – 1 =
= число периодов динамики(вариант(клиническое проявление))&
& выполнено(условие на воздействующие факторы(вариант(
клиническое проявление))) )

2.4. Термины знаний и действительности, описывающие клинические проявления заболеваний, изменённые воздействием событий, и онтологические соглашения о соответствии между ними

2.4.1. Термин знания о клинических проявлениях, измененных воздействием событий это множество структурных значений с атрибутами причина, причина-событие, следствие, варианты, воздействующие факторы, необходимое условие, модальность, каждое из которых описывает знания о конкретном клиническом проявлении, изменённом воздействием события. Значением причины является имя заболевания, значением причины-события – имя события, значением следствия – имя признака, значением вариантов – множество вариантов кпивс, значением воздействующих факторов – множество особенностей, значением необходимого условия – множество условий, значением модальности – необходимость или возможность.
знания о клинических проявлениях, измененных воздействием событий 
 ( причина  заболевания,
причина-событие  события,
следствие  признаки,
варианты  {}варианты кпивс,
воздействующие факторы  {}особенности,
необходимое условие  условия,
модальность  {возможность, необходимость} )

2.4.2. Термин варианты кпивс это множество структурных значений с атрибутами область значений причины-события, число периодов динамики, описание динамики, условия на воздействующие факторы, каждое из которых описывает знания о конкретном варианте клинического проявления, изменённого воздействием события. Значением первого атрибута является множество значений события, второго – натуральное число. Третий атрибут является функцией, которая номеру периода динамики сопоставляет период динамики. Значение четвёртого атрибута – множество условий.
варианты кпивс 
 ( 	область значений причины-события  множества значений,
число периодов динамики  I[1, ),
описание динамики 
 (I[1, число периодов динамики]  периоды динамики),
условие на воздействующие факторы  условия )

2.4.3. Если в знаниях определено клиническое проявление некоторого заболевания, измененное воздействием события, то для всех его периодов развития должно быть определено и клиническое проявление этого же заболевания, у которого следствием является тот же признак. 
(знания о клиническом проявлении, изменённом воздействием события: 
знания о клинических проявлениях, измененных воздействием событий) 
(номер периода развития: I[1, число периодов развития(причина(
знания о клиническом проявлении, изменённом воздействием события))])
( (знания о клиническом проявлении: знания о клинических проявлениях)
причина(знания о клиническом проявлении) = причина(знания о
клиническом проявлении, изменённом воздействием события) &
& следствие(знания о клиническом проявлении) = следствие(знания о
клиническом проявлении, изменённом воздействием события) &
& период развития(знания о клиническом проявлении) =
= номер периода развития )

2.4.4. Термин действительности клинические проявления, измененные воздействием событий это множество структурных значений с атрибутами причина, причина-событие, следствие, вариант, динамика значений, модальность, каждое из которых описывает клиническое проявление, изменённое воздействием события, происходящее в ситуации. Значением причины является имя заболевания, которым болен пациент, значением причины-события – имя события, значением следствия – признак, значением варианта – вариант кпивс, значением динамики значений – разбиение, значением модальности – необходимость или возможность.
клинические проявления, измененные воздействием событий 
 ( причина   диагноз,
причина-событие   события,
следствие  признаки,
вариант   варианты кпивс,
динамика значений  разбиения
модальность  {возможность, необходимость})

2.4.5. Если в ситуации присутствует клиническое проявление заболевания, которым болен пациент, изменённое воздействием события, то начало его динамики значений принадлежит моментам времени, в которые происходило причина-событие.
(клиническое проявление, изменённое воздействием события:
клинические проявления, изменённые воздействием событий)
element(динамика значений(
клиническое проявление, изменённое воздействием события), 0) 
 моменты(причина-событие(
клиническое проявление, изменённое воздействием события))

2.4.6. Если в ситуации присутствует клиническое проявление некоторого заболевания, которым болен пациент, изменённое воздействием события, происшедшего с пациентом в некоторый момент времени, то в модель знаний входит элемент множества знания о клинических проявлениях, изменённых воздействием событий, у которого:
- причиной является это заболевание,
- причиной-событием является это событие,
- следствие совпадает со следствием клинического проявления, изменённого воздействием события, 
- выполнено необходимое условие,
- модальность совпадает с модальностью клинического проявления, изменённого воздействием события,
- множеству вариантов кпивс принадлежит вариант кпивс клинического проявления, изменённого воздействием события, причём такой, что значение причины-события принадлежит области значений причины-события этого варианта, количество интервалов в динамике значений клинического проявления, изменённого воздействием события, равно числу периодов динамики этого  варианта и выполнено условие на воздействующие факторы.
(клиническое проявление, изменённое воздействием события:
клинические проявления, изменённые воздействием событий)
((знания о клиническом проявлении, изменённом воздействием события:
знания о клинических проявлениях, изменённых воздействием событий)
причина(
знания о клиническом проявлении, изменённом воздействием события) =
= причина(
клиническое проявление, изменённое воздействием события) &
& причина-событие(
знания о клиническом проявлении, изменённом воздействием события) =
= причина-событие(
клиническое проявление, изменённое воздействием события) &
& следствие(
знания о клиническом проявлении, изменённом воздействием события) =
= следствие(
клиническое проявление, изменённое воздействием события) &
& выполнено(необходимое условие(
знания о клиническом проявлении, изменённом воздействием события)) &
& модальность(
знания о клиническом проявлении, изменённом воздействием события) =
= модальность(
клиническое проявление, изменённое воздействием события) &
& вариант(клиническое проявление, изменённое воздействием события)
 варианты(
знания о клиническом проявлении, изменённом воздействием события) &
& причина-событие(
клиническое проявление, изменённое воздействием события)
(element(динамика значений(клиническое проявление, изменённое воздействием события),0)) 
 область значений причины-события(вариант(
клиническое проявление, изменённое воздействием события)) &
& length(динамика значений(
клиническое проявление, изменённое воздействием события)) – 1 =
= число периодов динамики(вариант(
клиническое проявление, изменённое воздействием события)) &
& выполнено(условие на воздействующие факторы(вариант(
клиническое проявление, изменённое воздействием события))) )

2.5. Термины знаний и действительности, описывающие этиологии, и онтологические соглашения о соответствии между ними

2.5.1. Термин знания об этиологиях это множество структурных значений с атрибутами причина-событие, следствие, варианты, модальность, необходимое условие, воздействующие факторы, каждое из которых описывает знания о конкретной этиологии. Значением причины-события является имя события, значением следствия – имя признака, значением вариантов – множество вариантов этиологии, значением воздействующих факторов – множество особенностей, значением необходимого условия – множество условий, значением модальности – необходимость или возможность.
знания об этиологиях 
 ( причина-событие  события,
следствие  заболевания,
варианты  {}варианты этиологии,
воздействующие факторы  {}особенности,
необходимое условие  условия,
модальность  {возможность, необходимость} )

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

2.5.3. Термин действительности этиологии это множество структурных значений с атрибутами причина-событие, момент, следствие, вариант, модальность, каждое из которых описывает этиологию, имеющую место в ситуации. Значением причины-события является имя события, значением момента – момент времени, в который произошло это событие, значением следствия – имя заболевания из диагноза, значением варианта – вариант этиологии, значением модальности – необходимость или возможность.
этиологии 
 ( причина-событие   события,
момент   моменты(причина-событие),
следствие   диагноз,
вариант   варианты этиологии,
модальность  {возможность, необходимость} )

2.5.4. Если в ситуации присутствует этиология, вызванная некоторым событием, происшедшим с пациентом в некоторый момент времени, и следствие которой является заболеванием из диагноза, то в модель знаний входит элемент множества знания об этиологиях, у которого:
- причиной-событием является это событие,
- следствием является это заболевание,
- выполнено необходимое условие,
- модальность совпадает с модальностью этиологии,
- множеству вариантов этиологии принадлежит вариант рассматриваемой этиологии, причём такой, что значение причины-события принадлежит области значений причины-события этого варианта; длительность интервала между моментом, когда произошло причина-событие, и началом заболевания заключена между нижней и верхней границами длительности интервала из описания динамики этого варианта; выполнено условие на воздействующие факторы.
(этиология: этиологии)
( (знания об этиологии: знания об этиологиях)
причина-событие(знания об этиологии) = причина-событие(этиология)&
& следствие(знания об этиологии) = следствие(этиология) &
& выполнено(необходимое условие(знания об этиологии)) &
& модальность(знания об этиологии) = модальность(этиология) &
& вариант(этиология)  варианты(знания об этиологии) &
& причина-событие(этиология)(момент(этиология)) 
 область значений причины-события(вариант(этиология)) &
&момент(этиология)– element(развитие(следствие(этиология)), 0)
 I[нижняя граница(описание динамики(вариант(этиология)), 
верхняя граница(описание динамики(вариант(этиология)) ] ) &
& выполнено(условие на воздействующие факторы(вариант(
этиология))) )

2.6. Термины знаний и действительности, описывающие осложнения, и онтологические соглашения о соответствии между ними

2.6.1. Термин знания об осложнениях это множество структурных значений с атрибутами причина, следствие, варианты, воздействующие факторы, необходимое условие, модальность, каждое из которых описывает знания о конкретном осложнении. Значениями причины и следствия являются заболевания, значением вариантов – множество вариантов осложнения, значением воздействующих факторов – множество особенностей, значением необходимого условия – условия, значением модальности – необходимость или возможность.
знания об осложнениях 
 ( причина  заболевания,
следствие  заболевания,
варианты  {}варианты осложнения,
воздействующие факторы  {}особенности,
необходимое условие  условия,
модальность  {возможность, необходимость} )

2.6.2. Термин варианты осложнения это множество структурных значений с атрибутами описание динамики, условия на воздействующие факторы, каждое из которых описывает знания о конкретном варианте осложнения. Значением первого атрибута является интервал, второго – условия.
варианты осложнения 
 ( описание динамики  интервал,
   условие на воздействующие факторы  условия )

2.6.3. Термин действительности осложнения это множество структурных значений с атрибутами причина, следствие, вариант, модальность, каждое из которых описывает осложнение одного заболевания другим, происходящее в ситуации. Значениями причины и следствия являются заболевания из диагноза, значением варианта – вариант осложнения, значением модальности – необходимость или возможность.
осложнения 
 ( причина   диагноз,
следствие   диагноз,
вариант   варианты осложнения,
модальность  {возможность, необходимость} )

2.6.4. Если в ситуации присутствует осложнение, у которого следствие и причина – заболевания из диагноза, то в модель знаний входит элемент множества знания об осложнениях, у которого:
- причиной является заболевание-причина осложнения,
- следствием является заболевание-следствие осложнения,
- выполнено необходимое условие,
- модальность совпадает с модальностью осложнения,
- множеству вариантов осложнения принадлежит вариант рассматриваемого осложнения, причём такой, что длительность интервала между началом заболевания-причины и началом заболевания-следствия заключена между нижней и верхней границами длительности интервала из описания динамики этого варианта; выполнено условие на воздействующие факторы.
(осложнение: осложнения)
( (знания об осложнении: знания об осложнениях)
причина(знания об осложнении) = причина(осложнение) &
следствие(знания об осложнении) = следствие(осложнение) &
& выполнено(необходимое условие(знания об осложнении)) &
& модальность(знания об осложнении) = модальность(осложнение) &
& вариант(осложнение)  варианты(знания об осложнении) &
& element(развитие(следствие(осложнение)), 0) –
– element(развитие(причина(осложнение)), 0)  
 I[ нижняя граница(описание динамики(вариант(осложнение)), 
верхняя граница(описание динамики(вариант(осложнение)) ] ) &
& выполнено(условие на воздействующие факторы(вариант(
осложнение))) )

2.6.5. Термин связь обозначает предикат, который соответствует транзитивному замыканию отношения осложнение.
связь  ( (заболевание1: заболевания) (заболевание2: заболевания) 
( (знание об осложнении: знания об осложнениях) 
причина(знание об осложнении)= заболевание1 &
& следствие(знание об осложнении)= заболевание2) 
 ( (заболевание: заболевания) 
связь(заболевание1, заболевание) &
& связь(заболевание, заболевание2) ) )

2.6.6. Заболевание ни прямо, ни косвенно не может быть своим осложнением. 
(заболевание: заболевания)  связь(заболевание, заболевание) 

2.7. Общие термины и онтологические соглашения, используемые для описания причинно-следственных связей

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

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

2.7.3. У каждого элемента множеств знания о клинических проявлениях, знания о клинических проявлениях, изменённых воздействием событий, знания о реакциях на воздействие событий в любом его варианте область значений следствия в каждом периоде динамики является подмножеством возможных значений признака, являющегося следствием этого элемента знаний.
(знания о причинно-следственной связи: 
знания о клинических проявлениях 
 знания о клинических проявлениях, изменённых воздействием событий  
 знания о реакциях на воздействие событий)
(вариант: варианты(знания о причинно-следственной связи))
(номер периода динамики: I[1, число периодов динамики(вариант))
(период динамики: описание динамики(вариант)(номер периода динамики))
область значений следствия(период динамики) 
 возможные значения(следствие(
знания о причинно-следственной связи))

2.7.4. Вспомогательный термин причинно-следственные связи есть множество значений терминов нормальные реакции, реакции на воздействие событий, клинические проявления и клинические проявления, изменённые воздействием событий.
причинно-следственные связи  нормальные реакции 
 реакции на воздействие событий  клинические проявления 
 клинические проявления, изменённые воздействием событий

2.7.5. Если в ситуации присутствует реакция на воздействие события, клиническое проявление или клиническое проявление, изменённое воздействием события, то длительность каждого периода динамики из динамика значений этого причинно-следственного отношения принадлежит интервалу допустимых длительностей этого периода динамики для варианта этого причинно-следственного отношения.
(причинно-следственная связь: причинно-следственные связи \
\ нормальные реакции) 
(номер периода динамики: I[1, число периодов динамики(вариант(
причинно-следственная связь))])
element(динамика значений(причинно-следственная связь), 
номер периода динамики) – element(динамика значений(
причинно-следственная связь), номер периода динамики –1) 
 I[ нижняя граница(длительность(описание динамики(вариант(
причинно-следственная связь))(номер периода динамики))), 
верхняя граница(длительность(описание динамики(вариант(
причинно-следственная связь))(номер периода динамики))) ]

3. Термины и соглашения, описывающие интервалы развития признака и причины заболеваний

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

3.1. Термины и соглашения, описывающие интервалы развития признака

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

Описание причин значений признака на интервале его развития и их свойств
В этом подразделе приводятся соотношения, устанавливающие, какие из причинно-следственных связей, действующих на некотором интервале времени, связанном с наблюдаемым признаком, определяют значения этого признака. Для этого определяется множество всех возможных причинных закономерностей, которые могли бы регулировать значения рассматриваемого признака для всех моментов времени, попадающих в этот интервал. Вводится понятие приоритета причины значений признака. Приоритет зависит от модальности причинно-следственной связи («необходимость» приоритетнее «возможности») и от того, к какому классу оно принадлежит (порядок увеличения приоритета: нормальная реакция  реакция на воздействие события  клиническое проявление  клиническое проявление, изменённое воздействием события  клиническое проявление заболевания-осложнения << клиническое проявление заболевания-осложнения, изменённое воздействием события). Причинно-следственная связь, определяющая значения признака на этом интервале его развития, имеет максимальный приоритет в множестве возможных причин.

3.1.1. Термин возможные причины значений признака обозначает функцию, аргументом которой является интервал развития признака, а значением – множество всех таких причинно-следственных связей (нормальных реакций, реакций на воздействие событий, клинических проявлений и клинических проявлений, изменённых воздействием событий), присутствующих в ситуации, которые протекают на протяжении всего интервала развития признака и, таким образом, могут определять значения этого признака на этом интервале (причём, если это клиническое проявление или клиническое проявление, изменённое воздействием события, то заболевание протекает на протяжении всего интервала развития признака).
возможные причины значений признака 
 ( (интервал развития признака: интервалы развития признака)
{(нормальная реакция: нормальные реакции)
следствие(нормальная реакция)=признак(интервал развития признака)} 
 {(реакция на воздействие события: 
реакции на воздействие событий)
следствие(реакция на воздействие события) =
= признак(интервал развития признака) &
& interval(развитие(признак(интервал развития признака)),
номер интервала(интервал развития признака)) 
 I[ element(динамика значений(вариант(
реакция на воздействие события)),0),
element(динамика значений(вариант(
реакция на воздействие события)),
length(динамика значений(
реакция на воздействие события)))]}
 	{(причинно-следственная связь: клинические проявления 
 клинические проявления, измененные воздействием событий)
следствие(причинно-следственная связь) =
= признак(интервал развития признака) &
& interval(развитие(признак(интервал развития признака)),
номер интервала(интервал развития признака)) 
 I[element(динамика значений(вариант(
причинно-следственная связь)),0),
      element(динамика значений(вариант(
причинно-следственная связь)),
length(динамика значений(
причинно-следственная связь)))] &
& interval(развитие(признак(интервал развития признака)),
номер интервала(интервал развития признака)) 
 I[element(развитие(причина(причинно-следственная связь)), 0),	
element(развитие(причина(причинно-следственная связь)),
length(развитие(причина(причинно-следственная связь)))}

3.1.2. Термин приоритет причин значений признака обозначает двуместный предикат, аргументами которого являются возможные причины, которые могут определять значения признаков на интервалах их развитий, и который истинен тогда и только тогда, когда обе причины относятся к одному и тому же признаку и интервалу его развития и первая причина «приоритетнее» второй, то есть:
а) либо причинная связь, соответствующая значению первого аргумента, есть реакция на воздействие события с модальностью необходимость, а причинная связь, соответствующая значению второго аргумента, есть:
- нормальная реакция или
- реакция на воздействие события с модальностью возможность;
б) либо причинная связь, соответствующая значению первого аргумента, есть клиническое проявление заболевания, входящего в диагноз, с модальностью необходимость, а причинная связь, соответствующая значению второго аргумента, есть:
- нормальная реакция,
- реакция на воздействие события или
- клиническое проявление заболевания, входящего в диагноз, с модальностью возможность;
в) либо причинная связь, соответствующая значению первого аргумента, есть клиническое проявление заболевания, входящего в диагноз, измененное воздействием события, с модальностью необходимость, а причинная связь, соответствующая значению второго аргумента, есть:
- нормальная реакция,
- реакция на воздействие события,
- клиническое проявление заболевания, входящего в диагноз, или
- клиническое проявление заболевания, входящего в диагноз, измененное воздействием события, с модальностью возможность;
г) либо причинная связь, соответствующая значению первого аргумента, есть клиническое проявление (возможно, изменённое воздействием события) заболевания, входящего в диагноз и являющегося осложнением (возможно, не прямым) другого заболевания, с модальностью необходимость, а причинная связь, соответствующая значению второго аргумента, есть:
- клиническое проявление этого другого заболевания,
- клиническое проявление этого другого заболевания, измененное воздействием события.
приоритет причин значений признака  (
(ПСС1: причинно-следственные связи)
(ПСС2: причинно-следственные связи)
( (интервал развития признака: интервалы развития признака)
ПСС1  возможные причины значений признака(
интервал развития признака) &
& ПСС2  возможные причины значений признака(
интервал развития признака) &
& ( (ПСС1  реакции на воздействие событий &
& модальность(ПСС1) = необходимость &
& (ПСС2  нормальные реакции 
 ПСС2  реакции на воздействие событий &
& модальность(ПСС2) = возможность)) 
 (ПСС1  клинические проявления &
& модальность(ПСС1)=необходимость &
& (ПСС2  нормальные реакции 
 реакции на воздействие событий 
 ПСС2  клинические проявления &
& модальность(ПСС2) = возможность)) 
 (ПСС1клинические проявления, изменённые воздействием событий &
& модальность(ПСС1) = необходимость &
& (ПСС2  нормальные реакции 
 реакции на воздействие событий  клинические проявления 
 ПСС2  клинические проявления, изменённые воздействием событий & модальность(ПСС2) = возможность) ) 
	(ПСС1  клинические проявления  клинические проявления, изменённые воздействием событий & модальность(ПСС1) = необходимость &
& ( ((другое заболевание: диагноз) 
связь(другое заболевание, причина(ПСС1) &
& (ПСС2  клинические проявления  клинические проявления, изменённые воздействием событий &
& причина(ПСС2) = другое заболевание) ))) )))

3.1.3. Термин причины значений признака наивысшего приоритета обозначает функцию, аргументом которой является интервал развития признака, а значением – только те причинно-следственные связи из множества возможные причины значений признака, которые имеют наибольший приоритет.
причины значений признака наивысшего приоритета 
 ( (интервал развития признака: интервалы развития признака)
возможные причины значений признака(интервал развития признака) \
\ {(ПСС1: возможные причины значений признака(
интервал развития признака))
( (ПСС2: возможные причины значений признака(
интервал развития признака)) 
приоритет причин значений признака(ПСС2, ПСС1))} )

3.1.4. Термин причина значений признака это функция, которая интервалу развития признака сопоставляет причинно-следственную связь, присутствующую в ситуации (нормальная реакция; реакция на воздействие события, произошедшего в некоторый момент; клиническое проявление заболевания, которым болен пациент, на некотором периоде его развития; клиническое проявление заболевания, которым болен пациент, измененного воздействием события, произошедшего в некоторый момент времени), и определяющее значения этого признака у пациента на этом интервале развития признака. 
сорт причина значений признака:
интервалы развития признака  причинно-следственные связи

3.1.5. Причина значений признака на интервале его развития имеет наивысший приоритет.
(интервал развития признака: интервалы развития признака)
причина значений признака(интервал развития признака) 
 причины значений признака наивысшего приоритета(
интервал развития признака)

3.1.6. Если причиной, определяющей значения признака на некотором интервале его развития, является нормальная реакция, то значения этого признака в любой момент его наблюдения, принадлежащего этому интервалу, принадлежат области значений следствия у варианта этой нормальной реакции.
(интервал развития признака: интервалы развития признака)
(момент наблюдения: моменты(признак(интервал развития признака))  interval(развитие(признак(интервал развития признака)), 
номер интервала(интервал развития признака)))
причина значений признака(интервал развития признака) 
 нормальные реакции 
 признак(интервал развития признака)(момент наблюдения) 
 область значений следствия(вариант(причина значений признака(
интервал развития признака)))

3.1.7. Если причиной, определяющей значения признака на некотором интервале его развития, является причинно-следственная связь одного из трёх типов:
- реакция на воздействие события,
- клиническое проявление,
- клиническое проявление, изменённое воздействием события,
то значения этого признака в любой момент его наблюдения, принадлежащего рассматриваемому интервалу развития признака и некоторому периоду развития в действующем варианте этой причинно-следственной связи, принадлежат области значений следствия для этого периода динамики этого варианта рассматриваемого причинно-следственного отношения.
(интервал развития признака: {(интервал: интервалы развития признака) причина значений признака  причинно-следственные связи \ нормальные реакции})
(период динамики: I[1, число периодов динамики(вариант(
причина значений признака(интервал развития признака)))])
(момент наблюдения: моменты(признак(интервал развития признака))
 interval(развитие(признак(интервал развития признака)), 
номер интервала(интервал развития признака)) 
 interval(динамика значений(причина значений признака(
интервал развития признака)), момент наблюдения))
признак(интервал развития признака)(момент наблюдения) 
 область значений следствия(описание динамики(вариант(
причина значений признака(интервал развития признака)))
(период динамики) )

Свойства разбиения оси времени, связанного с признаком
В этом подразделе приводятся условия, налагаемые на границы интервалов разбиения оси времени, связанного с признаком.

3.1.8. Термин одна и та же причинная связь это предикат, аргументами которого являются две причинно-следственных связи, и который истинен тогда и только тогда, когда их следствия совпадают и при этом эти причинно-следственные связи:
- либо являются нормальными реакциями;
- либо являются реакциями на воздействие события с одинаковой причиной-событием, произошедшим в один и тот же момент;
- либо являются клиническими проявлениями одного и того же заболевания на одном и том же периоде развития;
- либо являются клиническими проявлениями одного заболевания, изменёнными воздействием события с одинаковой причиной-событием, произошедшим в один и тот же момент.
одна и та же причинная связь 
 ( (ПСС1: причинно-следственные связи)
(ПСС2: причинно-следственные связи)
(ПСС1  нормальные реакции & ПСС2  нормальные реакции 
  ПСС1  реакции на воздействие событий &
& ПСС2  реакции на воздействие событий &
& причина-событие(ПСС1) = причина-событие(ПСС2) &
& element(динамика(ПСС1), 0) = element(динамика(ПСС2), 0) 
	 ПСС1  клинические проявления &
	& ПСС2  клинические проявления &
& причина(ПСС1) = причина(ПСС2) &
& период развития заболевания(ПСС1) =
= период развития заболевания(ПСС2) 
 ПСС1  клинические проявления, измененные воздействием событий &
&ПСС2клинические проявления, измененные воздействием событий&
& причина(ПСС1) = причина(ПСС2) &
& причина-событие(ПСС1) = причина-событие(ПСС2) &
& element(динамика(ПСС1), 0) = element(динамика(ПСС2), 0) ) &
& следствие(ПСС1) = следствие(ПСС2) )

3.1.9. Если в ситуации для одного и того же признака его значения у пациента на двух интервалах его развития определяются одной и той же причинной связью, то они определяются одним и тем же вариантом этой причинной связи.
(интервал 1: интервалы развития признака)
(интервал 2: интервалы развития признака)
признак(интервал 1) = признак(интервал 2) &
& одна и та же причинная связь(причина значений признака(интервал 1),
причина значений признака(интервал 2)) 
 вариант(причина значений признака(интервал 1)) =
= вариант(причина значений признака(интервал 2))

3.1.10. Термин соседние интервалы развития признака это предикат, аргументами которого являются два интервала  развития признака, и который истинен тогда и только тогда, когда у признака не менее двух интервалов развития и первый указанный интервал предшествует второму.
соседние интервалы развития признака 
 ( (интервал 1: интервалы развития признака)
(интервал 2: интервалы развития признака)
признак(интервал 1) = признак(интервал 2) &
& интервал(интервал 2) – интервал(интервал 1) = 1 )

3.1.11. Причины, определяющие значения признака на двух соседних интервалах его развития, различны. 
(интервал 1: интервалы развития признака)
(интервал 2: интервалы развития признака)
соседние интервалы развития признака(интервал 1, интервал 2) 
 причина значений признака(интервал 1) 
 причина значений признака(интервал 2)

3.1.12. Если причины, определяющие значения признака на двух соседних интервалах его развития, не являются нормальными реакциями, то граница между этими интервалами является либо концом динамики значений причинно-следственной связи на первом интервале, либо началом динамики значений причинно-следственной связи на втором интервале.
(интервал 1: интервалы развития признака)
(интервал 2: интервалы развития признака)
соседние интервалы развития признака(интервал 1, интервал 2) &
& причина значений признака(интервал 1)  нормальные реакции & 
& причина значений признака(интервал 2)  нормальные реакции) 
 element(развитие(признак(интервал 1)), номер интервала(интервал 1))
 {element(динамика значений(причина значений признака(интервал 1)),
length(динамика значений(причина значений признака(интервал 1)))), element(динамика значений(причина значений признака(интервал 2)),0)} 

3.1.13. Если причиной, определяющей значения признака на некотором интервале его развития, является нормальная реакция, то граница между этим и следующим интервалами является началом динамики значений причинно-следственной связи, являющейся причиной значений признака на втором интервале.
(интервал 1: интервалы развития признака)
(интервал 2: интервалы развития признака)
соседние интервалы развития признака(интервал 1, интервал 2) &
& причина значений признака(интервал 1)  нормальные реакции 
 element(развитие(признак(интервал 1)), номер интервала(интервал 1))=
= element(динамика значений(причина значений признака(интервал 2)), 0) 

3.1.14. Если причина, определяющая значения признака на некотором интервале его развития, является нормальной реакцией, то граница между этим и предшествующим интервалами является концом динамики значений причинно-следственной связи, являющейся причиной значений признака на первом интервале.
(интервал 1: интервалы развития признака)
(интервал 2: интервалы развития признака)
соседние интервалы развития признака(интервал 1, интервал 2) &
& причина значений признака(интервал 2)  нормальные реакции) 
 element(развитие(признак(интервал 1)), номер интервала(интервал 1)) =
= element(динамика значений(причина значений признака(интервал 1),
length(динамика значений(причина значений признака(интервал 1)))

3.2. Описание причин заболеваний, входящих в диагноз

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

3.2.1. Термин возможные причины заболевания обозначает функцию, аргументом которой является заболевание, входящее в диагноз пациента, а значением – множество всех присутствующих в ситуации осложнений и этиологий, следствием которых является рассматриваемое заболевание.
возможные причины заболевания 
 ( (заболевание: диагноз)
{ (причинно-следственная связь: осложнения  этиологии)
следствие(причинно-следственная связь) = заболевание} )

3.2.2. Термин приоритет причин заболевания обозначает двуместный предикат, аргументами которого являются возможные причины заболеваний и который истинен тогда и только тогда, когда обе причины относятся к одному и тому же заболеванию и первая причина «приоритетнее» второй, то есть:
- либо модальностями обеих причинно-следственных связей, соответствующих этим причинам, является необходимость и первая причина началась раньше второй, 
- либо модальностью первой причинно-следственной связи является необходимость, второй – возможность и первая причина началась не позже второй.
приоритет причин заболевания 
 ( (ПСС1: осложнения  этиологии)
(ПСС2: осложнения  этиологии)
( (заболевание: диагноз) 
ПСС1  возможные причины заболевания(заболевание) &
& ПСС2  возможные причины заболевания(заболевания) &
& / (  (ПСС1  этиологии) & (модальность(ПСС1) = необходимость)  
 момент(ПСС1)),
((ПСС1  осложнения) & (модальность(ПСС1) = необходимость) 
 element(развитие(причина(ПСС1)), 0))) / <
< /((ПСС2  этиологии) & (модальность(ПСС2) = необходимость) 
 момент(ПСС2)),
((ПСС2  осложнения) & (модальность(ПСС2) = необходимость) 
 element(развитие(причина(ПСС2)), 0)))/) 
 /(  (ПСС1  этиологии) & (модальность(ПСС1) = необходимость) 
 момент(ПСС1)),
((ПСС1  осложнения) & (модальность(ПСС1) = необходимость) 
 element(развитие(причина(ПСС1)), 0)))/ 
 /((ПСС2  этиологии) & (модальность(ПСС2) = возможность) 
 момент(ПСС2)),
((ПСС2  осложнения) & (модальность(ПСС2) = возможность) 
 element(развитие(причина(ПСС2)), 0)))/)

3.2.3. Термин причины заболевания наивысшего приоритета обозначает функцию, аргументом которой является заболевание, входящее в диагноз пациента, а значением – множество всех таких причин этого заболевания, которые имеют наивысший приоритет.
причины заболевания наивысшего приоритета 
 ( (заболевание: диагноз) возможные причины заболевания(заболевание)
\ {(ПСС1: возможные причины заболевания(заболевание))
( (ПСС2: возможные причины заболевания(заболевание))
приоритет причин заболевания(ПСС2, ПСС1))} )

3.2.4. Термин действительности причина заболевания обозначает функцию, которая каждому заболеванию, которым болен пациент, сопоставляет причину этого заболевания. Причиной заболевания может быть либо этиология, либо осложнение.
сорт причина заболевания: диагноз  этиологии  осложнения

3.2.5. Причина заболевания, входящего в диагноз, имеет наивысший приоритет.
(заболевание: диагноз)
причина заболевания(заболевание) 
 причины заболевания наивысшего приоритета(заболевание) 

4. Заключение

В настоящей работе представлено окончание формального описания модели онтологии медицинской диагностики острых заболеваний. Эта модель учитывает взаимодействие причинно-следственных отношений различных типов. Данная онтология близка к реальным представлениям медицины в нашей стране и описывает сочетанную и осложненную патологии, динамику патологических процессов во времени, а также воздействие лечебных мероприятий и других событий на проявления заболеваний. Модель онтологии включает определения терминов модели знаний (параметры), определения терминов модели действительности (неизвестные), а также систему соотношений, которая состоит из ограничений целостности неизвестных и параметров, а также соотношений между ними.
Соотношения между неизвестными и параметрами можно разделить на следующие группы:
1)	 соотношения между знаниями о причинно-следственных связях и причинно-следственными связями, протекающими в ситуации;
2)	 соотношения, определяющие причинно-следственные связи, являющиеся причинами значений каждого признака на разных интервалах времени;
3)	 соотношения, определяющие для каждого признака свойства границ интервалов разбиения оси времени, связанного с этим признаком;
4) соотношения, определяющие причину для каждого заболевания, входящего в диагноз. 

Литература

1. А.С. Клещёв, Ф.М. Москаленко, М.Ю. Черняховская. Модель онтологии предметной области "медицинская диагностика". Часть 1. Неформальное описание и определение базовых терминов. // НТИ, серия 2 «Информационные процессы и системы».