Ключевое звено любой семантически-ориентированной системы - семантика предметной области, т.е. смысл тех категорий, в которых мы описываем предметную область для системы. В жёстко структурированных моделях данных, таких как реляционная модель, семантика закладывается в схему базы данных: мы даем имя полю таблицы базы данных, хотя бы отчасти отражающих смысл значений в этом поле.
Однако, ставить знак равенства между схемой базы данных и онтологией, между XML DTD (или XML Schema) и онтологией неверно. Почему? Те, кто знаком с философскими категориями, наверняка вспомнят, что онтология - это, буквально, учение о бытии (ontos + logos)- о том, как устроен мир, какова его структура, каковы и насколько сильны слабы взаимодействия между элементами этого мира.
Однако, в середине 80х гг. XX века происходит переоткрытие понятия "онтология". Отчасти это случилось в связи с нашумевшим тогда проектом CYC - проектом создания базы так называемых "общеизвестных" знаний (common sense knowledge). Оказалось, что многие "кусочки" знаний, закодированные в CYC, имеют универсальное значение и одинаково воспринимаются разными людьми и сообществами. Так появилось понимание того факта, что взаимодействие разных исследовательских сообществ невозможно без наличия "слоя-посредника". В таком "слое-посреднике" должен определяться словарь некой предметной области - те термины, которые используют все исследователи в этой области. Таким посредником и выступили онтологии предметных областей (domain ontologies).
На первых порах, в сфере информационных технологий часто противопоставляли два определения онтологии: более философское (определение Николы Гуарино) и более практическое (определение Томаса Грабера).
В философском контексте, онтология[1] – система категорий, используемая для рассмотрения с учетом конкретного видения мира. John Sowa так и пишет: предметом онтологии являются категории (потенциально) существующих вещей.
В контексте информационных систем, онтология[2] – формализованное описание общепринятого понимания некоторой предметной области, с помощью которого могут общаться люди, компьютерные системы.
На самом деле, вопрос в отличии двух определений сводится к разным требованиям к "слою-посреднику": в одном случае нужна строгая формальная теория, формальный язык (например, язык исчисления предикатов 1-го порядка, или его фрагменты, лежащие в основе логик дескрипций - description logics), в другом - достаточно списка терминов предметной области (онтологии - словари).
Показано 14 страниц этой категории из 14.
"FPА |
ВКН |
Н (продолжение)ОЧЭ |