Thomas Lukasiewicz Livia Predoiu Heiner Stuckenschmidt Tightly integrated probabilistic description logic programs for representing ontology mappings. 385-425 2011 63 Ann. Math. Artif. Intell. 3-4 https://doi.org/10.1007/s10472-012-9280-3 db/journals/amai/amai63.html#LukasiewiczPS11