A. Cali, T. Lukasiewicz: "Tightly Integrated Probabilistic Description Logic Programs."; Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-07-05, 2007; 20 pages.