P-CLASSIC: A Tractable Probabilistic Description Logic (1997)

by D Koller, A Levy, A Pfeffer
Venue:In Proceedings of AAAI-97