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).

[1]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[2]  Luís Moniz Pereira,et al.  Selected papers from the Non-Monotonic Extensions of Logic Programming , 1996 .

[3]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[4]  James Bailey,et al.  Composite event queries for reactivity on the web , 2005, WWW '05.

[5]  François Bry,et al.  SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.

[6]  H. Keisler.  Fundamentals of Model Theory , 1977 .

[7]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[8]  Douglas B. Terry,et al.  Continuous queries over append-only databases , 1992, SIGMOD '92.

[9]  H. Keisler,et al.  Handbook of mathematical logic , 1977 .

[10]  Michael Eckert,et al.  Reactivity on the web: paradigms and applications of the language XChange , 2005, SAC '05.

[11]  Mark E. Stickel,et al.  Automated deduction by theory resolution , 1985, Journal of Automated Reasoning.

[12]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[13]  Massimo Marchiori,et al.  Query + Metadata + Logic = Metalog , 1998, QL.

[14]  Mark E. Stickel.  A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler , 1986, CADE.

[15]  Sandeep Pandey,et al.  Monitoring the dynamic web to respond to continuous queries , 2003, WWW '03.

[16]  Norbert E. Fuchs,et al.  Attempto Controlled English - Not Just Another Logic Specification Language , 1998, LOPSTR.

[17]  Jennifer Widom,et al.  Continuous queries over data streams , 2001, SGMD.

[18]  Serge Abiteboul,et al.  Monitoring XML data on the Web , 2001, SIGMOD '01.

[19]  Tim Furche,et al.  The XML stream query processor SPEX , 2005, 21st International Conference on Data Engineering (ICDE'05).

[20]  Jonathan.  The Syntactic Web Syntax and Semantics on the Web , 2001 .

[21]  Robin Milner,et al.  Fully Abstract Models of Typed lambda-Calculi , 1977, Theor. Comput. Sci..