ВикиПротопия:Онтологическая библиотека — различия между версиями

Материал из ВикиПротопии
Перейти к: навигация, поиск
Строка 24: Строка 24:
 
*аксиомы;
 
*аксиомы;
 
*экземпляры. Статьи ВикиПротопии входящие в Семантическую категорию определяемую понятием.
 
*экземпляры. Статьи ВикиПротопии входящие в Семантическую категорию определяемую понятием.
−
 
−
===Классы===
 
−
 
−
Классы или понятия используются в широком смысле. Понятием может быть любая сущность, о которой может быть дана какая-либо информация. Классы — это абстрактные группы, коллекции или наборы объектов. Они могут включать в себя экземпляры, другие классы, либо же сочетания и того, и другого. Классы в онтологиях обычно организованы в таксономию — иерархическую классификацию понятий по отношению включения. Например, классы Мужчина и Женщина являются подклассами класса Человек, который в свою очередь включен в класс Млекопитающие.
 
−
 
−
===Отношения===
 
−
 
−
Отношения представляют тип взаимодействия между понятиями предметной области. Формально n-арные отношения определяются как подмно жество произведения n множеств . Пример бинарного отношения — отношение ЧАСТЬ-ЦЕЛОЕ. Отношения тоже могут быть организованы в таксономию по включению; например, отношения быть_отцом_для и быть_матерью_для на множестве людей содержатся в отношении быть_родителем_для, которое в свою очередь содержится в отношении быть_предком_для.
 
−
 
−
===Функции===
 
−
 
−
Функции — это специальный случай отношений, в которых n-й элемент отношения однозначно определяется n-1 предшествующими элементами. Формально функции определяются следующим образом: F: C1 × C2 × … × Cn-1 —> Cn. Примерами функциональных отношений являются отношения быть_матерью_для на множестве людей, или цена_подержанного_автомобиля, которая вычисляется в зависимости от модели автомобиля, даты изготовления и пробега.
 
−
 
−
===Аксиомы===
 
−
 
−
Аксиомы используются, чтобы записать высказывания, которые всегда истинны. Они могут быть включены в онтологию для разных целей, например, для определения комплексных ограничений на значения атрибутов, аргументы отношений, для проверки корректности информации, описанной в онтологии, или для вывода новой информации. Аксиомы задают условия соотнесения категорий и отношений, они выражают очевидные утверждения, связывающие понятия и отношения. Под аксиомой можно понимать утверждение, вводимое в онтологию в готовом виде, из которого могут быть выведены другие утверждения. Они позволяют выразить ту информацию, которая не может быть отражена в онтологии посредством построения иерархии понятий и установки различных отношений между понятиями. В качестве примера аксиомы можно привести следующее высказывание: « Если X смертен, то X когда-нибудь умрет». Аксиомы позволяют в дальнейшем осуществлять умозаключения в рамках онтологии. Они могут снабжать исследователей информацией о правилах, позволяющих автоматически добавлять информацию. Аксиомы могут также представлять собой ограничения, накладываемые на какие-либо отношения, делающие возможным выведение умозаключений. Примером числовых ограничений является утверждение того, что для Человека количество биологических родителей равно 2. Количество и степень детализации аксиом обычно зависят от типа онтологии.
 
−
 
−
===Экземпляры===
 
−
 
−
Экземпляры в литературе могут выступать также под названиями:
 
−
 
−
*конкретные экземпляры;
 
−
*инстанции;
 
−
*индивидуальные экземпляры.
 
−
 
−
Экземпляры - это отдельные представители класса сущностей или явлений, то есть конкретные элементы какой-либо категории (например, экземпляром класса Человек будет королева Виктория). Составляющие онтологии подчиняются своеобразной иерархии. На нижнем уровне этой иерархической лестницы находятся экземпляры, конкретные индивиды , выше идут понятия, то есть категории. На уровень выше располагаются отношения между этими понятиями, а обобщающей и связующей является ступень правил или аксиом. [2]
 
  
 
==Структура онтологической капли==
 
==Структура онтологической капли==

Версия 23:01, 1 апреля 2018

ВикиПротопия - это Онтологическая библиотека. Благодаря семантическим связям и гиперссылкам в ВикиПротопии формируются знаниевые блоки высокой связности.

Критерии разработки онтологий

(Gruber)

  • Ясность- онтология должна эффективно описывать смысл определяемых терминов.
  • Согласованность- онтология должна быть согласованной, определения и выводимые утверждения должны быть непротиворечивыми.
  • Расширяемость- онтология должна предусматривать возможность определения новых терминов без необходимости пересмотра существующих определений.
  • Минимум влияния кодирования- концептуализация должна быть специфицирована на уровне знаний вне зависимости от конкретного способа кодирования.
  • Минимальное онтологическое соглашение- для онтологии должен быть достигнут минимальный объем словаря, достаточный для описания знаний, которые предполагается совместно использовать.

Анализ текстов

Создавать онтологическая капля можно посредством анализа текстов через семантически-онтологический движок.

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

В общем виде структура онтологии представляет собой набор элементов четырех категорий:

  • классы (или понятия ) ; Статьи ВикиПротопии отмеченные шаблоном: {{понятие}}, а также соответствующая ему семантическая категория и шаблон.
  • отношения (или свойства. атрибуты) ; Статьи ВикиПротопии из пространства имен Свойства
  • функции ; Статьи ВикиПротопии из пространства имен Концепция, функции Сематической Энциклопедии использующие Свойства или специальные Шаблоны.
  • аксиомы;
  • экземпляры. Статьи ВикиПротопии входящие в Семантическую категорию определяемую понятием.

Структура онтологической капли

  • Статья про "Ключевое понятие"
  • Статьи описывающие понятия родственных ключевому понятию
  • Статьи связанные со статьей про "Ключевое понятие"
    • Онтологическими связями через Семантические свойства
    • Гиперссылками
  • Внешние источники
    • Книги
    • Персонали
    • Технологии
    • Алгоритмы

источники

http://mei06.narod.ru/sem6/pz/shpora/lec7.htm

Источник — «https://ru.wiki-protopia.org/index.php?title=ВикиПротопия:Онтологическая_библиотека&oldid=6026»