OpenGeo: An Open Geometric Knowledge Base

  • Dongming Wang
  • Xiaoyu Chen
  • Wenya An
  • Lei Jiang
  • Dan Song
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8592)

Abstract

OpenGeo is an enhanced version of the geometric knowledge base developed by Chen, Huang, and Wang, which is equipped with web-based interfaces and new management facilities and made open and online. The kernel of the knowledge base consists of typical geometric knowledge objects such as definitions, theorems, and proofs. Several tools have been developed to support users to manage the knowledge objects contained in OpenGeo. Users can create new knowledge objects and add them to OpenGeo.

Keywords

Data management geometry software knowledge object open database 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chen, X., Huang, Y., Wang, D.: On the design and implementation of a geometric knowledge base. In: Sturm, T., Zengler, C. (eds.) ADG 2008. LNCS, vol. 6301, pp. 22–41. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 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) Google Scholar
  3. 3.
    Chen, X., Wang, D.: Management of geometric knowledge in textbooks. Data & Knowledge Engineering 73, 43–57 (2012)CrossRefGoogle Scholar
  4. 4.
    McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C Recommendation, February 10 (2004)Google Scholar
  5. 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)Google Scholar
  6. 6.
    Batini, C., Ceri, S., Navathe, S.B.: Conceptual Database Design: An Entity-Relationship Approach. Benjamin/Cummings (1992)Google Scholar
  7. 7.
    Gerner, J., Owens, M., Naramore, E., Warden, M.: Professional Lamp: Linux, Apache, MySQL and PHP5 Web Development. John Wiley & Sons (2006)Google Scholar
  8. 8.
    Quaresma, P.: Thousands of geometric problems for geometric theorem provers (TGTP). In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) ADG 2010. LNCS (LNAI), vol. 6877, pp. 169–181. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. 9.
    Su, W., Wang, P., Li, L., Li, G., Zhao, Y.: MathEdit, A browser-based visual mathematics expression editor. In: Electronic Proceedings of the 11th Asian Technology Conference in Mathematics, Hong Kong, December 12-16, pp. 271–279. ATCM, Inc. (2006)Google Scholar
  10. 10.
    GeoGebra: http://www.geogebra.org/ (accessed May 18, 2014)
  11. 11.
    GeoText: http://geo.cc4cm.org/text/ (accessed May 18, 2014)
  12. 12.
    GEOTHER: http://www-salsa.lip6.fr/~wang/GEOTHER/ (accessed May 18, 2014)
  13. 13.
    Intergeo: http://i2geo.net/ (accessed May 18, 2014)
  14. 14.
    JSXGraph: http://jsxgraph.uni-bayreuth.de/wp/ (accessed May 18, 2014)

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Dongming Wang
    • 1
    • 2
  • Xiaoyu Chen
    • 2
  • Wenya An
    • 1
  • Lei Jiang
    • 1
  • Dan Song
    • 1
  1. 1.LMIB - School of Mathematics and Systems ScienceBeihang UniversityBeijingChina
  2. 2.SKLSDE - School of Computer Science and EngineeringBeihang UniversityBeijingChina

Personalised recommendations