A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology | Publicación