1 research outputs found
Extension du langage de requĂȘtes LISQL pour la reprĂ©sentation et l'exploration d'expressions mathĂ©matiques en RDF
National audienceLes expressions mathĂ©matiques comptent pour une part importante dans les connaissances humaines. Nous en proposons une reprĂ©sentation en RDF afin de pouvoir les intĂ©grer aux autres connaissances dans le Web sĂ©mantique. Nous Ă©tendons ensuite le langage de description et d'interrogation LISQL afin de concilier des reprĂ©sentations non-ambiguĂ«s, des requĂȘtes expressives et des notations naturelles et concises. Par exemple, la requĂȘte \textttint(...?X 2...,?X) permet de trouver les intĂ©grales en~ dont le corps contient la sous-expression~. Tout cela permet d'utiliser Sewelis, un systĂšme d'information logique pour le Web sĂ©mantique, pour la reprĂ©sentation et l'exploration guidĂ©e d'expressions mathĂ©matiques. Ce guidage dispense les utilisateurs de maĂźtriser la syntaxe de LISQL et le vocabulaire tout en leur garantissant des expressions bien formĂ©es et des rĂ©sultats Ă leurs requĂȘtes