Evidence suggests that the compromise chosen by description logics is a particularly successful one.
In addition to terminological knowledge, the language utilizes Bayesian networks to express uncertainty about the basic properties of an individual, the number of fillers for its roles, and the properties of these fillers. As usual, this probabilistic model must take into account the influences of the environment on the object. Daphne Koller, Alon Levy, and Avi Pfeffer. Proceedings of the AAAI Fourteenth National Conference on Artificial Intelligence, 1997.