Overview
The advent of the Semantic Web promises machine-readable semantics and a machine-processable next generation of the Web. The first step in this direction is the annotation of static data on the Web with machine-processable information about knowledge and its structure, by means of ontologies. The next step in this direction is the annotation of dynamic applications and services invocable over the Web in order to facilitate automation of discovery, selection and composition of semantically described services and data sources on the Web by intelligent methods, which is called (Semantic) Web Services.
In this workshop we want to advance the applications of Logic Programming as a paradigm for declarative knowledge representation and reasoning for the Web. The idea is to bring together the body of work related to applications of LP to the Web, Semantic Web and Web Services.
The previous workshop ALPSWS2006 was held in Seattle, Washington and co-located with the International Conference on Logic Programming (ICLP2006), part of the Federated Logic Conference (FLOC2006),
Topics
We solicit contributions focusing on both practical applications and theoretical aspects of logic programming based approaches to Web related topics including (but not limited
to):
- Reasoning about Semantic Web languages such as RDF, RDFS, OWL, RuleML, WSML, OWL-S, SA-SWDL, SPARQL, RIF, etc.
- Logic Programming based rule languages for the Semantic Web
- Deductive query answering in a Semantic Web context
- Ontology modeling and mediation using Logic Programming
- Reasoning over large-scale ontologies
- Reasoning with large instance data in the presence of ontologies
- Combinations of Logic Programming and Description Logics
- Modeling of and reasoning about Web Services
- Applications of reasoning about actions and dynamics in the context of Web Services discovery and composition
- Interactions of Logic Programming with other technologies such as agents, constraint programming, etc. in a (Semantic) Web context
- Applications, use cases, experimental results and benchmarks
- Extensions of Logic Programming engines for Semantic Web applications
List of Accepted Papers
- Jan Wielemaker, Michiel Hildebrand and Jacco van Ossenbruggen. Prolog as the fundament for applications on the semantic web
- Hassan Ait-Kaci. Constraint-based Data Models for the Semantic Web
- Axel Polleres and Roman Schindlauer. dlvhex-sparql: A SPARQL compliant query engine based on DLVHEX
- Gergely Lukácsy and Peter Szeredi. Ontology based information integration using Logic Programming
- Edna Ruckhaus, Maria-Esther Vidal and Eduardo Ruiz. OnEQL: An Ontology Efficient Query Language Engine for the Semantic Web
- Heiko Kattenstroth, Wolfgang May and Franz Schenk. Combining OWL with F-Logic Rules and Defaults
- Wlodek Drabent, Jakob Henriksson and Jan Maluszynski. HD-rules: a hybrid system interfacing Prolog with DL-reasoners
- Nuno Lopes, Cláudio Fernandes and Salvador Abreu. Contextual Logic Programming for Ontology Representation and Querying
Program in Detail
- Opening (08:45-09:00)
- Session 1: Query Languages on the Web (09:00-10:30)
- Axel Polleres and Roman Schindlauer. dlvhex-sparql: A SPARQL compliant query engine based on DLVHEX
- Edna Ruckhaus, Maria-Esther Vidal and Eduardo Ruiz. OnEQL: An Ontology Efficient Query Language Engine for the Semantic Web
- Nuno Lopes, Cláudio Fernandes and Salvador Abreu. Contextual Logic Programming for Ontology Representation and Querying
- Session 2: Integrating Ontologies and Rules (11:00-12:30)
- Gergely Lukácsy and Peter Szeredi. Ontology based information integration using Logic Programming
- Heiko Kattenstroth, Wolfgang May and Franz Schenk. Combining OWL with F-Logic Rules and Defaults
- Wlodek Drabent, Jakob Henriksson and Jan Maluszynski. HD-rules: a hybrid system interfacing Prolog with DL-reasoners
- Session 3: Logic Programming on the Semantic Web (14:00-15:00)
- Jan Wielemaker, Michiel Hildebrand and Jacco van Ossenbruggen. Prolog as the fundament for applications on the semantic web Service Interaction
- Hassan Ait-Kaci. Constraint-based Data Models for the Semantic Web
- Invited talk Dr. Enrico Pontelli (15:00-16:00)
"ASP-Prolog as a framework for Rule-base and Knowledge-base Integration"
- Session 4: Open-Space (16:30-18:00)
- Open Space, introduction (16:30-16:45)
- Open Space (16:45-17:30)
Report back (17:30-18:00) - Closing (18:00)
Proceedings
The workshop proceedings are now available, published as CEUR Workshop Proceedings under Vol-287Submission Information
We invite two forms of submission to this workshop: full papers and short papers.
Full papers shall be up to 16 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 either PDF (preferred) or postscript format.
For paper submission we use the EasyChair conference management system:
http://www.easychair.org/ALPSWS2007/
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.
We plan to invite authors of the best papers to submit revised and extended versions of their papers for an edited book on Applications of LP in the Web, Semantic Web and Web
Services.
Important Dates
- 30 June 2007, Submission of papers (extended dealine)
- 30 July 2007, Notification of acceptance (extended)
- 10 August 2007, Camera-ready versions due (extended)
- 13 September 2007, Workshop
Organization
The workshop will be organized in part around talks presenting research results in the intersection of the Web and Semantic Web, and Logic Programming, selected from the accepted submissions. Another important part of the workshop will be to identify next steps and provide an opportunity for new ideas and initiatives. A part of the workshop will be dedicated towards discussion using the open-space methodology which facilitates and enables effective on site agenda building and execution.
Organizing Committee
- Axel Polleres, DERI Galway, National University of Ireland, Galway, Ireland
- David Pearce,
Universidad Rey Juan Carlos, Madrid, Spain
- Stijn Heymans,
DERI,
Leopold-Franzens Universitaet Innsbruck, Austria
- Edna Ruckhaus,
Universidad Simón Bolívar at Caracas,
Venezuela
Program Committee
- Gopal Gupta,
University
of Texas - Program Chair
- Stefan Decker, DERI Galway
- Jos de Bruijn, DERI, Free University of Bolzen-Bolzano, Italy
- Lukacsy Gergely, Budapest University of Technology and Economics
- Giovambattista Ianni, University of Calabria
- Pascal Hitzler, AIFB, University of Karlsruhe
- Zoé Lacroix, University of Arizona
- Enrico Pontelli, New Mexico State University
- Roman Schindlauer, University of Calabria
- Hans Tompits, Vienna University of Technology
- Alejandro Vaisman, University of Toronto
- María Esther
Vidal, Universidad Simón Bolívar
- Gerd Wagner, Brandenburg University of Technology

Universidad
Simón Bolívar
