| Vol-196 © 2006 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

# ALPSWS 2006
Applications of Logic Programming in the Semantic Web and Semantic Web Services

### Proceedings of the ICLP'06 Workshop Workshop on
Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006)
http://events.deri.at/alpsws2006/
Seattle, WA, August 16, 2006.

Edited by

### Axel Polleres, Universidad Rey Juan Carlos, Madrid
Stefan Decker, DERI, National University of Ireland, Galway
Gopal Gupta, University of Texas at Dallas
Jos de Bruijn, DERI, Leopold-Franzens Universitaet Innsbruck

Proceedings in one PDF file.

## Table of Contents

- Full Papers
  - LP and the Semantic Web:
    1. Forgetting in Managing Rules and Ontologies
       Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits and Kewen Wang.
    2. Query Evaluation and Optimization in the Semantic Web
       Edna Ruckhaus, Maria-Esther Vidal and Eduardo Ruiz.
    3. dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics
       Thomas Eiter, Giovambattista Ianni, Roman Schindlauer and Hans Tompits.
    4. G-Hybrid Knowledge Bases
       Stijn Heymans, Livia Predoiu, Cristina Feier, Jos de Bruijn and Davy van Nieuwenborgh.
  - LP and Semantic Web Services
    5. Intelligent Agents that Reason about Web Services: A Logic Programming Approach
       Viviana Mascardi and Giovanni Casella.
    6. Efficient Web Service Discovery and Composition using Constraint Logic Programming
       Srividya Kona, Ajay Bansal, Gopal Gupta and Thomas Hite.
    7. Policy-based Reasoning for Smart Web Service Interaction
       Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali and Paolo Torroni.
- Poster Abstracts
  1. Towards Automated Web Service Composition with the Abductive Event Calculus
     Onur Aydin, Nihan Kesim Cicekli, Ilyas Cicekli
  2. Modeling, verifying and reasoning about web services
     Alberto Martelli
  3. A RuleML Syntax for Answer-Set Programming
     Thomas Eiter, Giovambattista Ianni, Roman Schind lauer, Hans Tompits
  4. Prolog Execution Engines for Description Logic Reasoners
     Gergely Lukacsy, Zsolt Nagy, Peter Szeredi
  5. Applying Prolog to Semantic Web Ontologies and Rules: Moving Toward Description Logic Programs
     Ken Samuel, Leo Obrst, Suzette Stoutenberg, Karen Fox, Paul Franklin, Adrian Johnson, Ken Laskey, Deborah Nichols, Steve Lopez, Jason Peterson

submitted by A. Polleres, 28-Aug-2006
published on CEUR-WS.org, 28-Aug-2006