A Probabilistic-Logical Framework for Ontology Matching