Skip to main content
SpringerLink
Log in

Principles and Practice of Semantic Web Reasoning

Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Hans Jürgen Ohlbach

    1. Department of Computer Science, University of Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sebastian Schaffert

    1. Salzburg Research Forschungsgesellschaft, Knowledge-Based Information Systems, Salzburg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3208)

Included in the following conference series:

Conference proceedings info: PPSWR 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Principles and Practice of Semantic Web Reasoning

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of Munich, Germany

    Hans Jürgen Ohlbach

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

    Sebastian Schaffert

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation