Изменения
→Элементы
Общие компоненты онтологий включают в себя:
{| class="wikitable"
|+ Общие компоненты онтологий
|-
! Название !! Описание !! Пример
|-
| style="background:#eaecf0;" | '''Экземпляры (объекты)'''
| базовые или "наземные" объекты.
| {{---}}
|-
| style="background:#eaecf0;" | '''Классы (понятия)'''
| наборы, коллекции, концепции, классы в программировании, типы объектов или виды вещей.
| {{---}}
|-
| style="background:#eaecf0;" | '''Атрибуты'''
| аспекты, свойства, признаки, характеристики или параметры, которые могут иметь объекты (и классы).
| {{---}}
|-
| style="background:#eaecf0;" | '''Отношения'''
| способы, которыми классы и индивиды могут быть связаны друг с другом.
| {{---}}
|-
| style="background:#eaecf0;" | '''Термы функций'''
| сложные структуры, образованные из определенных отношений, которые могут быть использованы вместо отдельного термина в высказывании.
| {{---}}
|-
| style="background:#eaecf0;" | '''Ограничения'''
| формально заявленные описания того, что должно быть истинным для того, чтобы какое-то утверждение было принято в качестве входных данных.
| {{---}}
|-
| style="background:#eaecf0;" | '''Правила'''
| высказывания в форме предложения if-then (антецедент-консеквент), описывающие логические выводы, которые могут быть сделаны из утверждения в определенной форме.
| {{---}}
|-
| style="background:#eaecf0;" | '''Аксиомы'''
| утверждения (включая правила) в логической форме, которые вместе составляют общую теорию, которую онтология описывает в своей области применения. Это определение отличается от определения "аксиом" в [[Исчисление_высказываний|формальной логике]]. В этой дисциплине аксиомы включают только утверждения, утверждаемые как априорное знание. Здесь же "аксиомы" также включают в себя теорию, полученную из аксиоматических утверждений.
| {{---}}
|-
| style="background:#eaecf0;" | '''События'''
| изменение атрибутов или отношений.
| {{---}}
|}
* '''Экземпляры (объекты)''' — базовые или "наземные" объекты.
