Reasoning Web

1. Front Matter

   PDF

2. Introduction to Semantic Web Ontology Languages

   • Grigoris Antoniou, Enrico Franconi, Frank van Harmelen

   Pages 1-21

3. Rules and Ontologies in F-Logic

   • Michael Kifer

   Pages 22-34

4. Web and Semantic Web Query Languages: A Survey

   • James Bailey, François Bry, Tim Furche, Sebastian Schaffert

   Pages 35-133

5. Evolution and Reactivity for the Web

   • José Júlio Alferes, Wolfgang May

   Pages 134-172

6. Personalization for the Semantic Web

   • Matteo Baldoni, Cristina Baroglio, Nicola Henze

   Pages 173-212

7. Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines

   • Norbert E. Fuchs, Stefan Höfler, Kaarel Kaljurand, Fabio Rinaldi, Gerold Schneider

   Pages 213-250

8. Rule Modeling and Markup

   • Gerd Wagner

   Pages 251-274

9. Information Extraction for the Semantic Web

   • Robert Baumgartner, Thomas Eiter, Georg Gottlob, Marcus Herzog, Christoph Koch

   Pages 275-289

10. Reuse in Semantic Applications

    • Uwe Aßmann

    Pages 290-304

11. Towards Types for Web Rule Languages

    • Włodzimierz Drabent

    Pages 305-317

12. Back Matter

    PDF

This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). TheSchoolwashostedbythe University of Malta and was organized by the Network of Excellence REWERSE “Reasoning on the Web with Rules and Semantics” (http://rewerse. net), funded by the EU Commission and by the Swiss Federal O?ce for Edu- tion and Science within the 6th Framework Programme under the project ref- ence number 506779. The objective of the school was to provide an introduction into methods and issues of the Semantic Web, a major endeavor in current Web research, where the World Wide Web Consortium W3C plays an important role. The main idea of the Semantic Web is to enrich Web data with meta-data carrying a “meaning” of the data and allowing Web-based systems to reason about data (and meta-data). The meta-data used in Semantic Web applications is usually linked to a conceptualization of the application domain shared by di?erent applications. Such a conceptualization is called an ontology and sp- i?es classes of objects and relations between them. Ontologies are de?ned by ontology languages, based on logic and supporting formal reasoning. Just as the current Web is inherently heterogeneous in data formats and data semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms. - deed, any single form of reasoning turns out to be insu?cient in the Semantic Web.

• Extensible Markup Language (XML)
• F-Logic
• collaborative information systems
• conceptual modeling
• data engineering
• data semantics
• description logics
• information engineering systems
• knowledge management
• knowledge representation
• modeling
• ontology
• ontology-based information integration
• semantic Web langauges
• semantic web

• Institute for Informatics, University of Munich, München, Germany

  Norbert Eisinger

• Department of Computer and Information Science, Linköping University, Linköping, Sweden

  Jan Małuszyński

Policies and ethics