CFP last date
20 May 2024
Reseach Article

A Foundational Axiomatic Modeling of the Web

by Massimo Marchiori
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 108 - Number 17
Year of Publication: 2014
Authors: Massimo Marchiori
10.5120/19000-0536

Massimo Marchiori . A Foundational Axiomatic Modeling of the Web. International Journal of Computer Applications. 108, 17 ( December 2014), 1-7. DOI=10.5120/19000-0536

@article{ 10.5120/19000-0536,
author = { Massimo Marchiori },
title = { A Foundational Axiomatic Modeling of the Web },
journal = { International Journal of Computer Applications },
issue_date = { December 2014 },
volume = { 108 },
number = { 17 },
month = { December },
year = { 2014 },
issn = { 0975-8887 },
pages = { 1-7 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume108/number17/19000-0536/ },
doi = { 10.5120/19000-0536 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T22:43:12.070276+05:30
%A Massimo Marchiori
%T A Foundational Axiomatic Modeling of the Web
%J International Journal of Computer Applications
%@ 0975-8887
%V 108
%N 17
%P 1-7
%D 2014
%I Foundation of Computer Science (FCS), NY, USA
Abstract

The 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.

References
  1. Tim Berners-Lee. Universal resource identifiers – axioms of web architecture. http://www. w3. org/DesignIssues/Axioms. html, December 1996.
  2. Tim Berners-Lee, James Hendler, and Ora Lassila. The semantic web. Scientific American, 284(5):34–43, 2001.
  3. Scott Boag, Don Chamberlina, Mary Fernandez, Daniela Florescu, Jonathan Robie, and Jerome Simeon (eds. ). XQuery 1. 0: An XML query language. http://www. w3. org/TR/xquery/, November 2010.
  4. Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Eve Maler, and Francois Yergeau (eds. ). Extensible markup language (XML) 1. 0 (fifth edition). http://www. w3. org/TR/REC-xml/, November 2008.
  5. Lorrie Cranor, Marc Langheinrich, and Massimo Marchiori. A P3P preference exchange language 1. 0 (APPEL1. 0). http://www. w3. org/TR/P3P-preferences, April 2002.
  6. Massimo Marchiori (ed. ). The platform for privacy preferences 1. 0 (P3P1. 0) specification. http://www. w3. org/TR/P3P/, April 2002.
  7. Beppe Grillo. Beppe Grillo's Blog. http://www. beppegrillo. it/, 2014.
  8. Michael Hausenblas, Wolfgang Halb, Yves Raimond, and Tom Heath. What is the size of the semantic web? In Proceedings of I-Semantics (2008), 2008.
  9. Ian Hickson, Robin Berjon, Steve Faulkner, Travis Leithead, Erika Doyle Navara, Edward O'Connor, and Silvia Pfeiffer (eds. ). HTML5 – a vocabulary and associated APIs for HTML and XHTML. http://www. w3. org/TR/html5/, October 2014.
  10. Ian Jacobs and Norman Walsh. Architecture of the World Wide Web, volume one. http://www. w3. org/TR/webarch/, December 2004.
  11. Ora Lassila and Ralph Swick (eds. ). Resource description framework (RDF) model and syntax specification. http://www. w3. org/TR/1999/REC-rdf-syntax-19990222, February 1999.
  12. Massimo Marchiori. The semantic web made easy. http://www. w3. org/RDF/Metalog/docs/sw-easy, 2003.
  13. Massimo Marchiori. How to talk to a human: The semantic web and the clash of the titans. In Proceedings of the 16th international conference on Logic-based program synthesis and transformation, volume 4407 of LNCS, pages 1–14. Springer, 2007.
  14. Ted Nelson. Zig-Zag R Software. http://xanadu. com/zigzag/, 1999.
  15. The World Wide Web Consortium (W3C). Resource description framework (RDF). http://www. w3. org/RDF/, 1997.
Index Terms

Computer Science
Information Sciences

Keywords

Algebraization Axiomatization Formal Models Deduction Inference WWW