Geometry Construction Recognition by the Use of Semantic Graphs
Résumé
Given the large number of dynamic geometry systems (DGS), geometry automated theorem provers (GATP) and repositories of geometric information (constructions and/or conjectures), we face the need of a query mechanism for formal descriptions of geometric constructions. The DGS and GATP describe the geometric constructions using formal languages where the elements and the relations between them are described formally and not in terms of a given geometric model. Given a formal language we need to be able to look for similar construction, sub-constructions or even different construction sharing a common property, e.g., a set of constructions about right angled triangles. Our approach is to transform the geometric construction into a semantic graph representation of the construction, in a given ontology. Graph pattern recognition algorithms can then be used to search for the similarities we need and the results brought back to the geometric setting.
Origine | Fichiers produits par l'(les) auteur(s) |
---|