1,721,072 research outputs found
A Foundational Axiomatic Modeling of the Web
No full textThe Web needs Semantics, let’s give it Semantics. This mantra is at the origin of the Semantic Web effort, which tries to enrich the classic Web with more refined layers of information.
However, despite its good intentions, the Semantic Web didn’t succeed yet, and has remained unexpressed in its potential. In this article we try to analyze the possible reasons, and also the tension that the Semantic Web has with other information approaches, for instance XML or HTML. We emphasize the need for consideration of the more comprehensive social environment, that has instead so far been neglected in the mainstream web reasoning arena. Then, we introduce a new axiomatization of the Web, that can be used as a first foundational base in order to define and reason on information in the Web world
Crudelia de Math e la carica dei 302
No full textLa potenza della matematica non ha limiti, e supera ogni barriera. Cosa mette in relazione Walt Disney con Google? Qual è stato il filo matematico conduttore che ci ha portato dalle prime animazioni, ai colossal degli ultimi anni, fino alle tecnologie più avanzate dei nostri ultimi anni? Un viaggio che parte dagli anni settanta, e che si conclude in un piccolo posto dove, invece della carica dei 101, arriviamo ad un punto focale della nostra storia, in grado di cambiare il mondo: la carica dei 302
Information Evolution And The Future Of The Web
No full textThe Web is an incredible informative media, but its same success has turned it into a two-sided phenomenon. On the one side, it has got plenty of information, a richness of contributions and data that is unprecedented in the history of humanity. On the other side, the sheer size of the information present in the Web make it hard to access and to use at all levels, humans and computer-based. In this paper we present a high level perspective on this two-sided nature of web information, by introducing the general concept of Trust Scenario and see its implications by defining major axes of information, and the corresponding directions they can lead to in the future of the Web
Social search engines
No full textThe web landscape has undergone massive changes in the past years. On the other hand, search engine technology has not quite kept the same pace. In this article we look at the current scenarios, and argue how social flows can be used to make up for a better generation of search engines. We consider how society and technological progress somehow changed the rules of the game, introducing good but also bad components, and see how this situation could be modeled by search engines. Along this line of thinking, we show how the real components of interest are not just web pages, but flows of information of any kind, that need to be merged: this opens up for a wide range of improvements and far-looking developments, towards a new horizon of social search
Meno internet più cabernet. Il grande spettacolo del progresso tra Michelangelo e Google.
No full textChe cosa hanno in comune Google e la barriera del suono, gli asini e i calci di rigore, la Cappella Sistina e il regno di Facebook? Apparentemente nulla, ma cambiando prospettiva, e guardando le cose senza preconcetti, se ne può cogliere l'intimo legame, e scoprire che il mondo in cui viviamo non è poi così scontato. In questo viaggio sorprendente per i sentieri tortuosi del progresso umano, sulle tracce dei pionieri che hanno saputo andare oltre il senso comune, Massimo Marchiori ci accompagna lungo l'evoluzione umana, tecnologica ma anche sociale, e le reciproche relazioni, che trovano la propria sintesi nelle pulsioni dell'uomo. Dall'elefante di Internet all'insolita storia della salamandra, dall'algoritmo della carta igienica alla scoperta della vera "mamma di Google", il libro affronta con leggerezza di tono e profondità di argomenti le contraddizioni del mondo reale e di quello virtuale, e le questioni calde della comunicazione del sapere e del futuro del progresso. Un futuro in cui l'uomo, nonostante tutto, è ancora il protagonista
Accessing Scientific Information on the Web
No full textWe live in a connected world, where information and sociality are readily available via the Web and Internet infrastructure. Nevertheless, a part of this world has not reached the same flexibility of access: the world of scientific information. In this paper we analyze the potential of existing technologies for structuring web information (XML and Semantic Web), and see how much they can deal with the big problems of accessing, merging and reasoning that are proper of the scientific world
How to Talk to a Human: The Semantic Web and the Clash of the Titans
No full textThe Semantic Web has managed to produce an enormous buzzword. However, despite it cannot be considered a new technology anymore, it didn’t fly off yet, and has remained unexpressed in its potentials. In this article we try to analyze the possible reasons, and also the tension that the Semantic Web has with XML. We emphasize the need for consideration of the more comprehensive social environment, together with a more formal modeling of the mechanics of the Web and its information flows
Localizations of Unification Freedom through Matching Directions
No full textIn this paper it is performed a thorough theoretical study of unification free logic programs, that is programs in which unification can be replaced by (iterated) matching. We introduce a global framework to study unication freedom, based on the simple concept of matching direction. Furthermore, we develop some syntactical criterions to ensure a program is unification free. For the first time, also optimality of such criterions is analyzed, using the so-called localization tool, that properly formalizes the concept of clause-by-clause criterion. This allows a very precise analysis: two main classes of programs are defined which are shown to be maximal, and one of them is proved to be the greatest subsuming the previous work on the subject. Moreover, these classes result to exhibit surprising connections with functional programs as well
- …
