The CLASSIC knowledge representation system: guiding principles and implementation rationale
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Experimental classification facilities for Smalltalk
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
An Optimal Cache for a Federated Database System
Journal of Intelligent Information Systems
Extending the ODMG object model with composite objects
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Making the Knowledge Base Systems More Efficient: A Method to Detect Inconsistent Queries
IEEE Transactions on Knowledge and Data Engineering
An Approach to Classify Semi-structured Objects
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Understanding natural language instructions: the case of purpose clauses
ACL '92 Proceedings of the 30th annual meeting on Association for Computational Linguistics
Term-rewriting as a basis for a uniform architecture in machine translation
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
A temporal terminological logic
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
Hi-index | 0.00 |
The ``Berlin advanced computational knowledge representation system'''' BACK has been developed as a KL-ONE-based hybrid reasoning system since 1985. In this report the redesign and the implemention of the system (in Prolog) are described. The overall knowledge base language is sketched, syntax and semantics are given, and the usage is illustrated by examples. It is a step towards a uniform object description language for accessing knowledge bases, combining intensional and extensional aspects - and also taking into account features known from typical database query languages. The implementational issues of the recent development are sketched; algorithms and data structures are presented, efficiency aspects are discussed, and the choices made between various implementational techniques are explained. The report is intended to serve not only as a platform for discussion on the technical issues and extensions yet to come, but also as a reference guide to the use of the current system.