1. Что такое онтология

Онтология — это формальное описание понятий (классов), их свойств и отношений в некоторой предметной области, позволяющее однозначно трактовать смысл понятий и делать логические выводы. В контексте семантических технологий (например, Semantic Web) онтологии чаще всего реализуют на языке OWL (Web Ontology Language), который опирается на дескрипционную логику — математически строгую основу для рассуждений.

В онтологии выделяют два уровня описания:

• Интенсиональный (T‑box) — классы, свойства, аксиомы: «что такое Пациент», «какие свойства у Лекарства», «как связаны понятия». В СиММА - это метамодель.
• Экстенсиональный (A‑box) — конкретные экземпляры (обьекты) и факты (связи/отношения): «Иван — Пациент», «Аспирин — Лекарство», «Иван принимает Аспирин». В СиММА - это модель.

Ключевая ценность онтологии — возможность автоматического логического вывода: система может классифицировать объекты, находить противоречия и выводить неявные факты на основе формальных правил. Например, если «все Пациенты имеют дату рождения» и «Иван — Пациент», система сделает вывод, что у Ивана должна быть дата рождения, и может сигнализировать, если её нет.

2. Что такое язык ArchiMate

ArchiMate — это язык архитектурного моделирования для описания архитектуры предприятия. Он даёт единую нотацию, чтобы согласованно описывать бизнес-архитектуру, архитектуру приложений и технологическую архитектуру, а также связи между ними.

Ключевые компоненты ArchiMate:

• Концепты — классы сущностей: Business Actor, Business Role, Application Component, Device и т. д. Для справки: в СиММА - это классы.
• Типы отношений: Assignment (назначение), Serving (обслуживание), Flow (поток), Triggering (триггер) и др. Для справки: в СиММА это метасвязи.
• Аспекты — дополнительная смыловая нагрузка для концептов: активность (действие, поведение), информация/материал,  актор (система, прибор, человек).

Цель ArchiMate — дать понятный, единообразный язык для архитекторов и заинтересованных сторон, чтобы описывать, анализировать и коммуницировать архитектурные решения. Возможность визуализации сущностей архимейта и их отношений делают его удобным инструментом для проектирования и документирования, но не для автоматического логического вывода. Последнее следует отнести не столько к самому языку Архимейт, сколько к текущему этапу его развития. В настоящее время сами архитекторы делают нужные им выводы [и естественно делают это не всегда одинаково].
 

3. Станет ли ArchiMate онтологией, если переложить его в OWL

Формально ArchiMate и онтология решают разные задачи и опираются на разные принципы.

Разные цели и семантика: ArchiMate ориентирован на людей: его семантика задаётся спецификацией языка и практикой моделирования. Связи несут смысл, понятный архитекторам, но без жёсткой формальной логики. Онтология же предназначена и для людей, и для машин: её семантика выражается аксиомами, которые позволяют делать автоматические выводы и проверять согласованность.

Отсутствие встроенного механизма вывода в ArchiMate: в языке нет формального аппарата дескрипционной логики, который гарантирует корректность выводов. Даже если перенести модель в OWL-формат, без добавления аксиом (доменов, диапазонов, ограничений, иерархий свойств) она останется лишь «картинкой в другом формате». Примечание: часть этих недостатков Архимейта восполняет СиММА, позволяя, например, задавать ограничения.

Что значит «переложить Архимейт в OWL»? Возможны два сценария:

• Простое отображение: концепты ArchiMate становятся OWL‑классами, отношения (связи) — OWL‑свойствами. Это еще не онтология в полном смысле: нет аксиом, фиксирующих семантику связей и ограничений.
• Глубокая формализация: к отображению добавляют аксиомы, отражающие смысл концептов и связей, а также правила вывода. Только в этом случае модель становится онтологией на базе ArchiMate.

Таким образом, сам по себе факт использования OWL не превращает ArchiMate в онтологию: решающим фактором является глубина формализации и наличие аксиоматики, обеспечивающей логическую строгость и возможность вывода.

4. О производных связях в ArchiMate

В спецификации ArchiMate (версии 3.1 и выше) предусмотрены правила вывода производных связей (derivation rules), позволяющие логически выводить деревативные связи из прямых. Это придаёт языку элементы формальной логики, хотя и ограниченной по сравнению с онтологиями.

Производные (деревативные) связи делятся на:

• Valid Derivations (DR) — гарантированно корректные выводы, которые спецификация признаёт валидными при соблюдении условий.
• Potential Derivations (PDR) — возможные выводы, требующие дополнительной проверки и оценки моделировщиком.

Правила вывода учитывают:

• категории участвующих сущностей (например, принадлежность к доменам: бизнес, приложения, технология);
• отношения, указанные между сущностями;
• допустимые комбинации, зафиксированные в таблицах отношений.

Пример: если элемент A структурно связан с B, а B связан с C через зависимость, по определённому правилу можно вывести проивзодную зависимость между A и C. При этом итоговая связь должна соответствовать разрешённым комбинациям в спецификации; иначе вывод не считается валидным.

Важно понимать, что эти правила — не полноценный логический вывод в духе OWL. Они служат для упрощения моделирования и поддержания согласованности диаграмм, а не для автоматической проверки противоречий или классификации. Производные связи в ArchiMate — это скорее стандартизированные шаблоны рассуждений, чем формальная логика.

