CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

BACK: Berlin Advanced Computational Knowledge Representation System

BACK supports reasoning based on terminological logics (KL-ONE), supporting inheritance, consistency checking, cycle detection, classification, completion of partial descriptions, role inferences, abox revision, and extended query answering. The main system components are TBox (KB scheme), ABox (KB assertions), IBox (extensional implications), and the uniform access language. The system is currently being re-implemented in C++. (NSL, 57-59 rue Lhomond, F-75005 Paris; e-mail:
   as the files BACK_V52.intro and Back52.tar.Z

Version: 5.2 (September 1993) Requires: Prolog Ports: BACK runs under Quintus Prolog and SWI Prolog (tested on SUN Sparcs). Copying: The system is distributed for non-profit research only. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Carsten Kindermann, Joachim Quantz, Albrecht Schmiedel, Oli Paulus, Thomas Hoppe. Contact: Project KIT-BACK TU Berlin, FR 5-12 Franklinstrasse 28/29 D-1000 Berlin 10 (10587) Tel: +49.30.314-24944 Fax: +49.30.314-24929 Keywords: ABox, Authors!Hoppe, Authors!Kindermann, Authors!Paulus, Authors!Quantz, Authors!Schmiedel, BACK, Consistency Checking, IBox, Inheritance, KL-ONE, Knowledge Representation, Prolog!Code, TBox References: C. Peltason, A. Schmiedel, C. Kindermann, and J. Quantz: 'The BACK System Revisited.' KIT Report 75, Tech. Univ. Berlin, September 1989. J. Quantz and C. Kindermann: 'Implementation of the BACK System Version 4.' KIT Report 78, Tech. Univ. Berlin, September 1990. Th. Hoppe, C. Kindermann, J.J. Quantz, A. Schmiedel, M. Fischer: 'BACK V5 Tutorial & Manual, KIT Report 100, Tech. Univ. Berlin, March 1993.
Last Web update on Mon Feb 13 10:24:01 1995