この資料をSMS送信: Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings