Browsing Computation by Author "Antunes, Cauã Roca"
Now showing items 1-1 of 1
-
Detecting and correcting conservativity violations in ontology alignments under a category-theoretic framework
Antunes, Cauã Roca (2020) [Dissertation]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 ...