A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
In ontology engineering, reusing (or extending) ontologies poses a significant challenge, requiring revising their ontological commitments and ensuring accurate representation and coherent reasoning. This study aims to address two main objectives. Firstly, it seeks to develop a methodological approa...
| Автори: | , , , |
|---|---|
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
MDPI AG
2024-05-01
|
| Серія: | AI |
| Предмети: | |
| Онлайн доступ: | https://www.mdpi.com/2673-2688/5/2/39 |