Principles and Practice of Semantic Web Reasoning

1. Front Matter

   PDF

2. On Subtyping of Tree-Structured Data: A Polynomial Approach

   • François Bry, Włodzimierz Drabent, Jan Małuszyński

   Pages 1-18

3. Towards Generic Query, Update, and Event Languages for the Semantic Web

   • Wolfgang May, José Júlio Alferes, François Bry

   Pages 19-33

4. Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach

   • François Bry, Tim Furche, Paula-Lavinia Pătrânjan, Sebastian Schaffert

   Pages 34-49

5. Rules and Queries with Ontologies: A Unified Logical Framework

   • Enrico Franconi, Sergio Tessaris

   Pages 50-60

6. Semantic Web Reasoning for Ontology-Based Integration of Resources

   • Liviu Badea, Doina Tilivea, Anca Hotaran

   Pages 61-75

7. Static Type-Checking of Datalog with Ontologies

   • Jakob Henriksson, Jan Małuszyński

   Pages 76-89

8. Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming

   • Hongwei Zhu, Stuart E. Madnick, Michael D. Siegel

   Pages 90-101

9. Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages

   • François Bry, Stephanie Spranger

   Pages 102-117

10. Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals

    • Hans Jürgen Ohlbach

    Pages 118-133

11. DR-DEVICE: A Defeasible Logic System for the Semantic Web

    • Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas

    Pages 134-148

12. A PDDL Based Tool for Automatic Web Service Composition

    • Joachim Peer

    Pages 149-163

13. Back Matter

    PDF

The best informal de?nition of the Semantic Web is maybe found in the May 2001Scienti?cAmericanarticle“TheSemanticWeb”(Berners-Leeetal. ),which says“TheSemanticWebisanextensionofthecurrentWebinwhichinformation is given well-de?ned meaning, better enabling computers and people to work in cooperation. ” People who work on the Semantic Web quite often base their work on the famous “semantic web tower”, a product of Tim Berners-Lee’s inspiring drawing on whiteboards. The lowest level is the level of character representation (Unicode) and the identi?cation of resources on the Web (URIs). The highest level concerns the problem of trusting information on the Web. Somewhere in the middle of the tower is the logic level. It addresses the problem of represe- ing information on the Web in a way so that inference rules can derive implicit information from explicitly stated information. The workshop “Principles and Practices of Semantic Web Reasoning” (PPSWR 2004) addressed problems on this level. It took place in September 2004 as a satellite event of the 20th Int- national Conference on Logic Programming (ICLP) in St. Malo, France. After PPSWR 2003 in Mumbai, India, it was the second workshop in this series. This book contains the articles presented at the workshop.

• Extensible Markup Language (XML)
• XML
• XML queries
• formal methods
• knowledge extraction
• knowledge processing
• logic programming
• logic reasoning
• metadata processing
• nonmonotonic reasoning
• ontologies
• ontology
• semantic web
• semantic web reasoning
• web services

• Department of Computer Science, University of Munich, Germany

  Hans Jürgen Ohlbach

• Salzburg Research Forschungsgesellschaft, Knowledge-Based Information Systems, Salzburg, Austria

  Sebastian Schaffert

Policies and ethics