1. Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine 17(3), 55–72 (1996)
2. Alchourrón, C.E., Bulygin, E.: Normative Systems. Springer, Wien (1986)
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
4. Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 12(3), 279–305 (2000)
5. De Giacomo, G., Lenzerini, M.: TBox and ABox reasoning in expressive description logics. In: Carlucci Aiello, L., Doyle, J., Shapiro, S. (eds.) KR 1996: Principles of Knowledge Representation and Reasoning, pp. 316–327. Morgan Kaufmann, San Francisco (1996)