Daphne Koller, Alon Y. Levy, Avi Pfeffer: P-CLASSIC: A Tractable Probablistic Description Logic. AAAI/IAAI 1997: 390-397