Types for Web Rule Languages: a preliminary study

Abstract : We survey and analyse the relevant existing work on typing of rules, in particular on typing of constraint logic programs and discuss applicability of these approaches to the rewerse reasoning and query languages under development by WG I1 and by WG I4. This is related to WG I1, developing logic programming like languages for reasoning on the web and with WG I4 investigating development of declarative query languages such as XPathLog and Xcerpt.
Type de document :
Rapport
[Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099859
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:53:10
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:02:18

Fichiers

Identifiants

  • HAL Id : inria-00099859, version 1

Collections

Citation

Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for Web Rule Languages: a preliminary study. [Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p. 〈inria-00099859〉

Partager

Métriques

Consultations de la notice

237

Téléchargements de fichiers

109