Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, and mobile information 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, 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.