of LogMap: Logic−Based and Scalable Ontology Matching