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) Понятия (категории) объект процесс схема скрипт слияние участие ситуация описание история причина цель «Бриллиант» Совы Вопросы к лекции