Skip to main content
SpringerLink
Log in
Book cover

Workshop on Information Systems and Artificial Intelligence

IS/KI 1990: Information Systems and Artificial Intelligence: Integration Aspects pp 181–212Cite as

Terminological reasoning and information management

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 474))

Abstract

Reasoning with terminological logics is a subfield in the area of knowledge representation that evolved from the representation language kl-one. Its main purpose is to automatically determine the location of a new concept description (or object description) in a partially ordered set of given concepts. It seems to be a promising approach to apply the techniques developed in this area to the development of new object-based database models. The main advantages are a uniform query and database definition language and the utilization of an indexing technique, which we call semantic indexing.

This work was supported by the German Ministry for Research and Technology BMFT under contract ITW 8901 8, and by the Commission of the European Communities within ESPRIT Project 311.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Transactions on Database Systems, 12(3):525–565, Dec. 1987.

    Google Scholar 

  2. H. Aït-Kaci. A Lattice-Theoretic Approach to Computations Based on a Calculus of Partially Ordered Type Structures. PhD thesis, University of Pennsylvenia, Philadelphia, Pa., 1984.

    Google Scholar 

  3. F. Baader. Terminological cycles in KL-ONE-based KR-languages. In Proceedings of the 8th National Conference of the American Association for Artificial Intelligence, Boston, Mass., 1990.

    Google Scholar 

  4. H. W. Beck, S. K. Gala, and S. B. Navathe. Classification as a query processing technique in the CANDIDE semantic data model. In Proceedings of the International Data Engineering Conference, IEEE, pages 572–581, Los Angeles, Cal., Feb. 1989.

    Google Scholar 

  5. S. Bergamaschi, L. Cavedoni, C. Sartori, and P. Tiberio. On taxonomic reasoning in E/R environments. In C. Batini, editor, Proceedings of the 7th International Conference on Entity Relationship Approach, pages 301–312, 1988.

    Google Scholar 

  6. S. Bergamaschi, C. Sartori, and P. Tiberio. On taxonomic reasoning in conceptual design. Technical Report 68, CIOC-CNR, Bologna, Italy, Mar. 1990.

    Google Scholar 

  7. H. Bergmann and M. Gerlach. QUIRK: Implementierung einer TBox zur Repräsentation von begrifflichem Wissen. WISBER Memo 11, 2nd ed., Project WISBER, Department of Computer Science, Universität Hamburg, Hamburg, Germany, June 1987.

    Google Scholar 

  8. A. Borgida, R. J. Brachman, D. L. McGuinness, and L. A. Resnick. CLASSIC: a structural data model for objects. In Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pages 59–67, Portland, Oreg., June 1989.

    Google Scholar 

  9. R. J. Brachman and H. J. Levesque. The tractability of subsumption in frame-based description languages. In Proceedings of the 4th National Conference of the American Association for Artificial Intelligence, pages 34–37, Austin, Tex., Aug. 1984.

    Google Scholar 

  10. R. J. Brachman, D. L. McGuinness, P. F. Patel-Schneider, L. A. Resnick, and A. Borgida. Living with CLASSIC: When and how to use a KL-ONE-like language. In J. Sowa, editor, Principles of Semantic Networks. Morgan Kaufmann, Los Altos, Cal., 1990. To appear.

    Google Scholar 

  11. R. J. Brachman, V. Pigman Gilbert, and H. J. Levesque. An essential hybrid reasoning system: Knowledge and symbol level accounts in KRYPTON. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 532–539, Los Angeles, Cal., Aug. 1985.

    Google Scholar 

  12. R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171–216, Apr. 1985.

    Google Scholar 

  13. M. L. Brodie. Future Intelligent Information Systems: AI and Database Technologies Working Together. In M. L. Brodie and J. Mylopoulos, editors, Readings in Artificial Intelligence and Databases. Morgan Kaufmann, San Mateo, Cal., 1988.

    Google Scholar 

  14. Commission of the European Communities. Information Package for the Submission of Proposals to the European Strategic Programme for Research and Development in Information Technology. Internal Information, DG XIII-A2, September 1989.

    Google Scholar 

  15. F. Corella. Semantic retrieval and levels of abstraction. In L. Kerschberg, editor, Expert Database Systems—Proceedings From the 1st International Workshop, pages 91–114. Benjamin/Cummings, Menlo Park, Cal., 1986.

    Google Scholar 

  16. M. Damiani, S. Bottarelli, M. Migliorati, and C. Peltason. Terminological Information Management in ADKMS. In ESPRIT '90 Conference Proceedings, Dordrecht, The Netherlands, 1990. Kluwer Academic Publishers. To appear.

    Google Scholar 

  17. P. Devanbu, P. G. Selfridge, B. W. Ballard, and R. J. Brachman. A knowledge-based software information system. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 110–115, Detroit, Mich., Aug. 1989.

    Google Scholar 

  18. J. Doyle and R. S. Patil. Two dogmas of knowledge representation: Language restrictions, taxonomic classifications, and the utility of representation services. Technical Memo MIT/LCS/TM-387.b, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass., Sept. 1989.

    Google Scholar 

  19. B. Hollunder. Hybrid inferences in KL-ONE-based knowledge representation systems. In H. Marburger, editor, GWAI-90. 14th German Workshop on Artificial Intelligence. Springer-Verlag, Berlin, Germany, 1990.

    Google Scholar 

  20. B. Hollunder and W. Nutt. Subsumption algorithms for concept description languages. DFKI Report RR-90-04, German Research Center for Artificial Intelligence (DFKI), Kaiserslautern, Germany, 1990.

    Google Scholar 

  21. T. S. Kaczmarek, R. Bates, and G. Robins. Recent developments in NIKL. In Proceedings of the 5th National Conference of the American Association for Artificial Intelligence, pages 978–987, Philadelphia, Pa., Aug. 1986.

    Google Scholar 

  22. W. Kent. Limitations of record-based information models. ACM Transactions on Database Systems, 4(1):107–131, 1979.

    Google Scholar 

  23. C. Kindermann. Class instances in a terminological framework — an experience report. In H. Marburger, editor, GWAI-90. 14th German Workshop on Artificial Intelligence. Springer-Verlag, Berlin, Germany, 1990.

    Google Scholar 

  24. C. Kindermann and P. Randi. Object Recognition and Retrieval in the BACK System. KIT Report 86, Department of Computer Science, Technische Universität Berlin, Germany, To Appear.

    Google Scholar 

  25. A. Kobsa. The SB-ONE knowledge representation workbench. In Preprints of the Workshop on Formal Aspects of Semantic Networks, Two Harbors, Cal., Feb. 1989.

    Google Scholar 

  26. C. Lécluse, P. Richard, and F. Velez. O2, an object-oriented data model. In Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, pages 424–433, Chicago, Ill., 1988.

    Google Scholar 

  27. C. Lécluse, P. Richard, and F. Velez. Modelling complex structures in object-oriented databases. In Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database-Systems, pages 360–367, Mar. 1989.

    Google Scholar 

  28. R. A. Levinson. A self-organizing pattern retrieval system for graphs. In Proceedings of the 4th National Conference of the American Association for Artificial Intelligence, pages 203–206, Austin, Tex., Aug. 1984.

    Google Scholar 

  29. R. MacGregor. A deductive pattern matcher. In Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, pages 403–408, Saint Paul, Minn., Aug. 1988.

    Google Scholar 

  30. R. MacGregor and R. Bates. The Loom knowledge representation language. Technical Report ISI/RS-87-188, University of Southern California, Information Science Institute, Marina del Rey, Cal., 1987.

    Google Scholar 

  31. B. Nebel. Computational complexity of terminological reasoning in BACK. Artificial Intelligence, 34(3):371–383, Apr. 1988.

    Google Scholar 

  32. B. Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, 1990.

    Google Scholar 

  33. B. Nebel. Terminological cycles: Semantics and computational properties. In J. Sowa, editor, Principles of Semantic Networks. Morgan Kaufmann, San Mateo, Cal., 1990. To appear.

    Google Scholar 

  34. B. Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence, 43:235–249, 1990. A preliminary version is available as IWBS Report 82, IBM Germany Scientific Center, IWBS, Stuttgart, Germany, October 1989.

    Google Scholar 

  35. B. Nebel and G. Smolka. Representation and reasoning with attributive descriptions. In K.-H. Bläsius, U. Hedtstück, and C.-R. Rollinger, editors, Sorts and Types in Artificial Intelligence. Springer-Verlag, Berlin, Germany, 1990. To appear. Also available as IWBS Report 81, IBM Germany Scientific Center, IWBS, Stuttgart, Germany, September 1989.

    Google Scholar 

  36. J. Heinsohn and B. Owsnicki-Klewe. Probabilistic inheritance and reasoning in hybrid knowledge representation systems. In W. Hoeppner, editor, GWAI-88. 12th German Workshop on Artificial Intelligence, pages 51–60. Springer-Verlag, Berlin, West Germany, 1988.

    Google Scholar 

  37. P. F. Patel-Schneider. Small can be beautiful in knowledge representation. In Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, pages 11–16, Denver, Colo., 1984. An extended version including a KANDOR system description is available as AI Technical Report No. 37, Palo Alto, Cal., Schlumberger Palo Alto Research, October 1984.

    Google Scholar 

  38. P. F. Patel-Schneider. A four-valued semantics for terminological logics. Artificial Intelligence, 38(3):319–351, Apr. 1989.

    Google Scholar 

  39. P. F. Patel-Schneider. Undecidability of subsumption in NIKL. Artificial Intelligence, 39(2):263–272, June 1989.

    Google Scholar 

  40. P. F. Patel-Schneider, R. J. Brachman, and H. J. Levesque. ARGON: Knowledge representation meets information retrieval. In Proceedings of the 1st Conference on Artificial Intelligence Applications, pages 280–286, Denver, Col., 1984.

    Google Scholar 

  41. P. F. Patel-Schneider, B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. MacGregor, W. S. Mark, D. McGuinness, B. Nebel, A. Schmiedel, and J. Yen. Term subsumption languages in knowledge representation. The AI Magazine, 11(2):16–23, 1990.

    Google Scholar 

  42. C. Peltason, A. Schmiedel, C. Kindermann, and J. Quantz. The BACK system revisited. KIT Report 75, Department of Computer Science, Technische Universität Berlin, Germany, Sept. 1989.

    Google Scholar 

  43. J. Quantz. Modelling and Reasoning with Defined Roles in BACK. The BACK system revisited. KIT Report 84, Department of Computer Science, Technische Universität Berlin, Germany, To Appear.

    Google Scholar 

  44. J. Quantz and C. Kindermann. Implementation of the BACK System Version 4. KIT Report 78, Department of Computer Science, Technische Universität Berlin, Germany, Sept. 1990.

    Google Scholar 

  45. K. Schild. Towards a theory of frames and rules. KIT Report 76, Department of Computer Science, Technische Universität Berlin, Germany, Dec. 1989.

    Google Scholar 

  46. M. Schmidt-Schauß. Subsumption in KL-ONE is undecidable. In R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, pages 421–431, Toronto, Ont., May 1989.

    Google Scholar 

  47. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with unions and complements. Artificial Intelligence, 1990. To appear. A preliminary version of this paper is available as IWBS Report 68, IBM Germany Scientific Center, IWBS, Stuttgart, Germany, June 1989.

    Google Scholar 

  48. A. Schmiedel. A temporal terminological logic. In Proceedings of the 8th National Conference of the American Association for Artificial Intelligence, pages 640–645, Boston, Mass., 1990.

    Google Scholar 

  49. G. Smolka. A feature logic with subsorts. Journal of Logic Programming, 1990. To appear. Also available as LILOG Report 33, IBM Germany Scientific Center, IWBS, Stuttgart, Germany, May 1988.

    Google Scholar 

  50. F. N. Tou, M. D. Williams, R. E. Fikes, A. Henderson, and T. Malone. RABBIT: An intelligent database assistant. In Proceedings of the 2nd National Conference of the American Association for Artificial Intelligence, pages 314–318, Pittsburgh, Pa., Aug. 1982.

    Google Scholar 

  51. K. von Luck, B. Lebel, C. Peltason, and A. Schmiedel. The anatomy of the BACK system. KIT Report 41, Department of Computer Science, Technische Universität Berlin, Germany, Jan. 1987.

    Google Scholar 

  52. J. Yen. A Principled Approach to Reasoning about the Specificity of Rules. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 701–707, Boston, Mass., 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Deutsches Forschungszentrum für Künstliche Intelligenz, d-6600, Saarbrücken

    Bernhard Nebel

  2. Project KIT-BACK, Technische Universität Berlin, D-1000, Berlin 10

    Christof Peltason

Authors
  1. Bernhard Nebel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christof Peltason
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dimitris Karagiannis

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nebel, B., Peltason, C. (1991). Terminological reasoning and information management. In: Karagiannis, D. (eds) Information Systems and Artificial Intelligence: Integration Aspects. IS/KI 1990. Lecture Notes in Computer Science, vol 474. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53557-8_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-53557-8_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53557-7

  • Online ISBN: 978-3-540-46809-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation