139
правок
Tanya (обсуждение | вклад) |
Tanya (обсуждение | вклад) |
||
Строка 22: | Строка 22: | ||
==Модель онтологии== | ==Модель онтологии== | ||
Классическая модель онтологии O формально определяется как упорядоченная тройка вида: | |||
Множества R и 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 | |||
==Структура онтологии== | ==Структура онтологии== |
правок