Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

François Bry, Włodzimierz Drabent (auth.), Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)3540229612, 9783540229612, 9783540301226

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.

---

Table of contents :
Front Matter….Pages –
On Subtyping of Tree-Structured Data: A Polynomial Approach….Pages 1-18
Towards Generic Query, Update, and Event Languages for the Semantic Web….Pages 19-33
Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach….Pages 34-49
Rules and Queries with Ontologies: A Unified Logical Framework….Pages 50-60
Semantic Web Reasoning for Ontology-Based Integration of Resources….Pages 61-75
Static Type-Checking of Datalog with Ontologies….Pages 76-89
Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming….Pages 90-101
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages….Pages 102-117
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals….Pages 118-133
DR-DEVICE: A Defeasible Logic System for the Semantic Web….Pages 134-148
A PDDL Based Tool for Automatic Web Service Composition….Pages 149-163
Back Matter….Pages –