1. Lecture Notes in Computer Science;X. Chen,2011
2. Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Submitted to Geometric Reasoning — Special issue of Annals of Mathematics and Articial Intelligence (with the editor after minor revisions). Available at arXiv:1406.1638 (2014)
3. Chen, X., Wang, D.: Management of geometric knowledge in textbooks. Data & Knowledge Engineering 73, 43–57 (2012)
4. McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C Recommendation, February 10 (2004)
5. Gennari, J.H., Musen, M.A., Fergerson, R.W., Grosso, W.E., Crubézy, M., Eriksson, H., Noy, N.F., Tu, S.W.: The evolution of Protégé: an environment for knowledge-based systems development. International Journal of Human-Computer Studies 58(1), 89–123 (2003)