Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework

Detalhes bibliográficos
Ano de defesa: 2020
Autor(a) principal: Antunes, Cauã Roca
Orientador(a): Abel, Mara
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Ontologias
Teoria das categorias
Interoperabilidade semântica
Palavras-chave em Inglês:
Ontology alignment
Category theory
Semantic interoperability
Link de acesso: http://hdl.handle.net/10183/232458
Resumo: 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.
id URGS_757c754d4c0701ea0cb16699e3c00398
oai_identifier_str oai:www.lume.ufrgs.br:10183/232458
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str
spelling Antunes, Cauã RocaAbel, MaraRademaker, Alexandre2021-12-02T04:42:08Z2020http://hdl.handle.net/10183/232458001115944Este 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.This work formalizes conservative and non-conservative ontology alignments in category theory, a branch of mathematics that studies systems of composable mappings, and proposes an algorithm for correcting conservativity violations in such alignments. Ontologies are computational artifacts that model the structure of portions of reality. When multiple ontologies dealing with related domains are to be used together, which is frequent in distributed contexts such as the Semantic Web, it is necessary to build an alignment between them, i.e., a set of mappings between entities in both ontologies. Such alignments frequently produce inconsistencies, even when constructed by domain experts. One kind of inconsistency which is often introduced is the violation of the conservativity principle, that states that merging two ontologies trough an alignment should not introduce new subsumption relations between concepts originating from the same source ontology. Alignments that do not violate the conservativity principle are called conservative alignments. This work presents a category-theoretic formalization of conservativity in ontology alignments, allowing the analysis of conservativity under the operations of alignment intersection, union and composition. Finally, the category-theoretic formalization provides the basis for a quadratic-time algorithm for correcting conservativity violations in ontology alignments. We evaluate the algorithm against datasets from the Ontology Alignment Evaluation Initiative 2019 and compare the results with the available state-of-the-art approach. Our algorithm was over 10 times faster for all datasets and performed less modifications over the original alignments, preserving more information from the input.application/pdfengOntologiasTeoria das categoriasInteroperabilidade semânticaOntology alignmentCategory theorySemantic interoperabilityDetecting and correcting conservativity violations in ontology alignments under a category-theoretic frameworkDetectando e corrigindo violações de conservatividade em alinhamentos de ontologias sob um arcabouço em teoria das categorias info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2020mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001115944.pdf.txt001115944.pdf.txtExtracted Texttext/plain108154http://www.lume.ufrgs.br/bitstream/10183/232458/2/001115944.pdf.txt74ade9d426512c50d9273d047765843aMD52ORIGINAL001115944.pdfTexto completo (inglês)application/pdf491554http://www.lume.ufrgs.br/bitstream/10183/232458/1/001115944.pdf4efa858f2c81439a79fd3379ab17a499MD5110183/2324582024-03-28 06:23:46.846304oai:www.lume.ufrgs.br:10183/232458Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532024-03-28T09:23:46Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
dc.title.alternative.pt.fl_str_mv Detectando e corrigindo violações de conservatividade em alinhamentos de ontologias sob um arcabouço em teoria das categorias
title Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
spellingShingle Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
Antunes, Cauã Roca
Ontologias
Teoria das categorias
Interoperabilidade semântica
Ontology alignment
Category theory
Semantic interoperability
title_short Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
title_full Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
title_fullStr Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
title_full_unstemmed Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
title_sort Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
author Antunes, Cauã Roca
author_facet Antunes, Cauã Roca
author_role author
dc.contributor.author.fl_str_mv Antunes, Cauã Roca
dc.contributor.advisor1.fl_str_mv Abel, Mara
dc.contributor.advisor-co1.fl_str_mv Rademaker, Alexandre
contributor_str_mv Abel, Mara
Rademaker, Alexandre
dc.subject.por.fl_str_mv Ontologias
Teoria das categorias
Interoperabilidade semântica
topic Ontologias
Teoria das categorias
Interoperabilidade semântica
Ontology alignment
Category theory
Semantic interoperability
dc.subject.eng.fl_str_mv Ontology alignment
Category theory
Semantic interoperability
description 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.
publishDate 2020
dc.date.issued.fl_str_mv 2020
dc.date.accessioned.fl_str_mv 2021-12-02T04:42:08Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/232458
dc.identifier.nrb.pt_BR.fl_str_mv 001115944
url http://hdl.handle.net/10183/232458
identifier_str_mv 001115944
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/232458/2/001115944.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/232458/1/001115944.pdf
bitstream.checksum.fl_str_mv 74ade9d426512c50d9273d047765843a
4efa858f2c81439a79fd3379ab17a499
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1831316123247706112

Registros relacionados