Reasoning on the semantic web: beyond ontology languages and reasoners

This article discusses forms of reasoning (beyond ontology reasoning), and reasoning languages (beyond ontology languages), that are needed for a full deployment of the Semantic Web. We first outline a motivating application scenario, then discuss the logic languages needed on the Semantic Web and related issues. The views reported about in this article underly and have been developed within the EU research project REWERSE (REasoning on the WEb with Rules and SEmantics, cf. http://rewerse.net).