Harmonizing SNOMED CT with BioTopLite: An Exercise in Principled Ontology Alignment | Publicación