4.1 Онтология высшего уровня как текстовый артефакт
4.1.1 Обзор
Онтология высшего уровня включает в себя текстовый артефакт, представленный документом на естественном языке, который содержит:
- список терминов, не относящихся к конкретной предметной области, и выражений отношения, включающих идентификацию первичных терминов;
- список определений значений терминов и выражений отношения. Определения на естественном языке могут включать полуформальные элементы, если они необходимы для удобства чтения.
Примечание - В случае первичных терминов определения могут принимать форму разъяснения значений, дополненного примерами использования.
Пример - Пример определения с полуформальными элементами:
Транзитивность = определяющее отношение R является транзитивным, если всякий раз, когда а состоит в отношении R к b, и b состоит в отношении R к с, следует, что а состоит в отношении R к c.
Учитывая природу онтологии высшего уровня, часть их терминов и выражений отношения будут настолько базовыми по своему значению, что логически более простых и, следовательно, более понятных выражений, на основе которых они могут быть определены нециклично, просто не будет существовать. Термины и выражения отношения в онтологии, для которых это справедливо, называются "примитивами", определения которых даются в соответствии с 3.8. При этом они являются циклическими или представляют собой простое перефразирование с использованием выражений, которые сами по себе не нашли определения.
Онтология высшего уровня должна указывать, какие из ее терминов и выражений отношения являются примитивами в этом смысле. Для всех других терминов и выражений отношения в онтологии высшего уровня должны содержаться определения, удовлетворяющие следующим условиям: