Types for Web Rule Languages: a preliminary study - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport (Rapport Contrat/Projet) Année : 2004

Types for Web Rule Languages: a preliminary study

Résumé

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.
Fichier principal
Vignette du fichier
A04-R-560.pdf (1.46 Mo) Télécharger le fichier

Dates et versions

inria-00099859 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099859 , version 1

Citer

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⟩
149 Consultations
133 Téléchargements

Partager

Gmail Facebook X LinkedIn More