skip to main content
article
Free Access

The BACK system—an overview

Published:01 June 1991Publication History
Skip Abstract Section

Abstract

The BACK project was begun at the Technical University Berlin in January 1985 as part of a larger project within the ESPRIT programme1. Our task in the project group was the specification, design and implementation of a knowledge representation system which we called BACK ("Berlin Advanced Computational Knowledge Representation System"). It is a based on a terminological logic (term description language) and supports complex representation of a domain terminology, description of domain objects using that terminology, and database access via a uniform interface language.

References

  1. C. Bagnasco and M. Migliorati. The Bit Environment: a first release. Internal Report, Datamont SpA, Milan, January 1990.]]Google ScholarGoogle Scholar
  2. François Bançilhon and Raghu Ramakrishnan. An amateur's introduction to recursive query processing strategies. In John Mylopoulos and Michael L. Brodie, editors, Readings in Artificial Intelligence and Databases, pages 376--430. Morgan Kaufmann, San Mateo, Cal., 1988. Revised version of a paper appeared in proceedings of SIGMOD 86.]]Google ScholarGoogle Scholar
  3. Howard W. Beck, Sunit K. Gala, and Shamkant 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., February 1989.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, and Lori Alperin 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. Ronald J. Brachman and James G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171--216, April 1985.]]Google ScholarGoogle ScholarCross RefCross Ref
  6. Commission of the European Communities. Information Package for the Submission of Proposals to the European Strategic Programme for Research and Development in Information Technology. DG XIII-A2, Brussels, September 1989.]]Google ScholarGoogle Scholar
  7. M. Damiani and S. Botarelli. A terminological approach to business domain modelling. In Proc. of the International Conference on Database and Expert Systems Applications, Vienna, Austria, August 1990.]]Google ScholarGoogle ScholarCross RefCross Ref
  8. Maria Damiani, Sandro Bottarelli, Manlio Migliorati, and Christof Peltason. Terminological Information Management in ADKMS. In ESPRIT '90 Conference Proceedings, pages 163--176, Dordrecht, The Netherlands, 1990. Kluwer Academic Publishers.]]Google ScholarGoogle Scholar
  9. Carsten Kindermann. Class Instances in a Terminological Framework - An Experience Report. In H. Marburger, editor, GWAI-90. 14th German Workshop on Artificial Intelligence, pages 48--57, Berlin, Germany, September 1990. Springer-Verlag.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Carsten Kindermann and Joachim Quantz. Graphics-oriented user interfaces for KL-ONE. KIT IAB 23, Department of Computer Science, Technische Universität Berlin, May 1989.]]Google ScholarGoogle Scholar
  11. Carsten Kindermann and Paolo Randi. Object Recognition and Retrieval in the BACK System. Draft Paper, September 1990.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Kai von Luck, Bernhard Nebel, Christof Peltason, and Albrecht Schmiedel. BACK to consistency and incompleteness. In H. Stoyan, editor, GWAI-85. 9th German Workshop on Artificial Intelligence, pages 245--257. Springer-Verlag, Berlin, Germany, 1986.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Kai von Luck, Bernhard Nebel, Christof Peltason, and Albrecht Schmiedel. The anatomy of the BACK system. KIT Report 41, Department of Computer Science, Technische Universität Berlin, Berlin, Germany, January 1987.]]Google ScholarGoogle Scholar
  14. Robert MacGregor and Raymond 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 ScholarGoogle Scholar
  15. Bernhard Nebel. On terminological cycles. KIT Report 58, Department of Computer Science, Technische Universität Berlin, November 1987.]]Google ScholarGoogle Scholar
  16. Bernhard Nebel. Computational complexity of terminological reasoning in BACK. Artificial Intelligence, 34(3):371--383, April 1988.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Bernhard Nebel and Christof Peltason. Terminological Reasoning and Information Systems. In D. Karagiannis, editor, Artificial Intelligence and Information Systems: Aspects of an Integration, Lecture Notes in Artificial Intelligence 474. Springer-Verlag, Berlin, Germany.]]Google ScholarGoogle Scholar
  18. Christof Peltason. The Scheme of Posidonius---Using Taxonomic Reasoning in Design. In D. Sriram and R. A. Adey, editors, Proceedings of the 2nd International Conference on Applications of AI in Engineering, pages 299--314, Cambridge, Mass., August 1987.]]Google ScholarGoogle Scholar
  19. Christof Peltason, Kai von Luck, Bernhard Nebel, and Albrecht Schmiedel. The user's guide to the BACK system. KIT Report 42, Department of Computer Science, Technische Universität Berlin, Germany, January 1987.]]Google ScholarGoogle Scholar
  20. Christof Peltason, Albrecht Schmiedel, Carsten Kindermann, and Joachim Quantz. The BACK System Revisited. KIT Report 75, Department of Computer Science, Technische Universität Berlin, Germany, September 1989.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Joachim Quantz. Modeling and Reasoning with Defined Roles in BACK. KIT Report 84, Department of Computer Science, Technische Universität Berlin, Germany, November 1990.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Joachim Quantz and Carsten Kindermann. Implementation of the BACK System Version 4. KIT Report 78, Department of Computer Science, Technische Universität Berlin, Germany, September 1990.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Klaus Schild. Undecidability of Subsumption in U. KIT Report 67, Department of Computer Science, Technische Universität Berlin, Germany, October 1988.]]Google ScholarGoogle Scholar
  24. Klaus Schild. Towards a Theory of Frames and Rules. KIT Report 76, Department of Computer Science, Technische Universität Berlin, Germany, December 1989.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Albrecht Schmiedel. A Temporal Constraint Handler for the BACK System. KIT Report 70, Department of Computer Science, Technische Universität Berlin, Germany, November 1988.]]Google ScholarGoogle Scholar
  26. Albrecht Schmiedel. A Temporal Terminological Logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, Mass., August 1990.]]Google ScholarGoogle Scholar
  27. Albrecht Schmiedel, Christof Peltason, Bernhard Nebel, and Kai von Luck. Bitter Pills - A Case Study in Knowledge Representation. KIT Report 39, Department of Computer Science, Technische Universität Berlin, Germany, August 1986.]]Google ScholarGoogle Scholar

Index Terms

  1. The BACK system—an overview

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGART Bulletin
        ACM SIGART Bulletin  Volume 2, Issue 3
        Special issue on implemented knowledge representation and reasoning systems
        June 1991
        151 pages
        ISSN:0163-5719
        DOI:10.1145/122296
        Issue’s Table of Contents

        Copyright © 1991 Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 June 1991

        Check for updates

        Qualifiers

        • article

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader