SQUALL: a High-Level Language for Querying and Updating the Semantic Web
Résumé
Languages play a central role in the Semantic Web. An important aspect regarding their design is syntax as it plays a crucial role in the wide acceptance of the Semantic Web approach. Like for programming languages, an evolution can be observed from low-level to high-level designs. High-level languages not only allow more people to contribute by abstracting from the details, but also makes experienced people more productive, and makes the produced documents easier to share and maintain. We introduce SQUALL, a high-level language for querying and updating semantic data. It has a strong adequacy with RDF, an expressiveness very similar to SPARQL 1.1, and a controlled natural language syntax that completely abstracts from low-level notions such as bindings and relational algebra. We first give an informal presentation of SQUALL through examples, comparing it with SPARQL. We then formally define the syntax and semantics of SQUALL as a Montague grammar, and its translation to SPARQL.
Les langages jouent un rôle central dans le Web sémantique. Un aspect important de leur conception est la syntaxe car elle joue un rôle crucial pour l'acceptation large du Web sémantique. Comme pour les langages de programmation, on peut observer une évolution des langages de bas-niveau vers des langages de haut-niveau. Les langages de haut-niveau ne permettent pas seulement à plus de personnes de contribuer en s'abstrayant de nombreux détails, mais rendent aussi les utilisateurs avancés plus productifs, et rendent les documents produits plus facile à partager et maintenir. Nous proposons SQUALL, un langage de haut-niveau pour interroger et mettre à jour des données sémantiques. Il a une forte adéquation avec RDF, une expressivité très similaire à SPARQL 1.1 et une syntaxe de type langage naturel contrôlé qui s'abstrait complètement des notions de bas-niveau tels que les substitutions ou l'algèbre relationnelle. Nous donnons tout d'abord une présentation informelle de SQUALL à travers des exemples, en comparaison avec SPARQL. Nous définissons ensuite formellement la syntaxe et la sémantique de SQUALL par une grammaire de Montague, ainsi que sa traduction en SPARQL.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...