139
правок
Онтология: различия между версиями
Перейти к навигации
Перейти к поиску
→Онтология
Tanya (обсуждение | вклад) |
Tanya (обсуждение | вклад) |
||
| Строка 63: | Строка 63: | ||
Еще один распространённый тип отношений – мереологическое отношение включения «часть-целое», показывающее, как объекты объединяются в составные объекты. При включении в онтологию мереорологических отношений возникающая иерархия больше не может быть представлена в виде простой древовидной структуры, поскольку теперь элементы могут иметь более одного родителя. Таким образом, возникает новая структура, представляющая собой [[Ориентированный граф|ориентированный]] [[ациклический граф]]. | Еще один распространённый тип отношений – мереологическое отношение включения «часть-целое», показывающее, как объекты объединяются в составные объекты. При включении в онтологию мереорологических отношений возникающая иерархия больше не может быть представлена в виде простой древовидной структуры, поскольку теперь элементы могут иметь более одного родителя. Таким образом, возникает новая структура, представляющая собой [[Ориентированный граф|ориентированный]] [[ациклический граф]]. | ||
'''Аксиомы, правила и ограничения''' выражают суждения, которые имеют место в рассматриваемой предметной области. | |||
''Аксиомы (анг. axioms)'' – утверждения (включая правила) в логической форме, которые вместе составляют общую теорию, которую онтология описывает в своей области применения. Моделируют предложения, которые всегда истинны. | |||
'' | ''Правила (анг. rules)'' – утверждения в форме предложения «если–то» (предшествующее – последующее), описывающие логические выводы, которые могут быть сделаны из утверждений. | ||
'''Аксиомы | ''Ограничения (анг. restrictions)'' – формально сформулированные описания того, что должно выполняться, чтобы какое-то утверждение было принято в качестве входных данных. | ||
Аксиомы задают условия соотнесения классов и отношений, они выражают очевидные утверждения, связывающие классы и отношения. Под аксиомой можно понимать утверждение, вводимое в онтологию в готовом виде, из которого могут быть выведены другие утверждения. Аксиомы позволяют выразить ту информацию, которая не может быть отражена в онтологии посредством построения иерархии классов и установления различных отношений между ними. Аксиомы позволяют в дальнейшем выстраивать логические утверждения в рамках онтологии. Они могут снабжать исследователей информацией о правилах, позволяющих автоматически добавлять информацию. Аксиомы могут также представлять собой ограничения, накладываемые на какие-либо отношения, делающие возможным выведение умозаключений. | |||
Компоненты онтологии образуют определенную иерархию, на нижнем уровне которой находятся экземпляры, выше идут классы, далее располагаются отношения между классами, а обобщающими и связующими являются аксиомы и правила. | |||
==Типы онтологий== | ==Типы онтологий== | ||