Ввиду особой важности онтологий верхнего уровня для онтологического инжиниринга, рассмотрим эти онтологии подробнее.
Прежде всего, заметим, что каждая онтология верхнего уровня претендует на то, чтобы быть единой «правильной онтологией», фиксирующей знания, общие для всех предметных областей, и благодаря этому многократно использоваться при создании всех других онтологий более низкого уровня. Но все попытки создать онтологию верхнего уровня «на все случаи жизни» пока не привели к ожидаемым результатам. Поэтому разработка онтологий верхнего уровня продолжается до сих пор.
В то же время существует несколько серьезных проектов, посвященных созданию онтологий верхнего уровня: онтология Дж. Сова (Sowa's toplevel ontology), онтология SUMO (The Standard Upper Ontology), онтология DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering), верхние уровни онтологии OpenCyc (Cyc's upper ontology), онтология универсалий и частиц (Top-level ontologies of universal and particulars).
Поскольку онтологии верхнего уровня описывают самые общие знания об окружающем мире, они во многом похожи. Так, во всех онтологиях проводится разделение сущностей на абстрактные (такие сущности не могут занимать положения ни в пространстве, ни во времени) и реально существующие (материальные, осязаемые).
Во всех онтологиях, так или иначе, присутствует деление на постоянные и временные (меняющиеся во времени) сущности, деление на объекты и процессы. В онтологии Дж. Совы это деление на «Континуальные» и «Происходящие», в онтологии DOLCE — «Постоянные» и «Происходящие», в SUMO — «Объекты» и «Процессы».
В то же время даже на верхних уровнях этих онтологий наблюдаются существенные различия.
В онтологии SUMO первично разделение на абстрактные и материальные сущности, а разделение на постоянные и временные — вторично.
В DOLCE на верхнем уровне производится разделение на постоянные, временные, абстрактные и качественные сущности.
В онтологии Дж. Совы иерархии сущностей в явном виде нет: в ней описаны только категории, по которым понятия разделяются или группируются.
В онтологии ОрепСус на верхнем уровне коллекция «Нечто» делится на «Неосязаемые» и «Индивиды», но экземпляры и тех, и других могут быть как абстрактными, так и материальными объектами.
Таким образом, онтологиям верхнего уровня присущи следующие характеристики:
- • Нацеленность на многократное повторное использование онтологии
- • Набор основных отношений
«Класс-подкласс».
«Часть-целое».
• Типичные концепты и принципы разделения Сущность Явление Объект Процесс Роль.
