Menu:

The Workshop proceedings are available as Vol-434 in CEUR Proceedings.

Description of the Workshop

One of the key challenges in making the static Web and dynamic applications such as Web services more intelligent is to introduce some form of automated reasoning. For example, the Semantic Web promises machine-readable semantics and a machine-processable Web through ontology-based annotation of static data on the Web and Web-based dynamic applications and services. Such annotation facilitates querying and aggregating data sources on the Web in a unified manner, as well as automating discovery, selection and composition of services. Reasoning technologies for services and data on the Web have typically focused on Description Logic (e.g., OWL DL) and Rule-based (RIF, RuleML) approaches and languages. In this workshop we focus on the latter with a particular focus on Logic Programming as a viable candidate paradigm for enabling intelligent and declarative Web applications.

Many workshops and conferences that are dedicated to the Web arena deal mostly with generic topics and bring together people from a variety of research fields with different understandings of the topic. The plethora of these workshops and conferences make it hard to keep track of the various approaches of a particular technology such as Logic Programming in our case. We deliberately take a narrower focus to advance the application of LP as a paradigm for declarative knowledge representation and reasoning to the Web and Web services. Towards this aim we bring together researchers working on applications of LP to (Semantic) Web and Web services, as well as LP-based foundations for Semantic Web and Web service languages. ALPSWS 2008 is the 3rd workshop in its series, still following its original goals:

Topics

Possible topics include (but are not limited to):

Submissions

We invite two forms of submission to this workshop: full papers and short papers. Full papers shall be up to 14 pages length, short papers 6 pages which could include position papers, system descriptions or preliminary work. The workshop content will be made available in separate workshop proceedings. Please use the Springer LNCS format for the papers. Submitted papers will be reviewed by at least two members of the program committee. Papers must be submitted electronically in PDF format. For paper submission we use the EasyChair conference management system: http://www.easychair.org/conferences/?conf=alpsws2008

Important Dates

Deadline for Submissions: August 26, 2008 September 15, 2008
Notification of acceptance: September 26, 2008 October 20, 2008
Camera-ready versions: October 10, 2008 November 3, 2008
Workshop: Friday December 12 2008 (afternoon)
ICLP 2008 Conference: December 9 - 13, 2008

Organizing Committee (alphab.)

Jos de Bruijn, Free University of Bozen-Bolzano, Italy
debruijn@inf.unibz.it

Stijn Heymans, Vienna University of Technology, Austria
heymans@kr.tuwien.ac.at

David Pearce, Universidad Rey Juan Carlos, Spain
davidandrew.pearce@urjc.es

Axel Polleres, DERI, National University of Ireland, Galway
axel.polleres@deri.org

Edna Ruckhaus, Universidad Simon Bolivar Caracas, Venezuela
ruckhaus@ldc.usb.ve

Program Committee

Registration

For accepted submissions, at least one author must register for the workshop in order for the paper to appear in the proceedings and to be scheduled in the workshop program. Please register here.

Accepted Papers

Workshop Schedule

14:00 - 14:10 Opening
14:10 - 14:35 Upgrading Databases to Ontologies. Gisella Bennardo, Giovanni Grasso, Nicola Leone, and Francesco Ricca [slides]
14:35 - 15:00 A Sound and Complete Algorithm for Simple Conceptual Logic Programs. Cristina Feier and Stijn Heymans [slides]
15:00 - 15:25 Combining Logic Programming with Description Logics and Machine Learning for the Semantic Web. Francesca Alessandra Lisi [slides]
15:25 - 15:40 A Preliminary Report on Answering Complex Queries related to Drug Discovery using Answer Set Programming. Olivier Bodenreider, Zeynep Coban, Mahir Doganay, Esra Erdem and Hilal Kosucu
15:40 - 16:00 Coffee Break
16:00 - 16:25 A Semantic Stateless Service Description Language. Piero Bonatti and Luigi Sauro
16:25 - 16:50 Large scale reasoning on the Semantic Web. Balázs Kádár, Peter Szeredi and Gergely Lukácsy
16:50 - 17:15 Reasoning on the Web with Open and Closed Predicates. Gerd Wagner, Adrian Giurca, Ion-Mircea Diaconescu, Grigoris Antoniou and Carlos Damasio
17:15 - 17:25 Closing