Шпаргалка по "Философии"

Онтология в точных науках

Основная статья: Онтология (информатика)

В информационных технологиях  и компьютерных науках под онтологией подразумевается эксплицитная, то есть явная, спецификация концептуализации, где в качестве концептуализации выступает описание множества объектов и связей между ними. Формально  онтология состоит из понятий  терминов, организованных в таксономию, их описаний и правил вывода.

[править]

Типы онтологий

Мета-онтологии — описывают наиболее общие понятия, которые не зависят от предметных областей.

Онтология предметной области  — формальное описание предметной области, обычно применяется для  того, чтобы уточнить понятия, определённые в мета-онтологии (если используется), и/или определить общую терминологическую базу предметной области.

Онтология конкретной задачи — онтология, определяющая общую  терминологическую базу задачи, проблемы.

Сетевые онтологии часто  используют для описания конечных результатов  действий, выполняемых объектами  предметной области или задачи.

[править]

Модель онтологии

Формально онтология определяется как O = <X,R,F>, где

X — конечное множество  понятий предметной области,

R — конечное множество  отношений между понятиями,

F — конечное множество  функций интерпретации.