1. Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The description logic handbook: Theory, implementation, and applications
2. Baader, F., Horrocks, I., Sattler, U.: Description Logics for the Semantic Web. KI V Kunstliche Intelligenz 4 (2002)
3. Barwise, J., Seligman, J.: The Rights and Wrongs of Natural Regularity. In: Tomerlin, J. (ed.) Philosophical Perspectives, pp. 331–365. Ridgeview, California (1994)
4. Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)
5. Gardenfors, P., Makinson, D.: Revisions of knowledge systems using epistemic entrenchment. In: Vardi, M.y. (ed.) Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 83–95. Morgan Kaufmann, Los Altos (1988)