ГОСТ Р ИСО 18629-1—2010
используют для передачи знаний. Поэтому следует обеспечить, чтобы логические выводы, сделанные путем обме на
предложениями, были эквивалентны выводам, сделанным 8 рамках намеченных моделей приложения, путем
предоставления какой-либо входной информации. Приложение использует намеченные модели для получения ло
гически правильной информации на выходе.
Это описание следует использовать для оценки соответствия онтологии приложения в отношении намечен
ных моделей. Вывод, что онтология проверена, следует делать только в том случае, если набор моделей аксиом
онтологии идентичен набору намеченных моделей терминологии приложения. Например на языке лотки
первого порядка можно сделать вывод, что каждое предложение, доказанное с помощью аксиом онтологии, также
является логическим выводом приложения и наоборот, каждый вывод приложения может быть доказан с
помощью аксиом онтологии.
Эти свойства онтологии позволяют утверждать, что любые выводы, сделанные приложением с использо
ванием онтологии, совпадают с семантикой приложения. Если онтология не проверена, то можно обнаружить
предложения, сформированные приложением, основанные на его моделях, но которые не доказуемы аксиомами
онтологии. Например нельзя использовать автоматизированный вывод, чтобы определить, могут ли в действитель
ности приложения быть полностью семантически интегрированы. Далее приведены требования, которые должны
быть направлены на достижение семантической интеграции в рамках непроверенных онтологий.
Существует несколько аналогий, которые можно использовать для демонстрации отношений между онто
логией. намеченными моделями и областью, в которой действует приложение. Физики используют разные классы
дифференциальных уравнений для моделирования различных явлений. Однако они не используют простые ли
нейные дифференциальные уравнения для построения модели рассеивания тепла, а также уравнения в частных
производных второго порядка для построения модели кинематики пружин. Для построения модели некоторых яв
лений с помощью класса дифференциальных уравнений физики могут применять уравнения для прогнозирования
поведения физической системы.
Если наблюдения опровергают прогнозы, значит был использован неправильный набор уравнений. Анало
гично этому примеру можно использовать какой-либо класс намеченных моделей для прогноза выводов, которые
сделает приложение. Если в домене нет физического сценария, который соответствует этим выводам, это
означа ет. что был использован неправильный набор намеченных моделей.
Можно привести идругую аналогию с инженерией программного обеспечения. Онтология соответствует про
грамме и предполагается, что набор намеченных моделей соответствует описанию требований к программе. Про
верка программы заключается в демонстрации того, что ее выходные данные соответствуют всем требованиям,
изложенным в спецификации. В этом случае проверяемая программа является аналогом проверяемой онтологии.
Спецификация требований может не содержать всех требований, необходимых для какого-либо домена. Также
набор намеченных моделей для онтологии гложет не соответствовать приложению какого-либо домена. В этом
случав можно утверждать, что не соответствующей является сама онтология.
Важными являются следующие понятия:
Полная семантическая интеграция — интеграция, означающая, что приложения могут автоматически об
мениваться информацией между собой, и гарантирующая, что приложения полностью будут понимать друг друга.
Формально полная семантическая интеграция может происходить только в том случав, если намеченные модели
онтологий обоих приложений будут одинаковыми.
Проверенная онтология — онтология, имеющая следующую особенность: положения онтологии действи
тельно представляют собой именно то. что разработчик намеревался описать. Формально это означает, что фак
тические модели онтологии являются идентичными намеченным моделям.
Проверенные онтологии необходимы для обеспечения полной семантической интеграции.
Можно сделать следующий вывод: проблема полной семантической интеграции сводится к проблеме со
вместного использования приложениями семантики онтологий.
17