Беседа в телеге о сопоставлении и слиянии онтологий.
Беседа о сопоставлении и слиянии онтологий.
https://t.me/rusontology/2979
ALEX BUR, [31.01.2022 9:59]
О сложности семантической интеграции онтологий OWL
On the Complexity of Semantic Integration of OWL Ontologies
Yevgeny Kazakov, Institute of Artificial Intelligence, University of Ulm, Germany
Denis Ponomaryov, Institute of Informatics Systems, Novosibirsk State University, Russia
[ Файл : Казаков,_Пономарев_О_сложности_семантической_интеграции_онтологий.pdf ]
Можно скачать тут
https://arxiv.org/abs/1705.04719
Насколько я понимаю, эта проблема по сути эквивалентна пробеме сосоставления двух разных теорий с разными сигнатурами и с разными правилами присоединения следствий.
---
[Переслано от Vadim Smelyanskiy]
Смотря какие онтологии подключаются и для чего
Например, онтологию по ISO 9001 может быть нужно подключать не для автоматического, но для ручного сопоставления "что у нас есть" и "что говорит стандарт"
---
ALEX BUR, [31.01.2022 10:50]
Пример.
Есть граф Пн,Вт,Ср,Чт,Пт,Сб,Вс.
Есть граф 1,2,3,4,5,6,7.
Считать их эквивалентными?
В общем случае нет.
Т.е. метки вершин, метки ребер тоже имеют значение, несут семантический смысл.
Я пытаюсь совсем общий случай, совсем общую задачу рассмотреть.
Еще пример из метрологии.
Есть градусник температуры, есть линейка школьная. Структуры похожи, но назначение разное.
Озвучу пару тезисов.
Тезис 1: Проблема в общем случае неразрешима.
Тезис 2: Проблема в общем случае разрешима частично, но требуется AGI, т.е. полноценное понимание, полноценное интерпретатор онтологий/графовых_моделей.
Всё дискуссионно.
---
[Переслано от Anton Kolonin]
К тезису 2 - еще требуется
а) контекст (в разных контекстах решение может быть разным)
б) опорные точки (иначе задача изоморфизма графов может иметь более одного решения)
---
ALEX BUR, [31.01.2022 10:50]
[Переслано от Nikita Bukhanov]
[ Файл : Konig.Tutorial on Graph Transformation.pdf ]
Последнее что видел на эту тему 👆
ALEX BUR, [31.01.2022 10:50]
Ну да. Типа того.
В общем случае с градусником и линейкой, суть в том, что отображение на шкалу есть гомоморфизм. Ну и получается, что онтологии в общем случае гомоморфизмы, т.е. даже структуры с одинаковыми метками, могут описывать существенно разные явления.
Т.е. да, нужен и контекст ситуации в том числе, который позволит разрешать коллизии.
В тоже время структуры с разными метками могут описывать одно и тоже явление, просто метки разные, в разном регистре, в разных алфавитах, в разных сигнатурах, на разных языках.
В итоге, кроме прочих сложностей, выходит на первый план стандартная мат.сложность по сути из оснований математики, что считать эквивалентным и что не считать эквивалентным.
Всё дискуссионно.
ALEX BUR, [31.01.2022 10:50]
Ну и сухой остаток. Частные решения возможны. Общее решение эквивалентно построению AGI, поскольку требуется понимание семантики, т.е. весьма продвинутое моделирование.
https://t.me/rusontology/2979
ALEX BUR, [31.01.2022 9:59]
О сложности семантической интеграции онтологий OWL
On the Complexity of Semantic Integration of OWL Ontologies
Yevgeny Kazakov, Institute of Artificial Intelligence, University of Ulm, Germany
Denis Ponomaryov, Institute of Informatics Systems, Novosibirsk State University, Russia
[ Файл : Казаков,_Пономарев_О_сложности_семантической_интеграции_онтологий.pdf ]
Можно скачать тут
https://arxiv.org/abs/1705.04719
Насколько я понимаю, эта проблема по сути эквивалентна пробеме сосоставления двух разных теорий с разными сигнатурами и с разными правилами присоединения следствий.
---
[Переслано от Vadim Smelyanskiy]
Смотря какие онтологии подключаются и для чего
Например, онтологию по ISO 9001 может быть нужно подключать не для автоматического, но для ручного сопоставления "что у нас есть" и "что говорит стандарт"
---
ALEX BUR, [31.01.2022 10:50]
Пример.
Есть граф Пн,Вт,Ср,Чт,Пт,Сб,Вс.
Есть граф 1,2,3,4,5,6,7.
Считать их эквивалентными?
В общем случае нет.
Т.е. метки вершин, метки ребер тоже имеют значение, несут семантический смысл.
Я пытаюсь совсем общий случай, совсем общую задачу рассмотреть.
Еще пример из метрологии.
Есть градусник температуры, есть линейка школьная. Структуры похожи, но назначение разное.
Озвучу пару тезисов.
Тезис 1: Проблема в общем случае неразрешима.
Тезис 2: Проблема в общем случае разрешима частично, но требуется AGI, т.е. полноценное понимание, полноценное интерпретатор онтологий/графовых_моделей.
Всё дискуссионно.
---
[Переслано от Anton Kolonin]
К тезису 2 - еще требуется
а) контекст (в разных контекстах решение может быть разным)
б) опорные точки (иначе задача изоморфизма графов может иметь более одного решения)
---
ALEX BUR, [31.01.2022 10:50]
[Переслано от Nikita Bukhanov]
[ Файл : Konig.Tutorial on Graph Transformation.pdf ]
Последнее что видел на эту тему 👆
ALEX BUR, [31.01.2022 10:50]
Ну да. Типа того.
В общем случае с градусником и линейкой, суть в том, что отображение на шкалу есть гомоморфизм. Ну и получается, что онтологии в общем случае гомоморфизмы, т.е. даже структуры с одинаковыми метками, могут описывать существенно разные явления.
Т.е. да, нужен и контекст ситуации в том числе, который позволит разрешать коллизии.
В тоже время структуры с разными метками могут описывать одно и тоже явление, просто метки разные, в разном регистре, в разных алфавитах, в разных сигнатурах, на разных языках.
В итоге, кроме прочих сложностей, выходит на первый план стандартная мат.сложность по сути из оснований математики, что считать эквивалентным и что не считать эквивалентным.
Всё дискуссионно.
ALEX BUR, [31.01.2022 10:50]
Ну и сухой остаток. Частные решения возможны. Общее решение эквивалентно построению AGI, поскольку требуется понимание семантики, т.е. весьма продвинутое моделирование.