Skip to Main content Skip to Navigation
New interface
Reports (Contract/project report)

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.
Document type :
Reports (Contract/project report)
Complete list of metadata
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:53:10 AM
Last modification on : Thursday, October 27, 2022 - 4:03:05 AM
Long-term archiving on: : Friday, November 25, 2016 - 12:02:18 PM


  • HAL Id : inria-00099859, version 1


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⟩



Record views


Files downloads