This highly topical text considers the construction of the next generation of the Web, called the Semantic Web. This will enable computers to automatically consume Web-based information, overcoming the human-centric focus of the Web as it stands at present, and expediting the construction of a whole new class of knowledge-based applications that will intelligently utilize Web content. The text is structured into three main sections on knowledge representation techniques, reasoning with multi-agent systems, and knowledge services. For each of these topics, the text provides an overview of the state-of-the-art techniques and the popular standards that have been defined. Numerous small programming examples are given, which demonstrate how the benefits of the Semantic Web technologies can be realized at the present time. The main theoretical results underlying each of the technologies are presented, and the main problems and research issues which remain are summarized. Based on a course on 'Multi-Agent Systems and the Semantic Web' taught at the University of Edinburgh, this text is ideal for final-year undergraduate and graduate students in Mathematics, Computer Science, Artificial Intelligence, and Logic and researchers interested in Multi-Agent Systems and the Semantic Web.