Towards annotating potential incoherences in BioPortal mappings LogMap: Logic-based and Scalable Ontology Matching LogMap: Large-scale, Logic-based and Interactive Ontology Matching Evaluating Mapping Repair Systems with Large Biomedical Ontologies LogMap in Practice OM 2019 Towards the Creation of the Cardiovascular Magnetic Resonance Quality Assessment Ontology (CMR-QA) Limiting Logical Violations in Ontology Alignnment Through Negotiation 
