發送短信: Tightly integrated probabilistic description logic programs for representing ontology mappings.