4.1. Онтологии верхнего уровня

4.1. Онтологии верхнего
уровня: SUMO, Sowa’s
ontology
SUMO (Suggested Upper Merged Ontology)
Онтология Джона Совы (Sowa’s ontology)
SUMO
http://ontology.teknowledge.com/
Краткая характеристика
 Разработана в рамках рабочей группы
IEEE SUO (IEEE Standard Upper Ontology
Working Group) и Teknowledge.
 Проект претендует на звание стандарта
для онтологий верхнего уровня.
 Иерархия фундаментальных понятий
(около 1000)
 Набор аксиом (около 4 тыс.),
определяющих интерпретацию понятий
Назначение
 Улучшение интероперабельности
данных
 Поиск информации
 NLP
 Автоматический логический вывод
Сфера охвата
 Общие виды объектов и процессов
 Абстракции (теория множеств, атрибуты,
отношения)
 Временные понятия
 Части и целое
 Агенты и намерения
 Числа и единицы измерения
SUMO — «каноническая»
онтология верхнего уровня
 Небольшое число концептов и аксиом
 Ясная иерархия классов
 Объединяет несколько проектов
(общедоступных ОВУ)
Преимущества SUMO
 Существует возможность трансляции на
любой из языков представления знаний
 Существует онтология среднего уровня
(MILO), гладко интегрированная с SUMO
 Отображение на WordNet
Иерархия верхних уровней SUMO (1)
Иерархия верхних уровней 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)
 Понятия (категории)
 объект
 процесс
 схема
 скрипт
 слияние
 участие
 ситуация
 описание
 история
 причина
 цель
«Бриллиант» Совы
Вопросы к лекции