ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
IEEE Transactions on Knowledge and Data Engineering
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
The description logic handbook
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Recognition algorithms for the loom classifier
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Semantic web reasoners and languages
Artificial Intelligence Review
Modal description logics: modalizing roles
Fundamenta Informaticae
| Hi-index | 0.00 |
BACK is a knowledge representation system following the terminological approach. The system has been under development at the Technical University of Berlin for over five years. This report describes the implementation of the currrent release of BACK. Compared with former system versions the additional functionality includes: (a) the support of terminological revision, made possible by the separation of user defined information from system derived information; (b) a tighter coupling of assertional and terminological reasoning in the recognition process; (c) enhanced conceptual indexing of knowledge base objects; and (d) the integration of non-terminological rules into the terminological component.