P-CLASSIC: A Tractable Probablistic Description Logic.

Daphne Koller, Alon Y. Levy, Avi Pfeffer

Browse the full AAAI paper archive.