Формализация вопросов компетенции

Сценарии и вопросы компетенции формализуются на основе результатов неформального моделирования.

Вопросы:

· Охватывают ли вопросы компетенции все сценарии использования?

· Отражает ли формализованный вопрос цель вопроса изначального?

Формальное моделирование

В процессе формального моделирования содержимое информационной модели записывается на каком-либо онтологическом языке (например, Common Logic, OWL 2DL), а затем конкретизируется аксиомами. Готовая справочная онтология адекватно отражает предметную область (fidelity), отвечает проектным решениям, принятым в фазе разработки онтологии (craftsmanship) и предполагается, сто отвечает требованиям представления предметной области (fitness). Это достигается либо созданием нового онтологического модуля с нуля, либо повторным использованием существующей онтологии, измененной в случае возникновении такой необходимости.