This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Description Logics in Data Management
October 1995 (vol. 7 no. 5)
pp. 671-682

Abstract—Description logics and reasoners, which are descendants of the KL-ONE language, have been studied in depth in Artificial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations—each involving one or more languages. Specifically, we indicate how one can achieve enhanced access to data and knowledge by using descriptions in languages for schema design and integration, queries, answers, updates, rules, and constraints.

[1] H. Ait-Kaci,“A lattice theoretic approach to computation based on a calculus ofpartially ordered type structures,” PhD thesis, Univ. of Pennsylvania, 1984.
[2] H. Ait-Kaci and A. Podelski,“An overview of Life,” Next Generation Information System Technology: Proc. First Int’l East/WestData Base Workshop, Springer-Verlag LNCS 504, pp.42-58, 1990.
[3] T.M. Anwar, H.W. Beck, and S.B. Navathe, "Knowledge Mining by Imprecise Querying: A Classification-Based Approach," Proc. Eighth Int'l Conf. Data Eng., pp. 622-630, Feb. 1992.
[4] Y. Arens,C.Y. Chee,C.N. Hsu,, and C. Knoblock,“Retrieving and integrating data from multiple information systems,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 3, no. 1, 1994.
[5] F. Baader and P. Hanscke,“A scheme for integrating concrete domains into concept languages,” Proc. IJCAI’91,Australia, Aug. 1991.
[6] F. Baader and B. Hollunder,“KRIS: Knowledge representation and inference system,” ACM SIGART Bull., vol. 2, no. 3, pp. 8-14, June 1991.
[7] F. Baader,B. Hollunder,B. Nebel,, and H.-J. Profitlich,“An empirical analysis of optimization techniques for terminologicalrepresentation systems,” Proc. KR’92,Boston, Mass., Oct. 1992.
[8] 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.
[9] H.W. Beck, T. Anwar, and S.B. Navathe, “A Conceptual Clustering Algorithm for Database Schema Design,” IEEE Trans. Knowledge and Data Eng., vol. 3, pp. 396-411, 1994.
[10] S. Bergamaschi and B. Nebel,“Automatic building and validation of complex object database schematasupporting multiple inheritance,” Applied Intelligence, vol. 4, no. 2, pp. 185-204, 1994.
[11] S. Bergamaschi and C. Sartoni, “On Taxonomic Reasoning in Conceptual Design,” ACM Trans. Database Systems, vol. 17, no. 3, pp. 385-422, 1992.
[12] C. Bettini,“A family of temporal terminological logics,” Advances in Artificial Intelligence: 3rd Congress of IA*AI, Springer Verlag LNCS no. 728, 1993.
[13] A. Borgida,“From type systems to knowledge representation: Natural semanticsspecifications for description logics,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 1, no. 1, 1992.
[14] A. Borgida,“Towards the systematic development of terminological reasoners: Claspreconstructed,” Proc. Conf. on Principles of Knowledge Representation (KR’92),Boston, Mass., Oct. 1992.
[15] A. Borgida and R. Brachman,“Customizable classification inference in the ProtoDL description managementsystem,” Proc. Conf. Information and Knowledge Management,Baltimore, Md., pp. 482-490, Nov. 1992.
[16] A. Borgida and R. J. Brachman, “Loading Data into Description Reasoners,” Proc. 1993 ACM Special Interest Group on Management of Data, pp. 217–226, 1993.
[17] A. Borgida et al., "Classic: A Structural Data Model for Objects," Proc. 1989 ACM SIGMOD Int'l Conf. Management of Data, ACM Press, New York, 1989, pp. 59-67.
[18] A. Borgida and P. Devanbu,“Knowledge base management systems using description logics, and their rolein software information systems,” Information Processing’92, Elsevier Science Publishers, vol. 3, pp. 171-181, 1992.
[19] A. Borgida and P.F. Patel-Schneider,“A semantics and complete algorithm for subsumption in the classicdescription logic,” J. of Artificial Intelligence Research, pp. 277-308, 1994.
[20] R.J. Brachman,“A structural paradigm for representing knowledge,” PhD thesis, Harvard University, Division of Eng. and Applied Physics, 1977. Revised version published as BBN Report no. 3605, Bolt Beranek and Newman, Inc., Cambridge, Mass., May 1978.
[21] R.J. Brachman and J.G. Schmolze,“An overview of the KL-ONE knowledge representation system,” Cognitive Sci., vol. 9, no. 2, pp. 171-216, Apr.-June 1985.
[22] R.J. Brachman and H.J. Levesque,“The tractability of subsumption in frame-based descriptionlanguages,” Proc. AAAI’84,Austin, Tex., pp. 34-37, Aug. 1984.
[23] R.J. Brachman,R.E. Fikes,, and H.J. Levesque,“Krypton: A functional approach to knowledge representation,” IEEE Computer, vol. 16, no. 10, pp. 67-73, Oct. 1983.
[24] R. Brachman,P. Selfridge,L. Terveen,B. Altman,A. Borgida,F. Halper,T. Kirk,A. Lazar,S. McGuiness,, and L. Resnick,“Knowledge representation support for data archaelogy,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 2, no. 2, pp. 159-186, June 1993.
[25] M. Buchheit et al., Subsumption between Queries to Object-Oriented Databases Information Systems, vol. 9, no. 1, pp. 33-54, 1994.
[26] D. Calvanese,M. Lenzerini,, and D. Nardi,“A unified framework for class-based representation formalisms,” Proc. Conf. on Principles of Knowledge Representation (KR’94), Bonn, pp. 109-120, 1994.
[27] B. Carpenter,The Logic of Typed Feature Structures: Applications toUnification Grammars, Logic Programs, and Constraint Rresolution.New York: Cambridge Univ. Press, 1992.
[28] T. Catarci and M. Lenzerini,“Representing and using interschema knowledge in cooperative informationsystems,” Int’l J. of Intelligent and Coorperative Information Systems, vol. 2, no. 4, pp. 375-398, Dec. 1993.
[29] W. Cohen,A. Borgida,, and H. Hirsh,“Computing least common subsumers in description logics,” Proc. of AAAI’92,San Jose, Calif., May 1992.
[30] L. Delcambre and K. Davis,“Automatic validation of object-oriented database structures,” Proc. IEEE Data Eng. Conf.,Los Angeles, pp. 2-9, 1989.
[31] P. Devanbu and D. Litman,“Plan-based terminological reasoning,” Proc. Conf. on Principles of Knowledge Representation (KR’91),Boston, Mass., 1991.
[32] P. Devanbu et al., “LaSSIE: A Knowledge‐Based Software Information System,” Comm. ACM, May 1991, pp. 34‐49.
[33] P. Devanbu and M. Jones,“The use of description logics in KBSE systems,” Proc. 17th Int’l Conf. on Software Eng.,Sorrento, Italy, 1994.
[34] F. Donini,M. Lenzerini,D. Nardi,, and W. Nutt,“Tractable concept languages,” Proc. IJCAI’91,Australia, pp. 458-463, Aug. 1991.
[35] F. Donini,M. Lenzerini,D. Nardi,, and W. Nutt,“The complexity of concept languages,” Proc. KR’91,Boston, Mass., pp. 151-162, 1991.
[36] F. Donini,M. Lenzerini,D. Nardi,A. Schaerf,, and W. Nutt,“Adding epistemic operators to concept languages,” Proc. KR’92, pp. 342-353, Bonn, 1992.
[37] J. Doyle and R.S. Patil, "Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representational Services," Artificial Intelligence J., vol. 48, no. 3, pp. 261-297, 1991.
[38] S. Finkelstein,“Common expression analysis in database applications,” Proc. ACM-SIGMOD Int’l Conf. Management of Data,Orlando, Fla., 1982.
[39] B. Hollunder,W. Nutt,, and M. Schmidt-Schauss,“Subsumption algorithms for concept description languages,” Proc. Ninth ECAI,Stockholm, pp. 348-353, Aug. 1990.
[40] R. Hull and R. King, “Semantic Database Modelling: Survey, Applications, and Research Issues,” Computing Surveys, vol. 19, no. 3, pp. 201-260, ACM, Sept. 1987.
[41] C. Lecluse and P. Richard, "Modeling Complex Structures in Object-Oriented Databases," Proc. Symp. Principles of Database Systems, pp. 360-368, 1989.
[42] M. Lenzerini and A. Schaerf,“Concept languages as query languages,” Proc. AAAI’91, pp. 471-476, 1991.
[43] H.J. Levesque, “Foundations of a Functional Approach to Knowledge Representation,” Artificial Intelligence, Vol. 23, No. 2, 1984, pp. 155–212.
[44] K. von Luck,B. Nebel,C. Peltason,, and A. Schmiedel,“The anatomy of the BACK system,” KIT (Kunstliche Intelligenz und Textverstehen) Report 41,Technical Univ. of Berlin, Jan. 1987.
[45] R.M. MacGregor,“A deductive pattern matcher,” Proc. AAAI’87,St. Paul, Minn., pp. 403-408, 1987.
[46] R.M. MacGregor,“The evolving technology of classification-based knowledge representation systems,” John Sowa, ed., Principles of Semantic Networks: Explorations in the Representation ofKnowledge.San Mateo, Calif.: Morgan-Kaufman, 1991.
[47] W. Mark,“Rule-based inference in large knowledge bases,” Proc. AAAI’80, Aug. 1980.
[48] E. Mays,C. Apte,J. Griesmer,, and J. Kastner,“Organizing knowledge in a complex financial domain,” IEEE Expert, pp.61-70, 1987.
[49] B. Nebel,“Terminological reasoning is inherently intractable,” Artificial Intelligence, vol. 43, pp. 235-249, 1990.
[50] B. Nebel and C. Peltason,“Terminological reasoning and information management,” D. Karagianis, ed., Information Systems and Artificial Intelligence: Integration Aspects.New York: Springer-Verlag, 1991, pp. 181-212.
[51] B. Nebel and G. Smolka,“Attributive description formalisms and the rest of the world,” O. Herzog and C. Rollinger, eds., Text Understanding in LILOG.New York: Springer Verlag, 1991.
[52] B. Owsnicki-Klewe,“Configuration as a consistency maintenance task,” W. Hoeppner, ed., Proc. of GWAI’88.New York: Springer Verlag, 1988, pp. 77-87.
[53] J. Pastor,D. McKay,, and T. Finin,“View-concepts: Knowledge-based access to databases,” Proc. CIKM 92,Baltimore, Md., pp. 84-91, 1992.
[54] P.F. Patel-Schneider,“Small can be beautiful in knowledge representation,” Proc. IEEE Workshop on Principles of Knowledge-Based Systems,Denver, Colo., pp. 11-16, 1984.
[55] P.F. Patel-Schneider,R.J. Brachman,, and H.J. Levesque,“ARGON: Knowledge representation meets information retrieval,” Proc. First Conf. on Artificial Intelligence Applications,Denver, Colo., pp. 280-286, Dec. 1984.
[56] P.F. Patel-Schneider,“A four-valued semantics for terminological logics,” Artificial Intelligence, vol. 38, pp. 319-351, 1989.
[57] V. Royer and J. Quantz,“Deriving inference rules for terminological logics,” D. Pearce and G. Wegner, eds., Logics in AI, Proc. of JELIA’92.New York: Springer Verlag, pp. 84-105, 1992.
[58] K. Schild,“A correspondence theory for terminological logics—Preliminaryreport,” Proc. IJCAI’91,Sydney, Australia, 1991.
[59] M. Schmidt-Schauss,“Subsumption in KL-ONE is undecidable,” Proc. KR’89,Toronto, Canada, pp. 421-431, May 1989.
[60] M. Schmidt-Schauß and G. Smolka, "Attributive Concept Descriptions with Complements," Artificial Intelligence, Vol. 48, No. 1, 1991, pp. 1-26.
[61] A.P. Seth and J.A. Larson,“Federated database systems for managing distributed, heterogeneous andautonomous databases,” ACM Computing Surveys, vol. 22, no. 3, pp. 184-236, September 1990.
[62] A. Sheth,S. Gala,, and S. Navathe,“On automatic reasoning for schema integration,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 2, no. 1, pp. 23-50, 1993.
[63] C.-D. Shum and R. Muntz,“Implicit representation of extensional answers,” L. Kerscheberg, ed., Proc. Second Int’l Conf. on Expert Database Systems, Benjamin Cummings, 1989, pp. 497-522.
[64] G. Teege,“Making the difference: A subtraction operation for descriptionlogics,” Proc. Conf. on Principles of Knowledge Representation (KR’94), pp. 540-550, Bonn, 1994.
[65] F. Tou,M. Williams,R. Fikes,A. Henderson,, and T. Malone,“RABBIT: An intelligent database assistant,” Proc. AAAI’82.
[66] W.A. Woods and J.G. Schmolze,“The KL-ONE family,” Computers and Mathematics With Applications, vol. 23, nos. 2-5, Special Issue on Semantic Networks in Artificial Intelligence.
[67] W.A. Woods,“Understanding subsumption and taxonomy: A framework for progress,” John Sowa, ed., Principles of Semantic Networks: Explorations in the Representation ofKnowledge.San Mateo, Calif.: Morgan-Kaufman, 1991.
[68] J. Wright et al., A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems Proc. Conf. Industrial Applications of Artificial Intelligence, pp. 183-193, 1993.
[69] J. Yen,R. Neches,, and R. MacGregor,“CLASP: integrating term subsumption systems and production systems,” IEEE Transactions on Knowledge and Data Engineering, vol. 3, no. 1, pp. 25-32, Mar. 1991.
[70] A. Borgida,“On the relationship between description logic and first order logicqueries,” Proc. Conf. Information and Knowledge Management,Gaithersburg, Md., pp. 219-225, 1994.
[71] J.M. Blanco,A. Illarramendi,, and A. Goni,“Building a federated relational database system: An approach using aknowledge-based system,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 3, no. 4, pp. 415-455, 1994.

Index Terms:
Description, concept, terminological, language, subsumption, knowledge representation, object-oriented schema, intension.
Citation:
Alexander Borgida, "Description Logics in Data Management," IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 5, pp. 671-682, Oct. 1995, doi:10.1109/69.469829
Usage of this product signifies your acceptance of the Terms of Use.