The BACK system—an overview

ABSTRACT

The BACK project was begun at the Technical University Berlin in January 1985 as part of a larger project within the ESPRIT programme¹. 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.
• 2: Fran&ccedil;ois Ban&ccedil;ilhon and Raghu Ramakrishnan. An amateur's introduction to recursive query processing strategies. In John Mylopoulos and Michael L. Brodie, editors, <i>Readings in Artificial Intelligence and Databases,</i> pages 376--430. Morgan Kaufmann, San Mateo, Cal., 1988. Revised version of a paper appeared in proceedings of SIGMOD 86.
• 3: Howard W. Beck , Sunit K. Gala , Shamkant B. Navathe, Classification as a Query Processing Technique in the CANDIDE Semantic Data Model, Proceedings of the Fifth International Conference on Data Engineering, p.572-581, February 06-10, 1989
• 4: Alexander Borgida , Ronald J. Brachman , Deborah L. McGuinness , Lori Alperin Resnick, CLASSIC: a structural data model for objects, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.58-67, June 1989, Portland, Oregon, United States
• 5: Ronald J. Brachman and James G. Schmolze. An overview of the KL-ONE knowledge representation system. <i>Cognitive Science,</i> 9(2):171--216, April 1985.
• 6: Commission of the European Communities. <i>Information Package for the Submission of Proposals to the European Strategic Programme for Research and Development in Information Technology.</i> DG XIII-A2, Brussels, September 1989.
• 7: M. Damiani and S. Botarelli. A terminological approach to business domain modelling. In <i>Proc. of the International Conference on Database and Expert Systems Applications, Vienna, Austria,</i> August 1990.
• 8: Maria Damiani, Sandro Bottarelli, Manlio Migliorati, and Christof Peltason. Terminological Information Management in ADKMS. In <i>ESPRIT '90 Conference Proceedings,</i> pages 163--176, Dordrecht, The Netherlands, 1990. Kluwer Academic Publishers.
• 9: Carsten Kindermann, Class Instances in a Terminological Framework - An Experience Report, Proceedings of the 14th German Workshop on Artificial Intelligence, p.48-57, September 10-14, 1990
• 10: Carsten Kindermann and Joachim Quantz. Graphics-oriented user interfaces for KL-ONE. KIT IAB 23, Department of Computer Science, Technische Universit&auml;t Berlin, May 1989.
• 11: Carsten Kindermann and Paolo Randi. Object Recognition and Retrieval in the BACK System. Draft Paper, September 1990.
• 12: Kai von Luck , Bernhard Nebel , Christof Peltason , Albrecht Schmiedel, BACK to Consistency and Incompleteness, Proceedings of the 9th German Workshop on Artificial Intelligence, p.245-256, September 23-27, 1985
• 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&auml;t Berlin, Berlin, Germany, January 1987.
• 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.
• 15: Bernhard Nebel. On terminological cycles. KIT Report 58, Department of Computer Science, Technische Universit&auml;t Berlin, November 1987.
• 16: B. Nebel, Computational complexity of terminological reasoning in BACK, Artificial Intelligence, v.34 n.3, p.371-383, April 1988 [doi>10.1016/0004-3702(88)90066-5]
• 17: Bernhard Nebel and Christof Peltason. Terminological Reasoning and Information Systems. In D. Karagiannis, editor, <i>Artificial Intelligence and Information Systems: Aspects of an Integration,</i> Lecture Notes in Artificial Intelligence 474. Springer-Verlag, Berlin, Germany.
• 18: Christof Peltason. The Scheme of Posidonius---Using Taxonomic Reasoning in Design. In D. Sriram and R. A. Adey, editors, <i>Proceedings of the 2nd International Conference on Applications of AI in Engineering,</i> pages 299--314, Cambridge, Mass., August 1987.
• 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&auml;t Berlin, Germany, January 1987.
• 20: Christof Peltason , Albrecht Schmiedel , Carsten Kindermann , Joachim Quantz, The BACK System Revisited, Technische Universitaet Berlin, Berlin, Germany, 1989
• 21: Joachim Quantz, Modeling and Reasoning with Defined Roles in BACK, Technische Universitaet Berlin, Berlin, Germany, 1990
• 22: Joachim Quantz , Carsten Kindermann, Implementation of the BACK-System Version 4, Technische Universitaet Berlin, Berlin, Germany, 1990
• 23: Klaus Schild. Undecidability of Subsumption in <i>U.</i> KIT Report 67, Department of Computer Science, Technische Universit&auml;t Berlin, Germany, October 1988.
• 24: Klaus Schild, Towards a Theory of Frames and Rules, Technische Universitaet Berlin, Berlin, Germany, 1989
• 25: Albrecht Schmiedel. A Temporal Constraint Handler for the BACK System. KIT Report 70, Department of Computer Science, Technische Universit&auml;t Berlin, Germany, November 1988.
• 26: Albrecht Schmiedel. A Temporal Terminological Logic. In <i>Proceedings of the 9th National Conference of the American Association for Artificial Intelligence,</i> pages 640--645, Boston, Mass., August 1990.
• 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&auml;t Berlin, Germany, August 1986.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

General Terms:
Design, Languages, Theory