ГОСТ Р И С 018629-11 — 2010
6.4.16 Аксиома 16
Объект может участвовать в наступлении действия только вте моменты времени, в которые он суще
ствует. а действие происходит.
(forall (?х ?осс ?t)
(implies (participatesjn ?х ?осс ?t)
(and (exists_at ?x ?t)
(is_occurring_at ?occ ?t))))
6.4.17 Аксиома 17
Каждое наступление действия является вхождениемдействия.
(forall (?осс)
(implies (activity_occurrence ?осс)
(exist (?а)
(and (activity ?а)
(occurrence_of?осс ?а)))))
7 Соответствие ядру PSL
7.1 Соответствие онтологий
Онтология соответствует ядру PSL только в том случае, если концепции, предоставленные онтоло
гией, определены таким образом, что онтология согласуется с аксиомами и определениями ядра PSL,
приведенными в разделе 6.
7.2 Соответствие описаний процесса
Описание процесса соответствует ядру PSL только втом случае, если онтология описания процесса
соответствует ядру PSL. а грамматика описания процесса соответствует положениям раздела 5.
12