Skip to main content
SpringerLink
Log in
Book cover

Wissensbasierte Systeme pp 12–21Cite as

A Uniform and Integrated Description System

  • Conference paper

Part of the book series: Informatik — Fachberichte ((2252,volume 155))

Abstract

Omega is a logic system for knowledge representation which is based on descriptions, rather than predicates, and embodies two fundamental ideas for structuring knowledge that are distilled from semantic networks and frame based languages: inheritance and attributions. These features can be exploited to build knowledge bases organized as networks of descriptions, where all types of knowlegde are uniformly represented in an integrated fashion. Reasoning on a lattice of descriptions combined with deduction strategies defined at the metalevel provide the knowlegde base with the capability to deal with complex problem solving tasks.

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

  • Ait-Kaci, H. and R. Nasr (1985) LOGIN: A Logic Programming Language with Built-in Inheritance, MCC Technical Report number AI-068-85.

    Google Scholar 

  • Attardi, G. and M. Simi (1981a) Consistency and Completeness of Omega, a Logic for Knowledge Representation. IJCAI. Vancouver.

    Google Scholar 

  • Attardi, G. and M. Simi (1981b) Semantics of Inheritance and Attributions in the Description System Omega. AI Memo 642, M.I.T.

    Google Scholar 

  • Attardi, G. and M. Simi (1984) Metalanguage and Reasoning across Viewpoints. Proc. of Sixth European Conference on Artificial Intelligence, Pisa.

    Google Scholar 

  • Attardi, G., A. Corradini, S. Diomedi and M. Simi (1986) Taxonomic Reasoning, Proc. of ECAI 86, Brighton.

    Google Scholar 

  • Attardi, G. and M. Simi (1986) A Description Oriented Logic for Building Knowledge Bases. Proceedings of the IEEE, Vol. 74, N. 10, pag. 1335–1344, October 1986.

    Google Scholar 

  • Brachman, R.J., Gilbert, V.P., Levesque, H.J., (1985) An Essential Hybrid Reasoning System: Knowledge and Symbol Levels Accounts of Krypton. Proc. of 9th IJCAI, Los Angeles, 1985.

    Google Scholar 

  • Brachman, R.J., Schmölze (1985) An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2), April-June.

    Google Scholar 

  • deKleer. J., Doyle, J., Rich, C., Steele, G.L., Sussman, G.J., (1978) AMORD: a Deductive Procedure System. MIT AI-Memo 435.

    Google Scholar 

  • Fahlman, S., (1979) NETL: A System for Representing and Using Real World Knowledge. MIT Press.

    MATH  Google Scholar 

  • Fikes, R. E. and T. P. Kehler, (1985) The Role of Frame-Based Representation in Reasoning. CACM Vol. 28, No. 9.

    Google Scholar 

  • Kalish and Montague (1964) Logic: Techniques of Formal Reasoning. Harcourt, Brace and World.

    Google Scholar 

  • Kornfeld, W. (1982). Using parallel processing for problem solving. M. I. T. Ph.D. Thesis.

    Google Scholar 

  • Hewitt, C., Attardi, G., Simi M. (1980) Knowledge Embedding in the Description System Omega. Proc. of First AAAI Conference, Stanford.

    Google Scholar 

  • Martin, W., (1979) Description and Specialization of Concepts. In Patrick Winston and Richard Brown, Eds. Artificial Intelligence, MIT Press, Cambridge.

    Google Scholar 

  • Moser M.G., (1983) An Overview of NIKL, the New Implementation of KL-ONE, in Sidner, C.L. (ed.), Research in Knowledge Representation and Understanding, BBN Laboratories Report No. 5421.

    Google Scholar 

  • Mylopoulos, J., P. A. Bernstein, H. K. T. Wong (1980) A Language Facility for Designing Database-intensive Applications, ACM Transactions on Database Systems, Vol 5, No. 2.

    Google Scholar 

  • Steels L., (1979) Reasoning Modeled as a Society of Communicating Experts, AI Lab Technical Report 542, MIT.

    Google Scholar 

  • Stefik, M., Bobrow, D.G., Mittal, S., Conway, L. (1983) Knowledge Programming in LOOPS: Report on an Experimental Course, The AI Magazine, Vol. 4, No. 3, Fall, pp 3–14.

    Google Scholar 

  • Vilain, M. (1985) An Approach to Hybrid Knowledge Representation, Proc. of 9th IJCAI, Los Angeles.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DELPHI SpA, Viareggio, Italy

    Giuseppe Attardi

  2. Dipartimento di Informatica, Università di Pisa, Italy

    Maria Simi

Authors
  1. Giuseppe Attardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maria Simi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, TU München, Arcisstraße 21, 8000, München 2, Deutschland

    W. Brauer

  2. FB Informatik, Universität des Saarlandes, Im Stadtwald 15, 6600, Saarbrücken 11, Deutschland

    W. Wahlster

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Attardi, G., Simi, M. (1987). A Uniform and Integrated Description System. In: Brauer, W., Wahlster, W. (eds) Wissensbasierte Systeme. Informatik — Fachberichte, vol 155. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88719-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-88719-2_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18494-2

  • Online ISBN: 978-3-642-88719-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation