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 …

This book provides a de? nition and study of a knowledge representation and r-soning
formalism stemming from conceptual graphs, while focusing on the com-tational properties …

In this paper we study data complexity of answering conjunctive queries over description
logic (DL) knowledge bases constituted by a TBox and an ABox. In particular, we are …

We describe carin, a novel family of representation languages, that combine the expressive
power of Horn rules and of description logics. We address the issue of providing sound and …

We present description logics of minimal knowledge and negation as failure (MKNF-DLs),
which augment description logics with modal operators interpreted according to Lifschitz's …

Simple conceptual graphs are considered as the kernel of most knowledge representation
formalisms built upon Sowa's model. Reasoning in this model can be expressed by a graph …

After a short analysis of the requirements that a knowledge representation language must
satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as …

Relationships between information systems are very important topics in the field of artificial
intelligence. The concept of homomorphisms is an effective mathematical tool to study …

This volume was born from the experience of the authors as researchers and educators,
which suggests that many students of data mining are handicapped in their research by the …

Data-intensive Web sites have created a new form of knowledge base, as richly structured
bodies of data. Several novel systems for creating dataintensive Web sites support …