1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
2. Baader, F., Küsters, R.: Non-standard inferences in description logics: The story so far. In: Gabbay, D., Goncharov, S.S., Zakharyaschev, M. (eds.) Mathematical Problems from Applied Logic. New Logics for the XXIst Century. International Mathematical Series, vol. 4. Kluwer/Plenum Publishers (2005)
3. Baader, F., Küsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Dean, T. (ed.) Proceedings of the 16th International Joint Conference on Artificial Intelligence, pp. 96–101. Morgan Kaufmann, San Francisco (1999)
4. Bacchus, F.: Lp, a logic for representing and reasoning with statistical knowledge. Computational Intelligence 6, 209–231 (1990)
5. Bock, H.: Analysis of Symbolic Data: Exploratory Methods for Extracting Statistical Information from Complex Data. Springer, Heidelberg (1999)