This Article 
 Bibliographic References 
 Add to: 
Describing Database Objects in a Concept Language Environment
April 1996 (vol. 8 no. 2)
pp. 345-351

Abstract—In this paper, we formally investigate the structural similarities and differences existing between object database models and concept languages establishing a correspondence between the two environments. Object Databases 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] S. Abiteboul and P.C. Kanellakis,“Object identity as a query language primitive,” Proc. 1989 ACM SIGMOD Int’l Conf. the Management of Data, SIGMOD Record, vol. 18, no. 2, pp. 159-173, June 1989.
[2] A. Artale, F. Cesarini, and G. Soda, "Subsumption Computation in an Object-Oriented Data Model," Proc. Workshop Processing Declarative Knowledge, vol. 567, Lecture Notes in Artificial Intelligence, pp. 124-140. Springer-Verlag, 1991.
[3] A. Artale, F. Cesarini, and G. Soda, "Introducing Taxonomic Reasoning in LOGIDATA+," LOGIDATA+: Deductive Databases with Complex Objects, P. Atzeni, ed., vol. 701, Lecture Notes in Computer Science, pp. 85-104. Springer-Verlag, 1993.
[4] F. Baader and B. Hollunder, "A Terminological Knowledge Representation System with Complete Inference Algorithm," Proc. Workshop Processing Declarative Knowledge, vol. 567, Lecture Notes in Artificial Intelligence. Springer-Verlag, 1991.
[5] H.W. Beck, S.K. Gala, and S.B. Navathe, Classification as a Query Processing Technique in the CANDIDE Semantic Data Model Proc. First Int'l Conf. Data Eng., pp. 572-581, 1989.
[6] D. Beneventano, S. Bergamaschi, and B. Nebel, "Subsumption for Complex Objects Data Models," Proc. Int'l Conf. Database Theory,Berlin, 1992.
[7] S. Bergamaschi and C. Sartoni, “On Taxonomic Reasoning in Conceptual Design,” ACM Trans. Database Systems, vol. 17, no. 3, pp. 385-422, 1992.
[8] R.J. Brachman, V.P. Gilbert, and H.J. Levesque, "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts in KRIPTON," Proc. of the Ninth Int'l Joint Conf. Artificial Intelligence, pp. 532-539,Los Angeles, 1985.
[9] R.J. Brachman, D.L. McGuinness, P.F. Patel-Schneider, and L.A. Resnick, "Living with CLASSIC: When and How to Use a KL-ONE-Like Language," Principles of Semantic Networks, J. Sowa, ed. Morgan Kaufmann, 1991.
[10] L. Cardelli, "A Semantics of Multiple Inheritance," Semantics of Data Types, pp.51-67. Springer-Verlag, 1984.
[11] R. Cattoni and E. Franconi, "Walking Through the Semantics of Frame-Based Description Languages: A Case Study," Proc. Fifth Int'l Symp. Metodologies for Intelligent Systems,Knoxville, Tenn., North-Holland, 1990.
[12] F.M. Donini, B. Hollunder, M. Lenzerini, A. Marchetti Spaccamela, D. Nardi, and W. Nutt, "The Complexity of Existential Quantification in Concept Languages," Artificial Intelligence, vol. 53, pp. 309-327, 1992.
[13] F.M. Donini, M. Lenzerini, D. Nardi, and W. Nutt, "Tractable Concept Languages," Proc. 12th Int'l Joint Conf. Artificial Intelligence, pp. 458-465,Sidney, 1991
[14] B. Hollunder, W. Nutt, and M. Schmidt-Schauß, "Subsumption Algorithms for Concept Description Languages," Proc. Ninth European Conf. Artificial Intelligence, pp. 348-353,Stockholm, Aug. 1990.
[15] C. Lecluse and P. Richard, "Modeling Complex Structures in Object-Oriented Databases," Proc. Symp. Principles of Database Systems, pp. 360-368, 1989.
[16] M. Lenzerini and A. Schaerf, "Concept Languages as Query Languages," Proc. Ninth Nat'l Conf. Artificial Intelligence, AAAI-91, pp. 471-476,Anaheim, Calif., 1991.
[17] R. MacGregor, "Inside the LOOM Description Classifier," SIGART Bulletin, vol. 2, pp. 88-92, 1991.
[18] B. Nebel, Reasoning and Revision in Hybrid Representation Systems, Vol. 422, Lecture Notes in Artificial Intelligence. Berlin, Heidelberg, New York: Springer-Verlag, 1990.
[19] C. Peltason, "The BACK Systems—An Overview," SIGART Bulletin, vol. 2, pp. 114-119, 1991.
[20] M. Schmidt-Schauß and G. Smolka, "Attributive Concept Descriptions with Complements," Artificial Intelligence, Vol. 48, No. 1, 1991, pp. 1-26.
[21] J.G. Schmolze and W.S. Marks, "The Nikl Experience," Computational Intelligence, Vol. 6, No. 1, Feb. 1991, pp. 48-69.

Index Terms:
Concept languages, object databases, knowledge representation.
Alessandro Artale, Francesca Cesarini, Giovanni Soda, "Describing Database Objects in a Concept Language Environment," IEEE Transactions on Knowledge and Data Engineering, vol. 8, no. 2, pp. 345-351, April 1996, doi:10.1109/69.494172
Usage of this product signifies your acceptance of the Terms of Use.