Survey για web intelligence.

Abstract

Το World wide web (ή αλλιώς Παγκόσμιος Ιστός , που είναι το δίκτυο των συνδεδεμένων υπολογιστών και δικτύων σε παγκόσμια κλίμακα), είναι το πιο διαδεδομένο πληροφοριακό σύστημα. Παρά την αποδεδειγμένα ισχύουσα επιτυχία του, υπάρχει μία τόσο μεγάλη και δύσχρηστη μάζα πληροφοριών, την οποία καλείται να διαχειριστεί το Semantic Web, (ή αλλιώς Σημασιολογικός Ιστός). Η λογική πίσω από το Σημασιολογικό Ιστό, είναι ότι η δημοσιευμένη πληροφορία θα περιέχει μετα-δεδομένα, τα οποία θα είναι κοινά για όλους, θα μπορούν να «κατανοούνται» και από μηχανές, οι οποίες θα βοηθήσουν στην καλύτερη συλλογή και επεξεργασία τους. Μέσω αυτής της εξέλιξης ένα άλλο πεδίο, ο Λογικός Προγραμματισμός, θα έρθει πιο κοντά με τον Παγκόσμιο Ιστό, πράγμα πολύ χρήσιμο, καθώς ο πρώτος έχει πολλά ωφέλη από μία τέτοια εξέλιξη. Επίσης θα υπάρξη πάρα πολύ μεγάλη αλληλεπίδραση μεταξύ των δύο αυτών εννοιών, στην πράξη και θα δώσει και στα δύο αυτά πεδία πολλές νέες δυνατότητες. Αυτό το ειδικό θέμα παρουσιάστηκε σε paper, με την ονομασία “Ν3Logic: A Logic For The Web” (N3Logic: Μία λογική για τον Ιστό) ,του Tim Berners-Lee. Σύμφωνα με αυτό προεκτείνεται το layer του Σημασιολογικού Ιστού με κάποιες βασικές λειτουργίες. Επίσης παρουσιάζεται ένα εναλλακτικό «μονοπάτι», του οποίου η παρουσίαση ονομάζεται “Building Rules on top of Ontologies for the Semantic Web with Inductive Programming” (Χτίζοντας κανόνες στην κορυφή των Οντολογιών για τον Σημασιολογικό Ιστό με επαγωγικό Προγραμματισμό), της Francesca Lisi. Εκεί τοποθετούνται κανόνες μάθησης, στην κορυφή των οντολογιών και ο επαγωγικός προγραμματισμός, γίνεται ιδανικός και εμπλουτίζει τον Παγκόσμιο Ιστό. Συνεχίζοντας, το ειδικό θέμα μεταβαίνει στο paper “Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs” (Μεταφράζοντας την OWL και τους κανόνες του Σημασιολογικού Ιστού σε Prolog: Κινούμενοι προς λογικά προγράμματα περιγραφής). O Ken Samuel, αναλύει το πρόβλημα του reasoning στον Σημασιολογικό Ιστό και χρησιμοποιεί την Prolog σαν βάση για την εξυγείανση του. Στο επόμενο paper, “Querying XML, Documents in Logic Programming” (Κάνοντας ουρές στην XML, Ντοκουμέντα σε Λογικό Προγραμματισμό) παρουσιάζεται κάτι διαφορετικό. Ο Jesus Almendros Jimenez, διατυπώνει πώς ο Σημασιολογικός Ιστός αλλά και η XML, μπορούν να έχουν σαν υπόβαθρο το Λογικό Προγραμματισμό. Για να αποφευχθεί το γεγονός, όλα αυτά να είναι απλά θεωρητικά, παρουσιάζεται το επόμενο paper, “SWI-Prolog and the Web” (SWI-Prolog και Ιστός) , ο Jan Wielemaker, παρουσιάζει την πιθανή εξέλιξη της Prolog, σε γλώσσα Web Programming. Τέλος, το ειδικό θέμα, κλείνει με τις δύο καλύτερες συνεισφορές της ALPSWS. Η πρώτη παρουσίαση είναι ένα paper με θέμα “Query Evaluation and Optimization in the Semantic Web” (Αξιολόγηση Ουρών και βελτιστοποίηση στον Σημασιολογικό Ιστό). H Edna Ruckhaus παρουσιάζει το σενάριο της Deductive Ontology Base και αναλύει το πώς ο σημασιολογικός Ιστός μπορεί να υποστηριχθεί με αυτόν τον τρόπο. Τελειώνοντας, παρουσιάζεται το paper “Guarded Hybrid Knowledge Bases” (Φυλαγμένες βάσεις υβριδικών γνώσεων), ο Stijn Heymans, παρουσιάζει ένα παράδειγμα reasoning, που ενώνει την παραδειγματική λογική με το λογικό προγραμματισμό.

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. 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. 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.It begins with a paper called "N3Logic: A Logic for the Web". In this paper a new system is proposed to deal with logical rules in the Web. The special issue then proceeds with the paper "Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs": here we bring to higher levels the translational approach of the Metalog project that also uses, and analyzes the problem of reasoning in the semantic web as a domain translation, using Prolog as the back-engine, therefore interestingly exploring how much of the Semantic Web can be reconciled within a pure logic programming framework. A translational approach is also taken by "Querying XML Documents in Logic Programming", although the spirit here is different. This, shows us that logic programming as a back-engine can be useful not only for the Semantic Web, but even for the world wide Web. The fundamental importance of logic programming in the translational picture depicted by the above papers would be only theoretical, without a Prolog system to actually rely upon. In the following paper "SWl-Prolog and the Web”, describing one of the most successful systems ever designed in this context, namely SWl-Prolog, and show us how Prolog itself can gracefully evolve to a web programming language, by appropriate extensions that link its inference power to the external Web environment. It ends with two contributions that have been selected as the best ones of the ALPSWS (Applications of Logic Programming in the Semantic Web and Semantic Web Services) International Workshop. In "Query Evaluation and Optimization in the Semantic Web”, we study how efficiently Web ontologies can be queried, and introduce the new concept of a Deductive Ontology Base, showing how part of the Semantic Web can be effectively implemented this way. Later, in "Guarded Hybrid Knowledge Bases", we introduce a new reasoning paradigm that nicely cross-breeds between description logics and logic programm ing, therefore trying to reconcile these two so far different approaches for web reasoning.