Thinking on the Web: Berners-Lee, Gödel and Turing

Thinking on the Web: Berners-Lee, Gödel and Turing

by H. Peter Alesso, Craig F. Smith
Released November 2008
Publisher(s): Wiley-Interscience
ISBN: 9780471768661

Read it now on the O’Reilly learning platform with a 10-day free trial.

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

Start your free trial

Book description

What Is Thinking?

What is Turing's Test? What is Gödel's Undecidability Theorem? How is Berners-Lee's Semantic Web logic going to overcome paradoxes and complexity to produce machine processing on the Web?

Thinking on the Web draws from the contributions of Tim Berners-Lee (What is solvable on the Web?), Kurt Gödel (What is decidable?), and Alan Turing (What is machine intelligence?) to evaluate how much "intelligence" can be projected onto the Web.

The authors offer both abstract and practical perspectives to delineate the opportunities and challenges of a "smarter" Web through a threaded series of vignettes and a thorough review of Semantic Web development.

Table of contents

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Contents
  5. Foreword
  6. Preface
  7. Acknowledgments
  8. Who This Book Is For
  9. The Organization of This Book
  10. Associated Resources
  11. Part I: What Is Web Intelligence?
    1. Chapter 1. Empowering the Information Age
      1. Overview
      2. Thinking and Intelligent Web Applications
      3. The Information Age
      4. The World Wide Web
      5. Limitations of Today’s Web
      6. The Next-Generation Web
      7. Why Intelligent Ubiquitous Devices Improve Productivity
      8. Conclusion
      9. Exercises
      10. Interlude #1: Thinking about Thinking
    2. Chapter 2. Gödel: What Is Decidable?
      1. Overview
      2. Philosophical and Mathematical Logic
      3. Kurt Gödel
      4. Knowledge Representation
      5. Computational Logic
      6. Artificial Intelligence
      7. Web Architecture and Business Logic
      8. The Semantic Web
      9. Conclusion
      10. Exercises
      11. Interlude #2: Truth and Beauty
    3. Chapter 3. Turing: What Is Machine Intelligence?
      1. Overview
      2. What Is Machine Intelligence?
      3. Alan Turing
      4. Turing’s Test and the Loebner Prize
      5. John Searle’s Chinese Room
      6. Artificial Intelligence
      7. Machine Intelligence
      8. Semantic Networks and Frames
      9. Reasoning with Semantic Networks
      10. Computational Complexity
      11. Description Logic (DL)
      12. Ontology
      13. Inference Engines
      14. Software Agents
      15. Adaptive Software
      16. Limitations and Capabilities
      17. Conclusion
      18. Exercises
      19. Interlude #3: Computing Machines
    4. Chapter 4. Berners-Lee: What Is Solvable?
      1. Overview
      2. The World Wide Web
      3. Tim Berners-Lee
      4. The Semantic Web Roadmap
      5. Logic on the Semantic Web
      6. Semantic Web Capabilities and Limitations
      7. Conclusion
      8. Exercises
      9. Interlude #4: Turing’s Test
  12. Part II: Web Ontology and Logic
    1. Chapter 5. Resource Description Framework (RDF)
      1. Overview
      2. HTML Language
      3. XML Language
      4. RDF Language
      5. Basic Elements
      6. RDF Schema
      7. XQuery: XML Query Language
      8. Conclusion
      9. Exercises
      10. Interlude #5: The Chinese Room
    2. Chapter 6. Web Ontology Language (OWL)
      1. Overview
      2. Ontology Language
      3. Ontology Language Requirements
      4. Compatibility of OWL and RDF/RDFS
      5. The OWL Language
      6. Basic Elements
      7. OWL Example: Compute Ontology
      8. Ontology Example: Birthplace
      9. Applying OWL
      10. OWL Capabilities and Limitations
      11. Conclusion
      12. Exercises
      13. Interlude #6: Machines and Brains
    3. Chapter 7. Ontology Engineering
      1. Overview
      2. Ontology Engineering
      3. Constructing Ontology
      4. Ontology Development Tools
      5. Ontology “Spot” Example
      6. Ontology Methods
      7. Ontology Sharing and Merging
      8. Ontology Libraries
      9. Ontology Matching
      10. Ontology Mapping
      11. Ontology Mapping Tools
      12. Conclusion
      13. Exercises
      14. Interlude #7: Machines and Meaning
    4. Chapter 8. Logic, Rules, and Inference
      1. Overview
      2. Logic and Inference
      3. Monotonic and Nonmonotonic Rules
      4. Description Logic
      5. Inference Engines
      6. RDF Inference Engine
      7. Conclusion
      8. Exercises
      9. Interlude #8: Machines and Rules
    5. Chapter 9. Semantic Web Rule Language (SWRL)
      1. Overview
      2. Rule Systems
      3. Rule Languages
      4. Semantic Web Rule Language (SWRL)
      5. Conclusion
      6. Exercise
      7. Interlude #9: Machines and Language
    6. Chapter 10. Semantic Web Applications
      1. Overview
      2. Semantic Web Applications
      3. Semantic Web Services
      4. Semantic Search
      5. e-Learning
      6. Semantic Bioinformatics
      7. Enterprise Application Integration
      8. Knowledge Base
      9. Conclusion
      10. Exercise
      11. Interlude #10: Distributed Intelligence
    7. Chapter 11. Web Ontology Language for Services (OWL-S)
      1. Overview
      2. XML-Based Web Services
      3. Next-Generation Web Services
      4. Creating an OWL-S Ontology for Web Services
      5. Conclusion
      6. Exercises
      7. Interlude #11: The Semantic Web
    8. Chapter 12. Semantic Search Technology
      1. Overview
      2. Search Engines
      3. Semantic Search
      4. Semantic Search Technology
      5. Web Search Agents
      6. Semantic Methods
      7. Latent Semantic Index Search
      8. TAP
      9. Swoogle
      10. Conclusion
      11. Exercises
      12. Interlude #12: The Halting Problem
    9. Chapter 13. Semantic Patterns and Adaptive Software
      1. Overview
      2. Patterns in Software Design
      3. Pattern Frame
      4. Semantic Patterns
      5. Self-Organizing and Adaptive Software
      6. Conclusion
      7. Exercise
      8. Interlude # 13: The Semantic Web and Rules
    10. Chapter 14. Semantic Tools
      1. Overview
      2. Semantic Tools
      3. Semantic Web Services Tools
      4. Conclusion
      5. Exercise
      6. Interlude #14: The Semantic Web and Language
    11. Chapter 15. Challenges and Opportunities
      1. Overview
      2. Semantic Doubts
      3. Semantic Opportunities
      4. Challenges
      5. Balancing Proprietary and Open Standards
      6. Conclusion
      7. Interlude #15: The Semantic Web and Zeno’s Paradox
  13. Bibliography
  14. Glossary
  15. Acronyms
  16. Index

Product information

  • Title: Thinking on the Web: Berners-Lee, Gödel and Turing
  • Author(s): H. Peter Alesso, Craig F. Smith
  • Release date: November 2008
  • Publisher(s): Wiley-Interscience
  • ISBN: 9780471768661