DMCA
Description Logics For Conceptual Data Modeling (1998)
| Citations: | 141 - 22 self |
BibTeX
@MISC{Calvanese98descriptionlogics,
author = {Diego Calvanese and Maurizio Lenzerini and Daniele Nardi},
title = {Description Logics For Conceptual Data Modeling},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The article aims at establishing a logical approach to class-based data modeling. After a discussion on class-based formalisms for data modeling, we introduce a family of logics, called Description Logics, which stem from research on Knowledge Representation in Arti cial Intelligence. The logics of this family are particularly well suited for specifying data classes and relationships among classes, and are equipped with both formal semantics and inference mechanisms. We demonstrate that several popular data modeling formalisms, including the Entity-Relationship Model, and the most common variants of object-oriented data models, can be expressed in terms of speci c logics of the family. For this purpose we use a unifying Description Logic, which incorporates all the features needed for the logical reformulation of the data models used in the various contexts. We also discuss the problem of devising reasoning procedures for the unifying formalism, and show that they provide valuable supports for several important data modeling activities.
Keyphrases
description logic conceptual data modeling class-based formalism entity-relationship model unifying formalism formal semantics data modeling arti cial intelligence valuable support common variant reasoning procedure inference mechanism knowledge representation several popular data various context class-based data modeling logical approach object-oriented data model data class speci logic data model logical reformulation several important data modeling activity unifying description logic
