The Semantic Web Explained - Gergely Lukácsy

. .

Résumé :
The Semantic Web is a new area of research and development in the field of computer science that aims to make it easier for computers to process the huge amount of information on the web, and indeed other large databases, by enabling them not only to read, but also to understand the information. Based on successful courses taught by the authors, and liberally sprinkled with examples and exercises, this comprehensive textbook describes not only the theoretical issues underlying the Semantic Web, but also algorithms, optimisation ideas and implementation details. The book will therefore be valuable to practitioners as well as students, indeed to anyone who is interested in Internet technology, knowledge engineering or description logics. Supplementary materials available online include the source code of program examples and solutions to selected exercises.

Biographie:
P?ter Szeredi is an Associate Professor at the Budapest University of Technology and Economics (BUTE). In the mid-1970s he authored the first Hungarian Prolog interpreter and led the development of the MProlog system, a pioneering Hungarian software product sold worldwide in the 1980s. His main fields of interest include declarative programming (logic programming, constraint programming, the Prolog language); semantic technologies (Semantic Web, semantic integration); exploiting parallelism and programming languages supporting parallelism; as well as implementation of programming languages. He is the author and co-author of about 90 peer-reviewed publications, including 14 books/book chapters and eight journal publications. In recognition of his pioneering work in the field, he was honoured by the Association of Logic Programming as one of the fifteen Founders of Logic Programming.

Sommaire:
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 algorithm; Part III. Ontologies and the Semantic Web: 8. The Web Ontology Language; References; Index.