[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article
Free access

Loading data into description reasoners

Published: 01 June 1993 Publication History

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.

References

[1]
IntelliCorp, "Bridging the information gap," in A Review of Products, Services, and Research, AAAI-87, Seattle, 1987, pp. 70-71.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[13]
Chen, Y-F., Nishimoto, M., and Ramamoorthy, C. V., "The C information abstraction system," IEEE Trans. on Software Engineering, March, 1990.
[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.
[15]
Devanbu, P., "Translating description logics to information server queries," Technical Report, AT&T Bell Laboratories, May, 1992.
[16]
Finkelstein, S., "Common expression analysis in database applications," Proc. 1982 A CM SIGMOD Conf., Orlando, 1982, pp. 235-245.
[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.
[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.
[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.
[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.
[21]
Kent, W., "Limitations of record-based information models," A CM Trans. on Database Systems 4(4), March, 1976, pp. 9-36.
[22]
Kim, W., "On optimizing an SQL-like nested query," A CM Trans. on Database Systems 7(3), Sept., 1982, pp. 443-469.
[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.
[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.
[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.
[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.
[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.
[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.
[29]
Wiederhold, G., "Mediators in the architecture of future information Systems," IEEE Computer P1(3), March, 1992, pp. 38-50.

Cited By

View all
  • (2015)Improving the Computational Performance of Ontology-Based Classification Using Graph DatabasesRemote Sensing10.3390/rs707094737:7(9473-9491)Online publication date: 22-Jul-2015
  • (2013)Fuzzy Description Logic and Ontology Extraction from Fuzzy Data ModelsFuzzy Knowledge Management for the Semantic Web10.1007/978-3-642-39283-2_5(99-156)Online publication date: 26-Sep-2013
  • (2012)Extending Ontology-Based Databases with Behavioral SemanticsOn the Move to Meaningful Internet Systems: OTM 201210.1007/978-3-642-33615-7_31(879-896)Online publication date: 2012
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGMOD Record
ACM SIGMOD Record  Volume 22, Issue 2
June 1, 1993
558 pages
ISSN:0163-5808
DOI:10.1145/170036
Issue’s Table of Contents
  • cover image ACM Conferences
    SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data
    June 1993
    566 pages
    ISBN:0897915925
    DOI:10.1145/170035
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1993
Published in SIGMOD Volume 22, Issue 2

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)117
  • Downloads (Last 6 weeks)23
Reflects downloads up to 18 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2015)Improving the Computational Performance of Ontology-Based Classification Using Graph DatabasesRemote Sensing10.3390/rs707094737:7(9473-9491)Online publication date: 22-Jul-2015
  • (2013)Fuzzy Description Logic and Ontology Extraction from Fuzzy Data ModelsFuzzy Knowledge Management for the Semantic Web10.1007/978-3-642-39283-2_5(99-156)Online publication date: 26-Sep-2013
  • (2012)Extending Ontology-Based Databases with Behavioral SemanticsOn the Move to Meaningful Internet Systems: OTM 201210.1007/978-3-642-33615-7_31(879-896)Online publication date: 2012
  • (2011)Extracting knowledge from fuzzy relational databases with description logicIntegrated Computer-Aided Engineering10.5555/1971744.197174818:2(181-200)Online publication date: 1-Apr-2011
  • (2008)On the Scalability of Description Logic Instance RetrievalJournal of Automated Reasoning10.1007/s10817-008-9104-741:2(99-142)Online publication date: 1-Aug-2008
  • (2007)Fast Algorithm for Mining Multi-Level Association Rules in Large DatabasesAsian Journal of Information Management10.3923/ajim.2007.19.261:1(19-26)Online publication date: 1-Jan-2007
  • (2005)A little semantic web goes a long way in biologyProceedings of the 4th international conference on The Semantic Web10.1007/11574620_56(786-800)Online publication date: 6-Nov-2005
  • (2004)Description Logics for Modeling Dynamic InformationLogics for Emerging Applications of Databases10.1007/978-3-642-18690-5_7(239-275)Online publication date: 2004
  • (2002)Bringing Together Description Logics and Database in an Object Oriented ModelDatabase and Expert Systems Applications10.1007/3-540-46146-9_50(504-513)Online publication date: 20-Aug-2002
  • (1998)Incorporating generalized quantifiers into description logic for representing data source contentsData Mining and Reverse Engineering10.1007/978-0-387-35300-5_14(329-349)Online publication date: 1998
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media