Ian Horrocks

Readers will learn how to design, implement, and test high quality user interface software, rapidly, while using it with any Graphic User Interface (GUI) development tool. This book allows developers to work at the design level and never have to drop down the code.

Constructing the User Interface with Statecharts

Franz Baader

Uli Sattler

Carsten Lutz

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL.

An Introduction to Description Logic

Jeff Z. Pan

Thomas Eiter

Diego Calvanese

Michael Kifer

Fangzhen Lin

Yuting Zhao

This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016. In 2016, the theme of the school was “Logical Foundation of Knowledge Graph Construction and Query Answering”. The notion of knowledge graph has become popular since Google started to use it to improve its search engine in 2012. Inspired by the success of Google, knowledge graphs are gaining momentum in the World Wide Web arena. Recent years have witnessed increasing industrial take-ups by other Internet giants, including Facebook's Open Graph and Microsoft's Satori. The aim of the lecture note is to provide a logical foundation for constructing and querying knowledge graphs. Our journey starts from the introduction of Knowledge Graph as well as its history, and the construction of knowledge graphs by considering both explicit and implicit author intentions. The book will then cover various topics, including how to revise and reuse ontologies (schema of knowledge graphs) in a safe way, how to combine navigational queries with basic pattern matching queries for knowledge graph, how to setup a environment to do experiments on knowledge graphs, how to deal with inconsistencies and fuzziness in ontologies and knowledge graphs, and how to combine machine learning and machine reasoning for knowledge graphs.

12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

Introduction to Description Logic

Riichiro Mizoguchi

Zhe Wu

Juanzi Li

Huajun Chen

Zhaohui Wu

Hong-Gee Kim

This book constitutes the refereed post-proceedings of the Joint International Semantic Technology Conference, JIST 2011, held in Hangzhou, China, in December 2011. This conference is a joint event for regional semantic Web related conferences. JIST 2011 brings together the Asian Semantic Web Conference 2011 and the Chinese Semantic Web Conference 2011. The 21 revised full papers presented together with 12 short papers were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in disciplines related to semantic technology including applications of the semantic Web, management of semantic Web data, ontology and reasoning, social semantic Web, and user interfaces to the semantic Web.

Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings

The Semantic Web

James Hendler

This book constitutes the refereed proceedings of the First International Semantic Web Conference, ISWC 2002, held in Sardinia, Italy, in June 2002. The 27 revised full research papers, 6 position papers, and 7 system descriptions presented were carefully reviewed and selected from a total of 133 submissions. All current issues in this exciting new field are addressed, ranging from theoretical aspects to applications in various fields.

First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings

The Semantic Web - ISWC 2002

Manolis Koubarakis

Georg Lausen

Giorgos Stamou

Giorgos Stoilos

Phokion Kolaitis

Gerhard Weikum

This volume contains the lecture notes of the 10th Reasoning Web Summer School 2014, held in Athens, Greece, in September 2014. In 2014, the lecture program of the Reasoning Web introduces students to recent advances in big data aspects of semantic web and linked data, and the fundamentals of reasoning techniques that can be used to tackle big data applications.

10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Reasoning Web. Reasoning and the Web in the Big Data Era

Pascal Hitzler

Lei Zhang

Peter F. Patel-Schneider

Yue Pan

Peter Mika

Birte Glimm

The two-volume set LNCS 6496 and 6497 constitutes the refereed proceedings of the 9th International Semantic Web Conference, ISWC 2010, held in Shanghai, China, during November 7-11, 2010. Part I contains 51 papers out of 578 submissions to the research track. Part II contains 18 papers out of 66 submissions to the semantic Web in-use track, 6 papers out of 26 submissions to the doctoral consortium track, and also 4 invited talks. Each submitted paper were carefully reviewed. The International Semantic Web Conferences (ISWC) constitute the major international venue where the latest research results and technical innovations on all aspects of the Semantic Web are presented. ISWC brings together researchers, practitioners, and users from the areas of artificial intelligence, databases, social networks, distributed computing, Web engineering, information systems, natural language processing, soft computing, and human computer interaction to discuss the major challenges and proposed solutions, the success stories and failures, as well the visions that can advance research and drive innovation in the Semantic Web.

9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers

The Semantic Web - ISWC 2010

My dog Whitlam was a bit of a runt. Both of his ears should have stood straight up, but one always fell over, no matter how hard he tried to make it stick up. Because of that floppy ear, Whitlam always looked a bit dumb. But Whitlam is really a smart dog, and he has to be treated carefully, or who knows what will happen!

The Smartest Dog of All

Ian Horrocks

About

Books

Join the club