Таким образом, ArchiMate предлагает богатый и удобный язык для архитектурного моделирования, включающий элементы логического вывода через производные связи. Однако он не является онтологией в строгом смысле, поскольку не обеспечивает формальную семантику и автоматический вывод на уровне дескрипционной логики. Превращение ArchiMate‑модели в онтологию требует дополнительной формализации — добавления аксиом и правил, которые сделают модель пригодной для машинного анализа и строгих логических рассуждений. Такие правила и аксиомы вы можете реализовать поверх моделей СиММА и тем самым довести архимейтовские картинки до строгого онтологического формализма.
 

Послесловие к вопросу разны видов онтологий.

В каком смысле или в каком объеме можно все-таки считать ArchiMate онтологией? Короткий ответ: в широком, «докомпьютерном» смысле ArchiMate можно назвать онтологией предметной области «архитектура предприятия». В узком, смысле (семантические технологии, Semantic Web) — нет, это не онтология.

Разберём оба этих смысла.

Онтология в широком смысле: словарь и структура понятий

В докомпьютерную эпоху онтология понималась как систематизированное описание понятий и их отношений в какой‑то области. Классический пример — Аристотель с его категориями или средневековые «суммы», где фиксировали, что такое «род», «вид», «свойство», и как они соотносятся.

В этом смысле ArchiMate — это онтология:

• Есть фиксированный словарь понятий: Business Actor, Application Component, Technology Node и т. д.
• Есть типы связей с семантикой: Assignment, Serving, Flow, Triggering — каждая несёт конкретный смысл.
• Есть домены: бизнес‑домен, домен приложений, технологический домен; внутри них — определенные языком концепты и допустимые связи между ними.
• Есть правила совместимости: матрица допустимых отношений между концептами разных доменов.

То есть ArchiMate задаёт концептуальную схему предметной области: что мы считаем сущностями, какие виды отношений между ними признаём, в каких ViewPoints их можно использовать. Этого вполне достаточно, чтобы назвать его онтологией в широком, методологическом смысле.

Именно поэтому в литературе часто говорят «онтология ArchiMate» или «онтологическая структура ArchiMate»: это удобно и отражает суть — язык фиксирует, как мы понимаем архитектуру предприятия.

Онтология в узком (современном) смысле: формальная семантика и вывод

Когда сегодня в ИТ говорят «онтология», почти всегда имеют в виду формальную онтологию, пригодную для машинной обработки. Здесь критерии жёстче:

• Формальный язык: OWL, RDF, логика первого порядка и т. п.
• Явные аксиомы: домены, диапазоны, ограничения, несовместимость классов, транзитивность и т. д.
• Автоматический вывод и проверка: reasoner находит противоречия, классифицирует, выводит неявные факты.
• Семантическая интероперабельность: онтологии можно объединять, проверять на согласованность, использовать в разных системах.

В этом смысле ArchiMate не онтология: его семантика описана в спецификации и поддерживается инструментами через матрицы и правила, но не через формальную логическую систему. Нет механизма, который бы «рассуждал» над моделью и находил противоречия.

Про ранние онтологии или "как мы жили до  OWL»

Если оценивать Аристотеля или средневековые классификации по меркам OWL, они не выдержат критики. Но это не значит, что они «не онтологии». Это значит, что сам термин «онтология» используется в разных контекстах с разной строгостью.

• Философская/методологическая онтология — про то, как мы описываем мир и фиксируем понятия. Сюда отлично вписывается ArchiMate.
• Компьютерная/формальная онтология — про то, как сделать эти описания машиночитаемыми и проверяемыми. Тут нужен OWL и аксиоматика.

Поэтому ранние онтологии не «плохие» — они просто решали другую задачу: дать людям понятный и согласованный способ рассуждения о реальности. Современные онтологии решают ещё и задачу автоматизации этого рассуждения.

Можно завершить эту статью следующей шкалой из трех уровней строгости в описании знаний:

1. Глоссарий/словарь терминов. Просто список понятий и кратких определений. Подходит для согласования терминологии между людьми.
2. Концептуальная модель/онтология в широком смысле (как ArchiMate). Есть понятия, типы связей, домены, матрицы совместимости. Подходит для проектирования, документирования, согласования архитектуры.
3. Формальная онтология (OWL). Есть аксиомы, логический вывод, автоматическая проверка. Подходит для интеграции данных, семантического поиска, автоматического контроля качества моделей.

ArchiMate уверенно стоит на уровне 2, он решает огромную часть практических задач, но не догягивает до уровня 3, когда нужна автоматизация рассуждения и строгая проверка логики итоговой или текущей модели.

TOGAF — методология, которая тоже работает на уровне 2: даёт шаблоны и способы описания, но не формальную логику.

SID (TM Forum) — тоже уровень 2: референтная модель понятий и связей для цифровых провайдеров. SID даёт общий словарь отрасли, но не гарантирует логическую согласованность данных.

OWL‑онтологии — уровень 3 - позволяют превратить модели уровня 2 в формально проверяемые структуры. Но логику придется формально описать. Есть ли у нас шансы сделать такие описания?  Теоретически - да, но скорее всего, мы отдадим эту задачу нейронным сетям. Конечно, это не будет заменой OWL, но безусловно закроет целый ряд задач по проверке качества наших моделей.