Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
Este trabalho formaliza alinhamentos de ontologias conservativos e não conservativos em teoria das categorias, um ramo da matemática que estuda sistemas de mapeamentos componíveis, e propõe um algoritimo para corrigir violações de conservatividade em tais alinhamentos. Ontologias são artefatos compu...
| Author: | |
|---|---|
| Format: | master thesis |
| Status: | Published version |
| Publication Date: | 2020 |
| Country: | Brasil |
| Institution: | Universidade Federal do Rio Grande do Sul (UFRGS) |
| Repository: | Biblioteca Digital de Teses e Dissertações da UFRGS |
| Language: | English |
| OAI Identifier: | oai:www.lume.ufrgs.br:10183/232458 |
| Online Access: | http://hdl.handle.net/10183/232458 |
| Access Level: | Open access |
| Keyword: | Ontologias Teoria das categorias Interoperabilidade semântica Ontology alignment Category theory Semantic interoperability |
| Summary: | Este trabalho formaliza alinhamentos de ontologias conservativos e não conservativos em teoria das categorias, um ramo da matemática que estuda sistemas de mapeamentos componíveis, e propõe um algoritimo para corrigir violações de conservatividade em tais alinhamentos. Ontologias são artefatos computacionais que modelam a estrutura de porções da realidade. Quando multiplas ontologias lidando com domínios relacionados são utilizadas conjuntamente, o que é frequente em contextos distribuídos tais como a Web Semântica, é necessária a construção de um alinhamento entre elas, isto é, de um conjunto de mapeamentos entre entidades de ambas ontologias. Tais alinhamentos frequentemente produzem inconsistências, mesmo quando produzidos por especialistas de domínio. Um tipo comum de inconsistência é a violação do princípio da conservatividade, que afirma que a fusão de duas ontologias a partir de um alinhamento não deveria introduzir novas relações de subsunção entre entidades vindas da mesma ontologia de origem. Alinhamentos que não violam o princípio de conservatividade são chamados de alinhamentos conservativos. Este trabalho apresenta uma formalização em teoria das categorias de conservatividade em alinhamentos de ontologias, permitindo a análise da conservatividade sob as operações de intersecção, união e composição de alinhamentos. Finalmente, a formalização em teoria das categorias fornece a base para um algoritmo de tempo quadrático para a correção de violações de conservatividade em alinhamentos de ontologia. O algoritmo foi avaliado com conjuntos de dados da Ontology Alignment Evaluation Initiative 2019, e os resultados foram comparados com uma abordagem do estado da arte. Nosso algoritmo foi mais de 10 vezes mais rápido para todos os casos de teste e operou um número significativamente menor de modificações sobre os alinhamentos originais, preservando mais informação da entrada. |
|---|