Description Logics in Data Management

IEEE Transactions on Knowledge and Data Engineering

Volumn 7, Issue 5, 1995, Pages 671-682

  Borgida, Alexander ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

concept; Description; intension; knowledge representation; language; object oriented schema; subsumption; terminological

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; INFORMATION MANAGEMENT; KNOWLEDGE REPRESENTATION; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES;

ABSTRACT INFORMATION SERVER; DATA MANAGEMENT; DESCRIPTION LOGICS; SUBSUMPTION;

FORMAL LOGIC;

EID: 0029389644     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.469829     Document Type: Article

References (71)

1. H. Ait-Kaci, “A lattice theoretic approach to computation based on a calculus of partially 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/West Data Base Workshop, Springer-Verlag LNCS 504, pp.42-58, 1990.
3. T.W. Anwar, H. Beck, and S. Navathe, “Knowledge mining by imprecise querying: A classification-based approach,” Proc. Eighth Conf on Data Eng., Tempe, Ariz., Feb. 1992, pp. 622-630.
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 terminological representation 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. Fifth IEEE lnt'l Data Eng. Conf, pp. 572-581, Feb. 1989.
9. H.W. Beck, T. Anwar, and S. B. Navathe, “A conceptual clustering algorithm for database schema design,” IEEE Trans. on Knowledge and Data Engineering, vol. 6, no. 3, pp. 396-411, June 1994.
10. S. Bergamaschi and B. Nebel, “Automatic building and validation of complex object database schemata supporting multiple inheritance,” Applied Intelligence, vol. 4, no. 2, pp. 185-204, 1994.
11. S. Bergamaschi and C. Sartori, “On taxonomic reasoning in conceptual design,” ACM Trans. on Database Systems, vol. 17, no. 3, pp. 385-442, 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 semantics specifications for description logics,” Intl J. of Intelligent and Cooperative Information Systems, vol. 1, no. 1, 1992.
14. A. Borgida, “Towards the systematic development of terminological reasoners: Clasp reconstructed,” 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 management system,” Proc. Conf Information and Knowledge Management, Baltimore, Md., pp. 482-490, Nov. 1992.
16. A. Borgida and R. Brachman, “Loading data into description reasoners,” Proc. ACM SIGMOD Conf on Data Management, Washington, D.C., pp. 217-226, 1993.
17. A. Borgida, R.J. Brachman, D.L. McGuinness, and L.A. Resnick, “CLASSIC: A structural data model for objects,” Proc. 1989 ACM SIGMOD Intl Conf on Management of Data, June 1989, pp. 59-67.
18. A. Borgida and P. Devanbu, “Knowledge base management systems using description logics, and their role in 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 classic description 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 description languages,” 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,” Intl J. of Intelligent and Cooperative Information Systems, vol. 2, no. 2, pp. 159-186, June 1993.
25. M. Buchheit, M. Jeusfeld, W. Nutt, and M. Staudt, “Subsumption between queries in object-oriented databases,” Information Systems, vol. 19, 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 to Unification 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 information systems,” Intl 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, R. Brachman, P. Selfridge, and B. Ballard, “LaSSIE: A knowledge-based software information system,” Comm. of the ACM, vol. 34, no. 5, May 1991.
33. P. Devanbu and M. Jones, “The use of description logics in KBSE systems,” Proc. 17th Intl 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. Patil, “Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services,” Artificial Intelligence, vol. 48, no. 3, pp. 261-298, Apr. 1991.
38. S. Finkelstein, “Common expression analysis in database applications,” Proc. ACM SIGMOD Conf, Orlando, Fla., pp. 235-245, 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 modeling: Survey, applications, and research issues,” ACM Computing Surveys, vol. 19, no. 3, pp. 201-260, Sept. 1987.
41. R. Lecluse and P. Richard, “Modeling complex structures in object-oriented databases,” Proc. ACM PODS Conf, Philadelphia, Pa., pp. 360-367, 1989.
42. M. Lenzerini and A. Schaerf, “Concept languages as query languages,” Proc. AAAI 91, pp. 471-476, 1991.
43. H. Levesque, “Foundations of a functional approach to knowledge representation,” Artificial Intelligence, vol. 23, no. 2, pp. 155-212, 1984.
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 of Knowledge. 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, 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. CIKM92, 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 logicsPreliminary report,” Proc. IJCA191, 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-Schauss and G. Smolka, “Attributive concept descriptions with complements,” Artificial Intelligence J., vol. 48, no. 1, pp.1-26, 1991.
61. A, Sheth and J. Larson, “Federated database systems for managing distributed, heterogeneous, and autonomous databases,” ACM Computing Surveys, vol. 22, no. 3, pp. 183-236, 1990.
62. A. Sheth, S. Gala, and S. Navathe, “On automatic reasoning for schema integration,” Intl 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 Intl Conf on Expert Database Systems, Benjamin Cummings, 1989, pp. 497-522.
64. G. Teege, “Making the difference: A subtraction operation for description logics,” 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 of Knowledge. San Mateo, Calif.: Morgan-Kaufman, 1991.
68. J. Wright, E. Weixelbaum, K. Brown, G. Vesonder, S. Palmer, J. Berman, and H. Moore, “A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T network systems,” Proc. Conf. Industrial Applications of AI (IAAJ 93), 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 logic queries,” 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 a knowledge-based system,” Intl J. of Intelligent and Cooperative Information Systems, vol. 3, no. 4, pp. 415-455, 1994.