Automated Reasoning on the Web

Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for this evolution. Then, it presents research issues currently investigated towards automated reasoning on the Web and it introduces into selected applications demonstrating the practical impact of the approach. Finally, it introduces a research endeavor called REWERSE (cf. http://rewerse.net) recently launched by the authors of this article which is concerned with developing automated reasoning methods and tools for the Web as well as demonstrator applications. “For the semantic web to function, computers must have access to [...] sets of inference rules that they can use to conduct automated reasoning.” Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web, Scientific American, May 2001

[1]  A. Kobsa.  User Modelin and User-Adapted Interaction , 2005, User Modeling and User-Adapted Interaction.

[2]  Benjamin N. Grosof.  Representing e-commerce rules via situated courteous logic programs in RuleML , 2004, Electron. Commer. Res. Appl..

[3]  Norbert E. Fuchs,et al.  Reasoning in Attempto Controlled English , 2003, PPSWR.

[4]  François Bry,et al.  A Visual Language for Web Querying and Reasoning , 2003, PPSWR.

[5]  François Bry,et al.  On Reasoning on Time and Location on the Web , 2003, PPSWR.

[6]  Uwe Aßmann,et al.  Composing Frameworks and Components for Families of Semantic Web Applications , 2003, PPSWR.

[7]  Wolfgang May.  XPath-logic and XPathLog: A logic-programming style XML data manipulation language , 2003, Theory and Practice of Logic Programming.

[8]  Alberto Martelli,et al.  Reasoning about Self and Others: Communicating Agents in a Model Action Logic , 2003, ICTCS.

[9]  François Bry,et al.  Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data , 2003, VLDB.

[10]  Gunter Saake,et al.  Logics for Emerging Applications of Databases , 2003, Springer Berlin Heidelberg.

[11]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[12]  Uwe Aßmann,et al.  Invasive Software Composition , 2003, Springer Berlin Heidelberg.

[13]  François Fages,et al.  Symbolic Model Checking of Biochemical Networks , 2003, CMSB.

[14]  Liviu Badea,et al.  Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional Genomics , 2003, CMSB.

[15]  Patrick Lambrix,et al.  Evaluation of Ontology Merging Tools in Bioinformatics , 2002, Pacific Symposium on Biocomputing.

[16]  Liviu Badea.  Functional Discrimination of Gene Expression Patterns in Terms of the Gene Ontology , 2002, Pacific Symposium on Biocomputing.

[17]  François Bry,et al.  Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification , 2002, ICLP.

[18]  Pedro Barahona,et al.  PSICO: Solving Protein Structures with Constraint Programming and Optimization , 2002, Constraints.

[19]  Wolfgang May,et al.  LoPiX: A System for XML Data Integration and Manipulation , 2001, VLDB.

[20]  Hans Tompits,et al.  A Framework for Declarative Update Specifications in Logic Programs , 2001, IJCAI.

[21]  Rolf Apweiler,et al.  A collection of well characterised integral membrane proteins , 2000, Bioinform..

[22]  Michael Schroeder,et al.  FURY: fuzzy unification and resolution based on edit distance , 2000, Proceedings IEEE International Symposium on Bio-Informatics and Biomedical Engineering.

[23]  L. Krippahl,et al.  BiGGER: A new (soft) docking algorithm for predicting protein interactions , 2000, Proteins.

[24]  José Júlio Alferes,et al.  LUPSA language for updating logic programs , 1999, Artif. Intell..

[25]  Rolf Backofen,et al.  Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets , 1999, Bioinform..

[26]  Ulf Leser,et al.  EDITtoTrEMBL: A distributed approach to high-quality automated protein sequence annotation , 1999, German Conference on Bioinformatics.

[27]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[28]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[29]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[30]  Jack L. Hursch,et al.  SQL, the structured query language , 1991 .

[31]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

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

[33]  Peer Kröger,et al.  A Computational Biology Database Digest: Data, Data Analysis, and Data Management , 2004, Distributed and Parallel Databases.

[34]  Nicola Henze,et al.  Logically Characterizing Adaptive Educational Hypermedia Systems , 2003 .

[35]  Patrick Lambrix,et al.  Towards Transparent Access to Multiple Biological Databanks , 2003, APBC.

[36]  Sheila A. McIlraith,et al.  Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web , 2003 .

[37]  Ur Informatik,et al.  A Gentle Introduction into Xcerpt, a Rule-Based Query and Transformation Language for XML , 2002 .

[38]  Wlodzimierz Drabent,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Using Parametric Set Constraints for Locating Errors in Clp Programs , 2002 .

[39]  Ira R. Forman,et al.  Putting metaclasses to work: a new dimension in object-oriented programming , 1999 .

[40]  Hubert Comon,et al.  Tree automata techniques and applications , 1997 .

[41]  Alon Y. Halevy,et al.  CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.

[42]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[43]  # 2001 Kluwer Academic Publishers. Printed in the Netherlands. Adaptive Hypermedia , 2022 .

[44]  D. Nardi,et al.  Dwq : Esprit Long Term Research Project, No 22469 Al-log: Integrating Datalog and Description Logics , 2022 .