Abstract
Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for example, in education. Geometry Automated Theorem Provers (GATP) are an active area of research and are considered as being basic tools in future enhanced educational software as well as in a next generation of mechanized mathematics assistants. Recently emerged Web repositories of geometric knowledge, like TGTP and Intergeo, are an attempt to make the already vast data set of geometric knowledge widely available. Considering the large amount of geometric information already available, we face the need of a query mechanism for descriptions of geometric constructions.
In this paper we discuss two approaches for describing geometric figures (declarative and procedural), and present algorithms for querying geometric figures in declaratively and procedurally described corpora, by using a DGS or a dedicated controlled natural language for queries.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Beazley, D.: Python Lex-Yacc, http://www.dabeaz.com/ply/
Chou, S.C., Gao, X.S.: Automated reasoning in geometry. In: Handbook of Automated Reasoning, pp. 707–749. Elsevier Science Publishers (2001)
Chou, S.C., Gao, X.S., Zhang, J.Z.: A deductive database approach to automated geometry theorem proving and discovering. Journal of Automated Reasoning 25, 219–246 (2000)
DiffeoR: Answer to “Is it possible to reconstruct a triangle from the midpoints of its sides?” (February 20, 2014), http://math.stackexchange.com/a/683496/122762
Fagin, R.: Degrees of acyclicity for hypergraphs and relational database schemes. Journal of the ACM (JACM) 30(3), 514–550 (1983)
Hohenwarter, M., Preiner, J.: Dynamic mathematics with GeoGebra. The Journal of Online Mathematics and Its Applications 7, ID 1448 (2007)
Janičić, P., Quaresma, P.: System description: GCLCprover + GeoThms. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 145–150. Springer, Heidelberg (2006)
Jiang, J., Zhang, J.: A review and prospect of readable machine proofs for geometry theorems. Journal of Systems Science and Complexity 25, 802–820 (2012)
Kortenkamp, U., Dohrmann, C., Kreis, Y., Dording, C., Libbrecht, P., Mercat, C.: Using the Intergeo platform for teaching and research. In: Proceedings of the 9th International Conference on Technology in Mathematics Teaching, ICTMT-9 (2009)
Quaresma, P., Janičić, P., Tomašević, J., Vujošević-Janičić, M., Tošić, D.: XML-Bases Format for Descriptions of Geometric Constructions and Proofs. In: Communicating Mathematics in The Digital Era, pp. 183–197. A. K. Peters, Ltd. (2008)
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)
Quaresma, P.: An XML-format for conjectures in geometry, Aachen. CEUR Workshop Proceedings, vol. 921, pp. 54–65 (2012), http://ceur-ws.org/Vol-921/
Quaresma, P., Haralambous, Y.: Geometry construction recognition by the use of semantic graphs. In: RECPAD 2012: 18th Portuguese Conference on Pattern Recognition, Coimbra, October 26, pp. 47–48 (2012)
Quaresma, P., Santos, V., Bouallegue, S.: The web geometry laboratory project. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS (LNAI), vol. 7961, pp. 364–368. Springer, Heidelberg (2013)
Robinson, I., Webber, J., Eifrem, E.: Graph Databases. O’Reilly (2013)
Santiago, E., Hendriks, M., Kreis, Y., Kortenkamp, U., Marquès, D.: i2g Common File Format Final Version. Tech. Rep. D3.10, The Intergeo Consortium (2010), http://i2geo.net/xwiki/bin/view/I2GFormat/
The Intergeo Consortium: Intergeo implementation table (2012), http://i2geo.net/xwiki/bin/view/I2GFormat/ImplementationsTable
Wikipedia: List of interactive geometry software (February 2014), http://en.wikipedia.org/wiki/List_of_interactive_geometry_software
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Haralambous, Y., Quaresma, P. (2014). Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds) Intelligent Computer Mathematics. CICM 2014. Lecture Notes in Computer Science(), vol 8543. Springer, Cham. https://doi.org/10.1007/978-3-319-08434-3_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-08434-3_22
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08433-6
Online ISBN: 978-3-319-08434-3
eBook Packages: Computer ScienceComputer Science (R0)