Geometry Construction Recognition by the Use of Semantic Graphs
Authors
Abstract
Given the large number of dynamic geometry systems (DGS), geometryautomated theorem provers (GATP) and repositories of geometric infor-
mation (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 con-
structions about right angled triangles. Our approach is to transform the
geometric construction into a semantic graph representation of the con-
struction, 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.