Describing Database Objects in a Concept Language Environment

We formally investigate the structural similarities and differences existing between object database models and concept languages establishing a correspondence between the two environments. Object database models deal with two kinds of data: individual objects, which have an identity, and values, which can be basic values or can have complex structures containing both basic values and objects. Concept languages only deal with individual objects. The correspondence points out the different role played by objects and values in both approaches and defines a way of properly mapping database descriptions into concept language descriptions at both a terminological and assertional level. Once the mapping is achieved, object databases can take advantage of both the algorithms and the results concerning their complexity developed in concept languages.

[1]  Sonia Bergamaschi,et al.  On taxonomic reasoning in conceptual design , 1992, TODS.

[2]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[3]  Bernhard Hollunder,et al.  Subsumption Algorithms for Concept Description Languages , 1990, ECAI.

[4]  Domenico Beneventano,et al.  Subsumption for Complex Object Data Models , 1992, ICDT.

[5]  Enrico Franconi,et al.  Walking through the semantics of frame-based description languages a case study , 1991 .

[6]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[7]  Christophe Lécluse,et al.  Modeling complex structures in object-oriented logic programming , 1989, PODS '89.

[8]  Werner Nutt,et al.  The Complexity of Existential Quantification in Concept Languages , 1992, Artif. Intell..

[9]  Sunit K. Gala,et al.  Classification as a query processing technique in the CANDIDE semantic data model , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[10]  Christof Peltason The BACK system—an overview , 1991, SGAR.

[11]  James G. Schmolze,et al.  The NIKL experience 1 , 1991, Comput. Intell..

[12]  Maurizio Lenzerini,et al.  Concept Languages as Query Languages , 1991, AAAI.

[13]  Franz Baader,et al.  A Terminological Knowledge Representation System with Complete Inference Algorithms , 1991, PDK.

[14]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[15]  Robert M. MacGregor,et al.  Inside the LOOM description classifier , 1991, SGAR.

[16]  Francesca Cesarini,et al.  Subsumption Computation on an Object-Oriented Data Model , 1991, PDK.

[17]  Werner Nutt,et al.  Tractable Concept Languages , 1991, IJCAI.

[18]  Francesca Cesarini,et al.  Introducing Taxonomic Reasoning in LOGIDATA+ , 1993, LOGIDATA+: Deductive Databases with Complex Objects.

[19]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[20]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[21]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.