Baader F., Calvanese D., McGuinness D. L., Nardi D., Patel-Schneider P. F. (eds). 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.

Birkedal L., Debois S., Elsborg E., Hildebrandt T., Niss H.2005. Bigraphical Models of Context-aware Systems. Technical report, TR-2005-74, The IT University of Copenhagen.

Borgida A., Serafini L.2003. Distributed description logics: assimilating information from peer sources. Journal of Data Semantics1, 153–184.

Cafezeiro I., Haeusler E. H., Rademaker A.2008a. Ontology and context. In Proceedings of COMOREA 2008, Hong Kong, 417–422.

Cafezeiro I., Viterbo J., Rademaker A., Haeusler E. H., Endler M.2008b. A formal framework for understanding context-aware behavior in ubiquitous computing. In Proceedingsof ISOLA 2008, Kassandra, Chalkidiki, Greece.

Cafezeiro I., Viterbo J., Rademaker A., Hauesler E. H., Endler M.2009. Designing ubiquitous applications: proposal of a specification environment. In MUCS'09, 17–26, ACM, New York, NY, USA.

Julien C., Payton J., Roman G. C.2003. Reasoning about context-awareness in the presence of mobility. In Proceedings of FOCLASA03, Marseille, France.

Julien C., Roman G. C.2002. Egocentric context-aware programming in ad hoc mobile environments, In SIGSOFT ‘02/FSE-10, 21–30, ACM, New York, NY, USA.

Lopes A., Fiadeiro L. (eds) 2005. Context-awareness in software architectures. In Proceedings of EWSA 2005, Pisa, Italy. Springer-Verlag.

Maedche E., Staab S.2001. Ontology learning for the semantic web. IEEE Intelligent Systems16, 72–79.

Rademaker A., Haeusler E. H.2008. Toward short and structural reasoning explanations: a sequent calculus approach. In Advances in Artificial Intelligence - SBIA 2008, Zaverucha, G. & da Costa, A. C. P. L. (eds), Lecture Notes in Artificial Intelligence 5249, 167–176. Springer.

Roman G. C., Julien C., Payton J.2004. A formal treatment of context awareness. In Proceedings of FASE'04, Lecture Notes in Artificial Intelligence 2984, 12–36. Barcelona, Spain.

Weiser M.1991. The computer for the twenty-first century. Scientific American265, 94–104.

Yan L., Sere K.2004. A Formalism for context-aware mobile computing. In Proceedings of 3rd IEEE HeteroPar, Cork, Ireland.

Zimmermann A., Krötzsch M., Euzenat J., Hitzler P.2006. Formalizing ontology alignment and its operations with category theory. In Proceedings of FOIS 2006 in Frontiers in Artificial Intelligence and Applications, Baltimore, MD, USA, 277–288. IOS Press.