Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Delineating the tremendous growth in this area, the Handbook of Approximation Algorithms
and Metaheuristics covers fundamental, theoretical topics as well as advanced, practical …

We address the problem of scalable distributed reasoning, proposing a technique for
materialising the closure of an RDF graph based on MapReduce. We have implemented our …

Ontologies are at the heart of the semantic web. They define the concepts and relationships
that make global interoperability possible. However, as these ontologies grow in size they …

Publisher Summary Mathematical logicians had developed the art of formalizing declarative
knowledge long before the advent of the computer age. But they were interested primarily in …

This book aims to synthesize different directions in knowledge studies into a unified theory of
knowledge and knowledge processes. It explicates important relations between knowledge …

In this paper we show how tree decomposition can be applied to reasoning with first-order
and propositional logic theories. Our motivation is two-fold. First, we are concerned with how …

Modularity in ontologies is key both for large scale ontology development and for distributed
ontology reuse on the Web. However, the problems of formally characterizing a modular …

While many authors have argued for the benefits of applying principles of modularization to
ontologies, there is not yet a common understanding of how modules are defined and what …

On the Semantic Web, the ability to combine, integrate and reuse ontologies is crucial. The
Web Ontology Language (OWL) defines the owl: imports construct, which allows to include …