Anfonwch hwn fel neges destun: Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings