Publisher Summary This chapter discusses description logics (DLs), which are a family of
logic-based knowledge representation languages that can be used to represent the …

Abstract Description logics are a family of knowledge representation formalisms that are
descended from semantic networks and frames via the system Kl-one. During the last …

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 …

Data integration is the problem of combining data residing at different sources, and
providing the user with a unified view of these data. The problem of designing data …

Thoroughly covering basic introductions and intuitions, technical details, and formal
foundations, this text focuses on the established foundations in this area that have become …

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 …

We show how to interoperate, semantically and inferentially, between the leading Semantic
Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+ OIL …

UML is the de-facto standard formalism for software design and analysis. To support the
design of large-scale industrial applications, sophisticated CASE tools are available on the …

The chase algorithm is a fundamental tool for query evaluation and for testing query
containment under tuple-generating dependencies (TGDs) and equality-generating …

The vision of a Semantic Web has recently drawn considerable attention, both from
academia and industry. Description logics are often named as one of the tools that can …