ISO/IEC 21838-3:2023 Информационные технологии. Онтологии верхнего уровня (TLO). Часть 3. Описательная онтология для лингвистической и когнитивной инженерии (DOLCE). - Стандарты и спецификации PDF

ISO/IEC 21838-3:2023
Информационные технологии. Онтологии верхнего уровня (TLO). Часть 3. Описательная онтология для лингвистической и когнитивной инженерии (DOLCE).

Стандартный №
ISO/IEC 21838-3:2023
Дата публикации
2023
Разместил
International Organization for Standardization (ISO)
Последняя версия
ISO/IEC 21838-3:2023
 

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

Обзор стандартной структуры DOLCE

ISO/IEC 21838-3:2023 определяет DOLCE (дескриптивную онтологию для лингвистической и когнитивной инженерии), которая соответствует требованиям онтологии верхнего уровня (TLO). Стандарт включает в себя:

Основные компоненты Формальные методы Сценарии применения
Определения классов и отношений Описание естественного языка Обслуживание и понимание человеком
Логические аксиомы Формализация OWL 2 Приложения семантической паутины
Модульная структура Общие

  • Устойчивые: существуют во всех временных состояниях (например, физические объекты)
  • Постоянные: существуют в некоторых временных состояниях (например, в процессах событий)

Пример применения: в интеллектуальной производственной системе роботизированная рука моделируется как постоянная сущность, а ее сварочный процесс моделируется как сущность процесса.


Формальная система проверки

Измерения проверки Реализация OWL 2 Реализация общей логики
Доказательство непротиворечивости Проверка с помощью OWL Reasoner Проверка расширения теории модульности
Соответствие онтологии предметной области Расширение OWL 2 DL Консервативное расширение теории CL

Ключевые технологические инновации

4.9.9 Теория качества

Оригинальная

4.9.12 Конституционная связь DOLCE

Поддержка моделирования временных ассоциаций Материал-Сущность:

∀x,y,t(constitus(x,y,t) → (Endurant(x) ∧ Endurant(y)) ∨ (Perdurant(x) ∧ Perdurant(y)))

Предложения по реализации

  1. Адаптация предметной области: Отдайте приоритет расширению модуля таксономии DOLCE для создания системы концепций предметной области
  2. Выбор цепочки инструментов: OWL 2 используется для легких приложений, а CL обрабатывает сложные ограничения
  3. Проверка качества: Используйте Средство проверки согласованности, предоставляемое стандартом

Анализ развития технологий

По сравнению с предыдущей версией, ISO/IEC 21838-3:2023 имеет следующие основные усовершенствования:

  • Добавлено явное моделирование социально сконструированных сущностей (пункт 4.9.15)
  • Улучшена формальная спецификация временных отношений частей (пункт 4.9.5)
  • Предоставлен стандартизированный граф зависимостей модулей (рисунок 2)

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

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

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

  • 2023 ISO/IEC 21838-3:2023 Информационные технологии. Онтологии верхнего уровня (TLO). Часть 3. Описательная онтология для лингвистической и когнитивной инженерии (DOLCE).
Информационные технологии. Онтологии верхнего уровня (TLO). Часть 3. Описательная онтология для лингвистической и когнитивной инженерии (DOLCE).

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




© 2025. Все права защищены.