Онтология — формальная спецификация разделяемой концептуальной модели.
O={C, R, A}, где
- О— онтология,
- С — совокупность концептов предметной области,
- R — совокупность отношений между ними,
- A — набор аксиом (законов и правил, которые описывают законы и принципы существования концептов).
Классификация онтологий
По глубине проработки все онтологии делятся на:
- «весомые» онтологии (Heavy-weighted), содержащие аксиомы {C, R, A}
- «легкие» (Light-weighted), их не содержащие {C, R}
По уровню обобщения можно выделить следующие 4 категории онтологий:
- Онтологии представления описывают концептуальную модель, которая является основой формализма представления знаний.
- Общие онтологии подобны онтологиям предметных областей, но описываемые ими понятия являются общими для нескольких предметных областей. Обычно такие онтологии описывают такие понятия, как состояние, событие, процесс, действие, компонент.
- Онтология предметной области выражает концептуализацию, соответствующую определенной предметной области.
- Прикладная онтология (Онтология приложения) содержит все описания, необходимые для моделирования знаний, требуемых для конкретного приложения. Обычно прикладная онтология — это комбинация понятий, взятых из онтологии предметной области и общей онтологии, которая может содержать расширения, специфические для используемых методов и решаемых задач.