4258
правок
Изменения
м
→Формальное представление онтологий
связанное с ними множество аксиом и правил вывода (Gruber, 1995). Таким образом, формальная модель онтологии – это упорядоченная тройка конечных множеств O = <T, R, F>, где
*Т – конечное и непустое множество классов и концептов (понятий, терминов) предметной области как части реального мира, рассматриваемой в пределах заданного контекста , которую описывает онтология О;
*R – конечное множество отношений между концептами заданной предметной области;
*F – конечное множество функций интерпретации, заданных на понятиях и/или отношениях онтологии O или аксиом, используемых для моделирования утверждений, которые всегда являются истинными, что ограничивает интерпретацию и обеспечивает корректное использование понятий.