1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P.F. Patel-Schneider (Eds.), The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2002.
2. Number restrictions on complex roles in description logics: a preliminary report;Baader,1996
3. Resolution Theorem Proving;Bachmair,2001
4. The undecidability of the dominoe problem;Berger;Mem. Am. Math. Soc.,1966
5. T. Berners-Lee, Semantic web roadmap, 1998, Available at http://www.w3.org/DesignIssues/Semantic.