CMU Artificial Intelligence Repository
BACK: Berlin Advanced Computational Knowledge
Representation System
areas/kr/systems/kl_one/back/
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: back@nsl.fr).
Origin:
ftp.cs.tu-berlin.de:/pub/doc/reports/tu-berlin.de/kit/Back52
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: back@cs.tu-berlin.de
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
AI.Repository@cs.cmu.edu