Skip to main content
SpringerLink
Log in
Book cover

GWAI-90 14th German Workshop on Artificial Intelligence pp 48–57Cite as

Class Instances in a Terminological Framework

An Experience Report

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 251))

Abstract

Term subsumption languages based on the ideas of KL-ONE allow the definition of classes (“concepts“) and the relationships (“roles“) between them in a semantically well-founded way. In parallel, various approaches to maintain instances of the classes have been pursued, covering hybrid architectures (e.g., with theorem pro vers), and dedicated “assertional“ languages. In this paper we review three implementations following the latter approach. We discuss implementation strategies and their impact on the overall behaviour of a TSL knowledge representation system. The results presented are based on our work on the Berlin Advanced Computational Knowledge representation system BACK, which has been developed and implemented during the past five years.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, and Lori Alperin Resnick. CLASSIC: A Structural Data Model for Objects. InProceedings of the 1989 ACM SIGMOD International Conference on Management of Data,pages 59–67, Portland, Oreg., June 1989.

    Google Scholar 

  2. Ronald J. Brachman, Richard E. Fikes, and Hector J. Levesque. KRYPTON: A Functional Approach to Knowledge Representation. IEEE Computer, 16(10):67–73, October 1983.

    Article  Google Scholar 

  3. Oliver Bittkau, Christian Haider, and Jörg-Uwe Kietz. Kit—Core Prolog. KIT IAB 17, Technische Universität Berlin, February 1987.

    Google Scholar 

  4. Ronald J. Brachman and Hector J. Levesque. Tales from the far side of KRYPTON. In L. Kerschberg, editor, Expert Database Systems—Proceedings From the 1st International Conference, pages 3–43. Benjamin/Cummings, Menlo Park, Cal., 1987.

    Google Scholar 

  5. E. Bertino and P. Randi. Task 5.4.2: Mapping AQL into SQL Programs. Deliverable 2 Amendment Phase ESPRIT Project 311, Datamont SpA, Milano, May 1990.

    Google Scholar 

  6. Ronald J. Brachman and James G. Schmölze. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science, 9(2): 171–216, April 1985.

    Article  Google Scholar 

  7. M. Damiani, S. Bottarelli, and C. Peltason. Terminological Information Management in ADKMS. Draft Paper, Datamont SpA, Milano, and Technische Ünivresität Berlin, May 1990.

    Google Scholar 

  8. Hervé Gallaire, Jack Minker, and Jean-Marie Nicolas. Logic and Databases: A Deductive Approach. ACM Computing Surveys, 16(2):153–185, 1984.

    Article  MathSciNet  MATH  Google Scholar 

  9. Robert 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., August 1988.

    Google Scholar 

  10. Bernhard Nebel and Kai von Luck. Issues of Integration and Balancing in Hybrid Knowledge Representation Systems. In K. Morik, editor, GWAI-87. 11th German Workshop on Artificial Intelligence, pages 114–123. Springer-Verlag, Berlin, 1987.

    Google Scholar 

  11. Bernd Owsnicki-Klewe. Configuration as a Consistency Maintenance Task. In W. Hoeppner, editor, GWAI-88. 12th German Workshop on Artificial Intelligence, pages 77–87, Springer-Verlag, Berlin, 1988.

    Google Scholar 

  12. Christof Peltason. Wissensrepräsentation und Entwurfs wis sen. PhD thesis, Technische Universität Berlin, 1989.

    Google Scholar 

  13. Peter F. Patel-Schneider, Ronald J. Brachman, and Hector 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 

  14. Christof Peltason, Albrecht Schmiedel, Carsten Kindermann, and Joachim Quantz. The BACK System Revisited. KIT Report 75, Technische Universität Berlin, September 1989.

    Google Scholar 

  15. P.F. Patel-Schneider, B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. MacGregor, W.S. Mark, D.L. McGuinness, B. Nebel, A. Schmiedel, J. Yen. Term Subsumption Languages in Knowledge Representation. AI Magazine11(2):16–23, Summer 1990.

    Google Scholar 

  16. Joachim Quantz and Carsten Kindermann. The BACK System Implementation. KIT Report 78, Technische Universität Berlin, to appear September 1990.

    Google Scholar 

  17. Klaus Schild. Towards a Theory of Frames and Rules. KIT Report 76, Technische Universität Berlin, December 1989.

    Google Scholar 

  18. Marc B. Vilain. The Restricted Language Architecture of a Hybrid Representation System. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 547–551, Los Angeles, Cal., August 1985

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Projekt KIT-BACK FR 5-12, Technische Universität Berlin, Franklinstr. 28/29, D-1000, Berlin 10, Dutchsland

    Carsten Kindermann

Authors
  1. Carsten Kindermann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. >c/o Danet GmbH, Pallaswiesenstr. 203, D-6100, Darmstadt, Deutschland

    Heinz Marburger

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kindermann, C. (1990). Class Instances in a Terminological Framework. In: Marburger, H. (eds) GWAI-90 14th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76071-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-76071-6_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53132-6

  • Online ISBN: 978-3-642-76071-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation