200 likes | 502 Vues
4.1. Онтологии верхнего уровня : SUMO, Sowa’s ontology. SUMO ( Suggested Upper Merged Ontolo gy ) Онтология Джона Совы ( Sowa’s ontology ). SUMO http://ontology.teknowledge.com/. Краткая характеристика.
E N D
4.1. Онтологии верхнего уровня: SUMO, Sowa’s ontology SUMO (Suggested Upper Merged Ontology) Онтология Джона Совы (Sowa’s ontology)
Краткая характеристика • Разработана в рамках рабочей группы IEEE SUO (IEEE Standard Upper Ontology Working Group) и Teknowledge. • Проект претендует на звание стандарта для онтологий верхнего уровня. • Иерархия фундаментальных понятий (около 1000) • Набор аксиом (около 4 тыс.), определяющих интерпретацию понятий
Назначение • Улучшение интероперабельности данных • Поиск информации • NLP • Автоматический логический вывод
Сфера охвата • Общие виды объектов и процессов • Абстракции (теория множеств, атрибуты, отношения) • Временные понятия • Части и целое • Агенты и намерения • Числа и единицы измерения
SUMO — «каноническая» онтология верхнего уровня • Небольшое число концептов и аксиом • Ясная иерархия классов • Объединяет несколько проектов (общедоступных ОВУ)
Преимущества SUMO • Существует возможность трансляции на любой из языков представления знаний • Существует онтология среднего уровня (MILO), гладко интегрированная с SUMO • Отображение на WordNet
Иерархия верхних уровней SUMO (2) • Сравнение с онтологией Cyc • Cyc – коммерческий проект, SUMO – открытый общедоступный ресурс • SUMO имеет менее разветвленную иерархию понятий (на верхнем уровне Cyc – 116 понятий)
Иерархия верхних уровней SUMO (3) • Концепты верхнего уровня • коллекция • множество • класс • утверждение • величина
Аксиомы в SUMO • Все аксиомы фиксируются на диалекте SUO-KIF. • Примеры аксиом: • А1.(=> • (and • (subclass-of ?OBJECTTYPE НепрерывныйОбъект) • (instance-of ?OBJECT ?OBJECTTYPE) • (part-of ?PART ?OBJECT)) • (instance-of ?PART ?OBJECTTYPE)) • А2.(equal ДискретныйОбъект (ComplementFn НепрерывныйОбъект)
Ограничение интерпретации понятий при помощи аксиом • Пример • “Если C является экземпляром процесса горения, то существуют выделение теплаH и излучение светаL такие, что оба они H и L являются подпроцессами C”. • более «тонкие» аксиомы постулируют, что процессы выделения тепла и излучения света сопутствуют каждому процессу горения.
Онтология Джона Совы (John Sowa’s ontology)http://www.jfsowa.com/ontology/
Источники • Источниками при создании онтологии были книги по • Логике • Философии • Искусственному интеллекту • Лингвистике
Принципы онтологического моделирования (по Сове) • Онтология основана не на жесткой иерархии, а на общем каркасе, описывающем различия • Иерархия может быть сгенерирована в соответствии с этим каркасом • Концепты задаются выбором подходящего набора различий, проведением границ
Вырожденные концепты онтологии Совы • “Сущность” (T) – множество включающее все индивиды онтологии (не удовлетворяет ни одному различию) • “Абсурд” () – множество не включающее ни один индивид онтологии (удовлетворяет всем возможным различиям, в том числе и противоположным, поэтому множество пусто)
Основные различия и категории (1) • Различия • Абстрактный vs. Физический • Континуальный vs. Происходящий • Независимый vs. Относительный vs. Опосредованный
Основные различия и категории (2) • Понятия (категории) • объект • процесс • схема • скрипт • слияние • участие • ситуация • описание • история • причина • цель