Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices

Résumé

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 mechanised 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 three approaches for describing geometric figures (declarative, procedural, analytic), and present algorithms for querying geometric figures in either declaratively or analytically described corpora, by using a DGS or a dedicated controlled natural language for queries.

Dates et versions

hal-01185088 , version 1 (19-08-2015)

Identifiants

Citer

Yannis Haralambous, Pedro Quaresma. Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. CICM 2014: Conferences on Intelligent Computer Mathematics, Jul 2014, Coimbra, Portugal. pp.298-311, ⟨10.1007/978-3-319-08434-3_22⟩. ⟨hal-01185088⟩
84 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More