Navegação Computação por Autor "Antunes, Cauã Roca"
Resultados 1-1 de 1
-
Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
Antunes, Cauã Roca (2020) [Dissertação]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 ...