• Aucun résultat trouvé

Description logics for schema level reasoning in databases

N/A
N/A
Protected

Academic year: 2022

Partager "Description logics for schema level reasoning in databases"

Copied!
1
0
0

Texte intégral

(1)

Description Logics for Schema Level Reasoning in Databases

Maurizio Lenzerini

Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza"

Via Salaria 113, 00198 Roma, Italy

Abstract

Several recent papers point out that the research on Description Logics and their associated reasoning techniques can be protably exploited in several ways in the area of Databases. We argue that one of the most important aspects of Databases where we can take advantage of Description Logics is the one related to schema level reasoning, i.e., reasoning at the intensional level of a database. This is the case in schema design, schema maintenance, schema integration, schema trans- lation, integrity checking, query evaluation in cooperative information systems, etc. Indeed, on the one hand Description Logics can be seen as very powerful data models, and on the other hand, they can serve as unied formalisms that capture object-oriented, semantic and conceptual data models proposed in the literature. Most importantly, they can provide useful reasoning services in all the above mentioned tasks.

This article was processed using the LaTEX macro package with LLNCS style

Références

Documents relatifs

Ceylan, ˙I.˙I., Pe˜ naloza, R.: Reasoning in the Description Logic BEL using Bayesian Networks.. Cook, S.A.: The complexity of

Note that if we are confronted with a strict query (classical inclusion axiom C v D), one can determine if it is in the Rational Closure of the KB by checking if it is

We need at worst n∗m classical decision procedures to associate to each individual a default concept, then another one to check the overall consistency of the new knowledge base,

Formulated for DL-based action formalisms, the projection problem deals with the following question: Given an initial ABox describing the initial state, a TBox describing the

Suppose that the Italian News context C in contains the facts that Rooney does not take part to the Italian league in 2010, i.e., ¬> i (Rooney), and that he is not considered a

Relative to a particular interpretation of a DL, any concept C partitions all objects in the domain according to their class membership into those belonging to C, and those

CARIN is such an hybrid system that combines the DL ALCN R with Horn Rules and through its existential entailment algorithm offers a sound and complete inference procedure

In this paper, we further study how to extend the four-valued semantics to more expressive description logics, such as SHIQ, and to more tractable description logics including