The Semantic Web Explained: The Technology And Mathematics Behind Web 3.0 [Paperback]

Describes the underlying theory as well as algorithms, optimisation ideas and implementation details. Includes numerous examples and exercises.A textbook based on successful courses taught by the authors. They describe not only the theoretical issues underlying the semantic web, but also practical matters making it valuable for students and practitioners. Supplementary web-based materials include the source code of program examples, and the syntactic description of various languages.A textbook based on successful courses taught by the authors. They describe not only the theoretical issues underlying the semantic web, but also practical matters making it valuable for students and practitioners. Supplementary web-based materials include the source code of program examples, and the syntactic description of various languages.The Semantic Web is a new area of research and development in the field of computer science, which aims to make it easier for computers to process the huge amount of information on the Web, and indeed other large databases, by enabling computers not only to read, but also understand the information. This book is intended to be a textbook about the Semantic Web and related topics, and is based on successful courses taught by the authors. They describe not only the theoretical issues underlying the semantic web, but also practical matters (such as algorithms, optimisation ideas and implementation details) and this aspect will make the book valuable as well to practitioners. Supplementary materials available via the web include include source the code of program examples, and the syntactic description of various languages.Introduction; Part I. The Semantic Web: 1. The World Wide Web today; 2. The Semantic Web and the RDF language; 3. Managing and querying RDF sources; Part II. Ontologies and Logics: 4. Description logics; 5. Reasoning on simple description logics; 6. Implementing a simple description logic reasoning engine; 7. The SHIQ tableau algorithlÃÉ