Abstract
“The Semantic Web is specifically a web of machine-readable information whose meaning is well-defined by standards” (Tim Berners-Lee in the foreword of the book “Spinning the Web”). This is a very simplified definition of the Semantic Web. The crucial part is the last word “standards”. Since machine readable information in the web can be almost anything, the standards must also be about almost anything. Taken to the extreme, it requires a standardised model of the whole world, physical as well as conceptual, against which the information is interpreted. The world model must contain concrete data, for example the location of my office in Munich, as well as abstract relationships, for example, that an office is a room.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ohlbach, H.J. (2005). Automated Reasoning in the Context of the Semantic Web. In: Beckert, B. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2005. Lecture Notes in Computer Science(), vol 3702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11554554_3
Download citation
DOI: https://doi.org/10.1007/11554554_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28931-9
Online ISBN: 978-3-540-31822-4
eBook Packages: Computer ScienceComputer Science (R0)