Skip to main content
SpringerLink
Log in

A general characterization of term description languages

  • II. On Sorts And Types In Knowledge Representation Including Qualitative Reasoning
  • Conference paper
  • First Online:
Sorts and Types in Artificial Intelligence

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 418))

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Allgayer, C. Reddig-Siekmann: What KL-ONE Lookalikes Need to Cope with Natural Language, in this volume

    Google Scholar 

  2. R.J. Brachman: What's in a Concept: Structural Foundations for Semantic Networks, Int. Journal of Man-Machine Studies, Vol. 9 1977

    Google Scholar 

  3. R.J. Brachman: On the Epistemological Status of Semantic Networks, in: N.V. Findler (ed.): Associative Networks, Academic Press, 1979

    Google Scholar 

  4. J. Heinsohn, B. Owsnicki-Klewe: Probabilistic Inheritance and Reasoning in Hybrid Knowledge Representation Systems, in: W. Hoeppner (ed.): GWAI-88, Springer-Verlag, 1989

    Google Scholar 

  5. T. Kaczmarek, R. Bates, G. Robins: Recent Development in NIKL, Proceedings of the AAAI-86 1986

    Google Scholar 

  6. H.J. Levesque, R.J. Brachman: A Fundamental Tradeoff in Knowledge Representation and Reasoning, in: R.J. Brachman, H.J. Levesque (eds.): Readings in Knowledge Representation, Morgan Kaufmann, 1985

    Google Scholar 

  7. K. v. Luck, B. Nebel, C. Peltason, A. Schmiedel: The Anatomy of the BACK-System, TU-Berlin, KIT-Report No 41, 1987

    Google Scholar 

  8. K. von Luck, B. Owsnicki-Klewe: Neuere KI-Formalismen zur Repräsentation von Wissen, in: T. Christaller (ed.): KIFS-87, Springer-Verlag, 1989

    Google Scholar 

  9. R. MacGregor, R. Bates: The LOOM Knowledge Representation System, Information Science Institute, Marina del Rey (CA), 1987

    Google Scholar 

  10. R. MacGregor: The Evolving Technology of the KL-ONE Family of Knowledge Representation Systems, Proceedings of the Workshop on Formal Aspects of Semantic Networks, St. Catalina, 1989

    Google Scholar 

  11. B. Nebel, K. von Luck: Issues of Integration and Balancing in Hybrid Knowledge Representation Systems, in: K. Morik (ed.): GWAI-87, Springer-Verlag, 1987

    Google Scholar 

  12. B. Nebel: Computational Complexity of Terminological Reasoning in BACK, Artificial Intelligence 34, 1988

    Google Scholar 

  13. B. Owsnicki-Klewe: Configuration as a Consistency Maintenance Task, in: W. Hoeppner (ed.): GWAI-88, Springer, 1989

    Google Scholar 

  14. P.F. Patel-Schneider: A Four-Valued Semantics for Frame-Based Description Languages, Proceedings AAAI-86, 1986

    Google Scholar 

  15. P.F. Patel-Schneider: Undecidability in NIKL, Artificial Intelligence, 39(1989)

    Google Scholar 

  16. M. Vilain: The Restricted Language Architecture of a Hybrid Representation System, Proceedings of the IJCAI-85

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. PHILIPS Research Laboratories Hamburg, P.O. Box 540 840, D-2000, Hamburg 54

    Bernd Owsnicki-Klewe

Authors
  1. Bernd Owsnicki-Klewe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Karl Hans Bläsius Ulrich Hedtstück Claus-Rainer Rollinger

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Owsnicki-Klewe, B. (1990). A general characterization of term description languages. In: Bläsius, K.H., Hedtstück, U., Rollinger, CR. (eds) Sorts and Types in Artificial Intelligence. Lecture Notes in Computer Science, vol 418. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52337-6_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-52337-6_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46965-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation