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.
- C. Bagnasco and M. Migliorati. The Bit Environment: a first release. Internal Report, Datamont SpA, Milan, January 1990.]]Google Scholar
- 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 Scholar
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarCross Ref
- 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 Scholar
- 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 ScholarCross Ref
- 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 Scholar
- 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 ScholarDigital Library
- 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 Scholar
- Carsten Kindermann and Paolo Randi. Object Recognition and Retrieval in the BACK System. Draft Paper, September 1990.]] Google ScholarDigital Library
- 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 ScholarDigital Library
- 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 Scholar
- 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 Scholar
- Bernhard Nebel. On terminological cycles. KIT Report 58, Department of Computer Science, Technische Universität Berlin, November 1987.]]Google Scholar
- Bernhard Nebel. Computational complexity of terminological reasoning in BACK. Artificial Intelligence, 34(3):371--383, April 1988.]] Google ScholarDigital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- Klaus Schild. Undecidability of Subsumption in U. KIT Report 67, Department of Computer Science, Technische Universität Berlin, Germany, October 1988.]]Google Scholar
- Klaus Schild. Towards a Theory of Frames and Rules. KIT Report 76, Department of Computer Science, Technische Universität Berlin, Germany, December 1989.]] Google ScholarDigital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
Index Terms
The BACK system—an overview
Recommendations
From reference ontologies to ontology patterns and back
Building proper reference ontologies is a hard task. There are a number of methods and tools that traditionally have been used to support this task. These include the use of foundational theories, the reuse of domain and core ontologies, the adoption of ...
Overview and utilization of the NCI Thesaurus: Conference Papers
The NCI Thesaurus is a reference terminology covering areas of basic and clinical science, built with the goal of facilitating translational research in cancer. It contains nearly 110 000 terms in approximately 36 000 concepts, partitioned in 20 sub-...
Business rules for semantics-aware business modelling: overview and open issues
This work outlines the benefits of adopting semantics-aware formalisms in the description of business vocabularies and rules in the context of enterprise modelling. Within the framework outlined by the Model-Driven Architecture (MDA) approach, these ...
Comments