Аноним

Онтология: различия между версиями

Материал из WikiGrapp
Строка 22: Строка 22:


==Модель онтологии==
==Модель онтологии==
Формально онтология определяется как тройка O = <C,R,F>, где
C – конечное множество понятий (концептов) предметной области, которую определяет онтология О;
R – конечное множество отношений между понятиями;
F – конечное множество функций интерпретации (аксиоматизация), заданных на понятиях и/или отношениях.
При этом множество С ≠ .


Таким образом, онтологии на базовом уровне должны, прежде всего, обеспечивать словарь понятий (терминов) для представления и обмена знаниями о предметной области и множество отношений (связей), установленных между понятиями в этом словаре.
Классическая модель онтологии O формально определяется как упорядоченная тройка вида:


Множества R и F могут быть пустыми, что соответствует частным видам онтологии: при R = и F =  онтология трансформируется в простой словарь, а при F =  – таксономию понятий.
'''O = <X,R,F>''', где
*X – конечное множество концептов (понятий, терминов) предметной области, которую определяет онтология О;
*R – конечное множество отношений между концептами (понятиями, терминами) заданной предметной области;
*F – конечное множество функций интерпретации (аксиоматизация), заданных на концептах и/или отношениях онтологии О.
 
На множества  X, R, F накладываются следующие ограничения: X – непустое конечное множество (X ≠ 0), а R и F – конечные множества.
 
Множества R и F могут быть пустыми, что соответствует частным видам онтологии:
 
1. При R = 0 и F = 0
 
2. При R = 0 и F ≠ 0 
 
3. При R ≠ 0 и F = 0


==Структура онтологии==
==Структура онтологии==
139

правок