4.1. Онтологии верхнего уровня: SUMO, Sowas ontology SUMO (Suggested Upper Merged Ontology) Онтология Джона Совы (Sowas ontology)

SUMO

Краткая характеристика Разработана в рамках рабочей группы 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 Sowas ontology)

Источники Источниками при создании онтологии были книги по Логике Философии Искусственному интеллекту Лингвистике

Принципы онтологического моделирования (по Сове) Онтология основана не на жесткой иерархии, а на общем каркасе, описывающем различия Иерархия может быть сгенерирована в соответствии с этим каркасом Концепты задаются выбором подходящего набора различий, проведением границ

Вырожденные концепты онтологии Совы Сущность (T) – множество включающее все индивиды онтологии (не удовлетворяет ни одному различию) Абсурд ( ) – множество не включающее ни один индивид онтологии (удовлетворяет всем возможным различиям, в том числе и противоположным, поэтому множество пусто)

Основные различия и категории (1) Различия Абстрактный vs. Физический Континуальный vs. Происходящий Независимый vs. Относительный vs. Опосредованный

Основные различия и категории (2) Понятия (категории) объект процесс схема скрипт слияние участие ситуация описание история причина цель

«Бриллиант» Совы

Вопросы к лекции