1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Pater-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
2. Barr, M.: The Chu construction. Theory and Applications of Categories 2(2), 17–35 (1996)
3. Barwise, J., Seligman, J.: Information Flow. Cambridge University Press, Cambridge (1997)
4. Lecture Notes in Computer Science;T. Bench-Capon,1999
5. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)