ISO/IEC 21838-4:2023
Информационные технологии. Онтологии верхнего уровня (TLO). Часть 4: TUpper.

Стандартный №

ISO/IEC 21838-4:2023

Дата публикации

2023

Разместил

International Organization for Standardization (ISO)

Последняя версия

ISO/IEC 21838-4:2023

сфера применения

Анализ архитектуры технологии онтологии TUpper

Как модульная онтология верхнего уровня, соответствующая требованиям ISO/IEC 21838-1, TUpper применяет инновационный горизонтальный метод построения для формирования единой структуры путем интеграции модулей онтологии в существующие международные стандарты. Его техническая архитектура состоит из трех основных компонентов:

Тип компонента	Форма реализации	Соответствие стандарту	Основные функции
TUpper-Terms	Спецификация естественного языка	ISO/IEC 21838-1:2021, 4.1	Ручное обслуживание и поддержка разработки онтологии предметной области
TUpper-OWL	Формализация OWL 2	ISO/IEC 21838-1:2021, 4.2	Интеграция OWL Reasoner и Семантическая совместимость
TUpper-CL	Аксиоматизация общей логики	ISO/IEC 21838-1:2021, 4.3	Основы формальной семантики и логическая верификация

---

Особенности модульной конструкции

TUpper достигает охвата предметной области с помощью 27 логических модулей, основными источниками которых являются:

• Серия ISO 18629: PSL-Core, PSL-Subactivity и другие модули языка спецификации процессов
• ISO 19107/19150-1: Многомерная мереотология и местоположение онтология
• ISO 80000: Модуль физических величин и единиц измерения

Каждый модуль поддерживает свойство консервативного расширения, гарантируя, что вновь добавленные аксиомы не порождают новых теорем в исходной сигнатуре теории.

---

Анализ покрытия домена основных понятий

Механизм пространственно-временного представления

TUpper определяет два типа временных сущностей: временные точки и временные интервалы:

• Временные точки: устанавливают временную последовательность с помощью сортировочных отношений
• Временные интервалы: расширяют временной диапазон и мереологию

Моделирование изменений и процессов

Представление изменений достигается посредством взаимодействия между состоянием и возникновением активности:

• Состояние реализуется или отрицается возникновением активности
• Модуль motion.clif классифицирует все действия, которые могут изменить положение объекта
• Модуль matter.clif обрабатывает изменения в составе материала отношения

---

Рекомендации по разработке и внедрению онтологии предметной области

1. Проверка согласованности: необходимо доказать, что набор аксиом онтологии предметной области является согласованным расширением
2. Выбор модуля: выберите соответствующие модули стандарта ISO в качестве основы в соответствии со сценарием применения
3. Формальная проверка: используйте инструмент проверки, предоставляемый стандартом, для проверки логической согласованности
4. Семантическое выравнивание: убедитесь в семантическом соответствии с аксиоматизацией CL с помощью файлов интерпретации OWL

Последнюю информацию об обслуживании этого стандарта можно запросить через Агентства по обслуживанию ИСО.

ISO/IEC 21838-4:2023 Ссылочный документ

• ISO/IEC 21838-1:2021 Информационные технологии. Онтологии верхнего уровня (TLO). Часть 1. Требования.
• ISO/IEC 24707 Информационные технологии — Common Logic (CL) — основа для семейства логических языков.

ISO/IEC 21838-4:2023 История

• 2023 ISO/IEC 21838-4:2023 Информационные технологии. Онтологии верхнего уровня (TLO). Часть 4: TUpper.

стандарты и спецификации