Zaslat SMS: Tightly integrated probabilistic description logic programs for representing ontology mappings.