Reasoning on the Web is gaining in importance because of emerging Web applications such as context-adaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, and mobile infor-mation systems), Web service retrieval and composition, and Semantic Web applications of all kinds. A central issue is combining automated reasoning methods with Web languages, especially with Web query,
... [Show full abstract] schema, and update languages. This article reports on prototypes of various kinds combining different forms of reasoning with Web languages. The languages presented here have been conceived for both, conventional Web and Semantic Web data, assuming that future Web applications will require to freely combine data of both kinds.