Geometry Construction Recognition by the Use of Semantic Graphs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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.
Fichier principal
Vignette du fichier
recpad2012.pdf (77.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00959947 , version 1 (13-12-2022)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

  • HAL Id : hal-00959947 , version 1

Citer

Pedro Quaresma, Yannis Haralambous. Geometry Construction Recognition by the Use of Semantic Graphs. RECPAD 2012: 18th Portuguese Conference on Pattern Recognition, Oct 2012, Coimbra, Portugal. pp.47-48. ⟨hal-00959947⟩
83 Consultations
13 Téléchargements

Partager

Gmail Facebook X LinkedIn More