Читайте также:
|
OpenCyc - открытая для общего пользования часть коммерческого проекта Cyc, в рамках которого создана наиболее масштабная и детализированная на текущий момент онтология в области здравого смысла. База знаний OpenCyc содержит информацию из различных предметных областей: Философия, Математика, Химия, Биология, Психология, Лингвистика и т.д. Файл с описаниями OpenCyc имеет объем около 700 мегабайт и доступен для скачивания с сайта проекта.
Ключевым понятием в онтологии OpenCyc является коллекция. Любая коллекция может содержать подколлекции и экземпляры. Таким образом, в OpenCyc определены два таксономических отношения: ПОДКОЛЛЕКЦИЯ-НАДКОЛЛЕКЦИЯ (genls) и ЭКЗЕМПЛЯР-КОЛЛЕКЦИЯ (isA). Экземпляром коллекции может быть любой термин онтологии. Важная черта отношения isA в том, что оно передается по иерархии отношения genls, т.е. если А является экземпляром коллекции B и B является подколлекцией коллекции C, то А является также экземпляром коллекции С. В случае, если коллекции А и В связаны отношением genls (A genls B), это означает, что все экземпляры коллекции А являются также экземплярами коллекции В.
Структурно база знаний OpenCyc состоит из констант (терминов) и правил (формул), оперирующих этими константами. Правила делятся на два вида: аксиомы и выводимые утверждения. Под аксиомами в OpenCyc понимаются утверждения, которые были явно и вручную введены в базу знаний экспертами, а не появились там (или могут появиться) в результате работы машины вывода. Все утверждения или формулы в базе знаний OpenCyc фиксируются на языке CycL, выразительно эквивалентном исчислению предикатов первого порядка.
DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering) - первая из онтологий в библиотеке базовых онтологий проекта WonderWeb.
Онтологию DOLCE предполагается применять в Semantic Web для согласования между интеллектуальными агентами, использующими разную терминологию. При этом онтология не претендует на звание универсальной, стандартной или общей. Основная цель разработчиков - создать модель, помогающую при сравнении и объяснении связей с другими онтологиями библиотеки WFOL, а также для выявления скрытых допущений, лежащих в основе существующих онтологий и лингвистических ресурсов, таких как WordNet.
В основу процесса проектирования легло фундаментальное философское разделение всех сущностей на универсалии (сущности, потенциально или реально имеющие экземпляры) и индивиды (или частности), которые не имеют и не могут иметь экземпляров. DOLCE - онтология индивидов, в том смысле, что область описания ограничена только ими.
Еще одна черта DOLCE - явное разделение на "Постоянные" и "Происходящие" сущности. Различие между ними состоит в том, что "Постоянные" сущности имеются в наличии целиком и неизменно в некотором фиксированном промежутке времени (например, стол или дом в течение периода своего существования). "Происходящие" разворачиваются во времени и в каждый момент в некотором временном интервале они могут быть различными, по-разному себя проявлять, иметь разный состав (например: ураган или период раннего Ренессанса), однако при этом их идентичность сохраняется.
Такое разделение на "объект" и "процесс" весьма условно, и здесь прослеживается когнитивный уклон DOLCE. Оно привело к тому, что в онтологии определены два типа отношения ЧАСТЬ-ЦЕЛОЕ. Первое никак не зависит от времени, второе имеет временной индекс, определяющий, в каких временных рамках отношение действует. Подобное "раздвоение" наблюдается и для отношения " КАЧЕСТВО - ОБЛАДАТЕЛЬ КАЧЕСТВА ". Другие базовые отношения онтологии: УЧАСТНИК-ПРОЦЕСС, КОМПОНЕНТ-ЦЕЛОЕ (компонент входит в состав целого) и отношение зависимости имеют временной индекс. Для сравнения, в онтологии OpenCyc нет явного деления на "Постоянные" и "Происходящие". Поэтому среди множества отношений в разделе "Части объектов" нет отношения, учитывающего временной аспект: возможное непостоянство данного отношения.
SUMO (Standard Upper Merged Ontology) - онтология верхнего уровня, разработанная в рамках проекта IEEE SUO (IEEE Standard Upper Ontology) и Teknowledge. Проект претендует на статус стандарта для онтологий верхнего уровня.
Онтология SUMO содержит наиболее общие и самые абстрактные концепты, имеет исчерпывающую иерархию фундаментальных понятий (около 1 тыс.), а также набор аксиом (примерно 4 тыс.), определяющих эти понятия. Назначение SUMO - содействовать улучшению интероперабельности данных, извлечения и поиска информации, автоматического вывода и обработки естественного языка. Онтология охватывает следующие области знания: общие виды процессов и объектов, абстракции (теория множеств, атрибуты, отношения), числа и единицы измерения, временные понятия, части и целое, агенты и намерения. SUMO является "канонической" онтологией верхнего уровня: содержит обозримое число концептов и аксиом, имеет ясную иерархию классов, легко расширяется, является итогом объединения различных общедоступных онтологий верхнего уровня (в том числе онтологии Джона Совы (J. Sowa's ontology), о которой речь пойдет ниже). К преимуществам SUMO можно отнести возможность трансляции описания онтологии на любой из основных языков представления знаний, наличие онтологии среднего уровня (MILO), гладко интегрированной с SUMO, несколько дюжин примеров практического применения, а также связь с WordNet - наиболее крупным на настоящий момент тезаурусом, содержащим около 150 тыс. слов английского языка.
Онтология Джона Совы (J. Sowa's ontology), предложенная им в книге "Knowledge Representation: Logical, Philosophical, and Computational Foundations", определяет базовые онтологические категории, полученные автором из источников по логике, лингвистике, философии и искусственному интеллекту.
Дата добавления: 2015-11-30; просмотров: 39 | Нарушение авторских прав