Today, computers and small devices are creating ubiquitous access to a flood of Web information that is becoming more and more difficult to search, access, and maintain. Creating machine-processable semantics could alleviate these difficulties and open the way for a new burst of growth and utility for the Web. An important question is, At what cost?

Kurt Gödel, Alan Turing, and Tim Berners-Lee have all made important contributions to the development of the Information Revolution we are immersed in today; as a result, the Web is evolving into a resource with intelligent features and capabilities. The Semantic Web promises to make Web content machine understandable, allowing agents and applications to access a variety of heterogeneous resources and to carry out more automated functions without the need for human interaction or interpretation. The languages of the Semantic Web are much richer than HTML and XML. And they represent the meaning, logic, and structure of content.

On the other hand, we have surveyed significant ontology and logic limitations that challenge the development of the Semantic Web. These limitations touch some of the most difficult problems in logic, such as paradox, recursion, trust, undecidability, computational complexity, and machine intelligence.

In this chapter, we discuss the challenges and opportunities facing for the development of the Semantic Web.


Berners-Lee intended the Semantic Web to bring ...

Get Thinking on the Web: Berners-Lee, Gödel and Turing now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.