Article contents
Introduction to the Special Issue on Logic Programming and the Web
Published online by Cambridge University Press: 01 May 2008
Extract
The World Wide Web is nowadays the most famous and widespread information system. Its success is witnessed by its enormous size and rate of growth: however, the same success of the Web has brought to a situation where more sophisticated techniques are urgently needed to properly handle this mass of information. In this sense, the more ambitious plan for an evolution of a Web is the so called Semantic Web, envisioned by the inventor of the Web itself, Tim Berners-Lee. In this architectural vision, there is the need for further layers of semantics, properly enriching the data that now overflow the classic Web: ontologies, rules, logic, proofs, trust are all ingredients of this ambitious picture. Given these premises, it should not come as a surprise the fact that this evolution is bringing the Web closer and closer to another field, that since quite some time has been facing similar problems of logical organization of knowledge: logic programming. Early examples, like the Metalog system in the World Wide Web Consortium (W3C), had shown that connecting logic programming and the Semantic Web was quite a natural and fruitful step: and in fact, the burst of research in Semantic Web developments has eventually started to touch, connect and reinterprete many topics that were and are mainstream of the logic programming area. We feel this is a necessary progression, as the Semantic Web, and more generally the Web of the future, has a lot to learn from research in the logic programming area. And, conversely, in these new scenarios there are lot of new applied problems that can be challenging and rewarding from a logic programming perspective. This calls for a tighter interaction between the Web and logic programming, which was the reason to motivate this special issue as well: gathering together a selection of the best contributions that could showcase the potential of the cross-breeding.
- Type
- Introduction
- Information
- Copyright
- Copyright © Cambridge University Press 2008
- 1
- Cited by