1. The Description Logic Handbook,2003
2. T. Berners-Lee, J. Hendler, O. Lassila, The Semantic Web, Scientific American, May 2001.
3. Mathematical Logic, Part I;Cori,2000
4. Mathematical Logic, Part II;Cori,2001
5. Computers and Intractability: A Guide to the Theory of NP-Completeness;Garey,1979