أرسل هذا في رسالة قصيرة: Tightly integrated probabilistic description logic programs for representing ontology mappings.