Abstract
Knowledge-base management systems (KBMS) based on description logics are being used in a variety of situations where access is needed to large amounts of data stored in existing relational databases. We present the architecture and algorithms of a system that converts most of the inferences made by the KBMS into a collection of SQL queries, thereby relying on the optimization facilities of existing DBMS to gain efficiency, while maintaining an object-centered view of the world with a substantive semantics and significantly different reasoning facilities than those provided by Relational DBMS and their deductive extensions. We address a number of optimization issues that arise in the translation process due to the fact that SQL queries with different syntax (but identical semantics) are not treated uniformly by current database management systems.
- 1 IntelliCorp, "Bridging the information gap," in A Review of Products, Services, and Research, AAAI-87, Seattle, 1987, pp. 70-71.Google Scholar
- 2 Anwar, T. M., Beck, H., and Navathe, S., "Knowledge mining by imprecise querying: A classification-based approach," Proc. 8th IEEE Data Engineering Conf., Tempe, AZ, February, 1992, pp. 622-630. Google ScholarDigital Library
- 3 Beck, H. W., Gala, S. K., and Navathe, S. B., "Classification as a query processing technique in the CANDIDE semantic data model," Proc. 5th IEEE Data Engineering Conf., Los Angeles, February, 1989, pp. 572-581. Google ScholarDigital Library
- 4 Beck, H. W., Anwar, T. M., and Navathe, S. B., "Classification through conceptual clustering in database systems," Proc. i st Intl. Conf. on Information and Knowledge Management, Baltimore, MD, November, 1992, pp. 465-472.Google Scholar
- 5 Beck, H. W., Anwar, T. M., and Navathe, S. B., "A conceptual clustering algorithm for database schema design," to appear in IEEE Trans. on Knowledge and Data Engineering. Google ScholarDigital Library
- 6 Bergamaschi, S., Bonfatti, F., and Sartori, C., "Entity- Situation: A model for the knowledge representation module of a KBMS," Proc. EDBT'88 - Advances in Database Technology, 1988, pp. 578-582. Google ScholarDigital Library
- 7 Bergamaschi, S., and Sartori, C., "On taxonomic reasoning in conceptual design," A CM Trans. on Database Systems 13(3), September, 1992, pp. 385- 422. Google ScholarDigital Library
- 8 Borgida, A., "A new look at the foundations and utility of Description Logics (or Terminological Logics are not just for the Flightless Birds)," Technical Report, Rutgers University, 1992.Google Scholar
- 9 Borgida, A., Brachman, R. J., McGuinness, D. L., and Resnick, L. A., "CLASSIC: A structural data model for objects," Proc. 1989 A CM SIGMOD Conf., Portland, OR, June, 1989, pp. 59-67. Google ScholarDigital Library
- 10 Borgida, A., and Brachman, R. J., "Intelligence in the interface," Proc. Pnd Intl. Workshop on Intelligent and Cooperative Information Systems: Core Technology for Next Generation Information Systems, Como, Italy, October, 1991, pp. 68-75.Google Scholar
- 11 Brachman, R. J., Selfridge, P. G., Terveen, L. G., Altman, B., Borgida, A., Halper, F., Kirk, T., Lazar, A., McGuinness, D. L., and Resnick, L. A., "Knowledge representation support for data archaeology," Proc. 1st Intl. Conf. on Information and Knowledge Management, Baltimore, MD, November, 1992, pp. 457-464.Google Scholar
- 12 Ceri, S., Gottlob, G., and Wiederhold, G., "interfacing relational databases and Prolog efficiently," Proc. 1st Intl. Conf. on Expert Database Systems, Charleston, SC, April, 1986, pp. 207-223.Google Scholar
- 13 Chen, Y-F., Nishimoto, M., and Ramamoorthy, C. V., "The C information abstraction system," IEEE Trans. on Software Engineering, March, 1990. Google ScholarDigital Library
- 14 Devanbu, P., Brachman, R. J., Selfridge, P. G., and Ballard, B. W., "LASSIE: A knowledge-based software information system," Comm. of the A CM, 3#(5), May, 1991, pp. 34-49. Google ScholarDigital Library
- 15 Devanbu, P., "Translating description logics to information server queries," Technical Report, AT&T Bell Laboratories, May, 1992.Google Scholar
- 16 Finkelstein, S., "Common expression analysis in database applications," Proc. 1982 A CM SIGMOD Conf., Orlando, 1982, pp. 235-245. Google ScholarDigital Library
- 17 Gosh, S., Lin, C. C., and Sellis, T., "Implementation of a Prolog-INGRES interface," A CM SIGMOD Record, Vol. 17, No. 2, June, 1988, pp. 77-88. Google ScholarDigital Library
- 18 Heinsohn, J., Kudenko, D., Nebel, B., and Profitlich, H.-J., "An empirical analysis of terminological representation systems," Proc. AAAI.gP, San Jose, CA, July, 1992, pp. 767-773.Google Scholar
- 19 Illarramendi, A., Blanco, J. M., and Gofii, A., "A uniform approach to design a federated system using BACK," Proc. Terminological Logic Users Workshop, KIT-Report 95, Technische Universit/it Berlin, Berlin, October, 1991, pp. 61-85.Google Scholar
- 20 Jarke, M., Clifford, :I., and Vassiliou, Y., "An optimizing Prolog front-end to a relational query system," Proc. 198# ACM SIGMOD Conf., Boston, May, 1984, pp. 296-306. Google ScholarDigital Library
- 21 Kent, W., "Limitations of record-based information models," A CM Trans. on Database Systems 4(4), March, 1976, pp. 9-36. Google ScholarDigital Library
- 22 Kim, W., "On optimizing an SQL-like nested query," A CM Trans. on Database Systems 7(3), Sept., 1982, pp. 443-469. Google ScholarDigital Library
- 23 Mark, W., Tyler, S., McGuire, :I., and Schlossberg, J., "Commitment-based software development," IEEE Trans. on Software Engineering, Vol. 18, No. 10, October, 1992, pp. 870-885. Google ScholarDigital Library
- 24 Morris, K., Ullman, J. D., and Van Gelder, A., "Design overview of the Nail! system," Proc. 3rd IEEE Syrup. on Logic Programming, 1986, pp. 554-568. Google ScholarDigital Library
- 25 Nebel, B., and Peltason, C., "Terminological reasoning and information management," in Information Systems and Artificial intelligence. D. Karagianis, ed. Springer-Verlag, 1991, pp. 181-212.Google Scholar
- 26 Patel-Schneider, P. F., Brachman, R. J., and Levesque, H. J., "ARGON: Knowledge representation meets information retrieval," Proc. 1st Conf. on Artificial Intelligence Applications, Denver, December, 1984, pp. 280-286.Google Scholar
- 27 Tou, F. N., Williams, M. D., Fikes, R., Henderson, A., and Malone, T., "RABBIT: An intelligent database assistant," Proc. AAAI'82, Pittsburgh, pp. 314-318.Google Scholar
- 28 Vassiliou, Y., Clifford, J., and :Iarke, M., "How does an expert system get its data?" Proc. 9th VLDB Conf., Florence, 1983, pp. 70-72. Google ScholarDigital Library
- 29 Wiederhold, G., "Mediators in the architecture of future information Systems," IEEE Computer P1(3), March, 1992, pp. 38-50. Google ScholarDigital Library
Index Terms
- Loading data into description reasoners
Recommendations
Loading data into description reasoners
SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of dataKnowledge-base management systems (KBMS) based on description logics are being used in a variety of situations where access is needed to large amounts of data stored in existing relational databases. We present the architecture and algorithms of a ...
Database description with SDM: a semantic database model
SDM is a high-level semantics-based database description and structuring formalism (database model) for databases. This database model is designed to capture more of the meaning of an application environment than is possible with contemporary database ...
Invisible loading: access-driven data transfer from raw files into database systems
EDBT '13: Proceedings of the 16th International Conference on Extending Database TechnologyCommercial analytical database systems suffer from a high "time-to-first-analysis": before data can be processed, it must be modeled and schematized (a human effort), transferred into the database's storage layer, and optionally clustered and indexed (a ...
Comments