Abstract
The BACK project was begun at the Technical University Berlin in January 1985 as part of a larger project within the ESPRIT programme
1
. 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.
Publisher
Association for Computing Machinery (ACM)
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient TBox Reasoning with Value Restrictions using the wer Reasoner;Theory and Practice of Logic Programming;2021-10-15
2. Ontologies and Data Management: A Brief Survey;KI - Künstliche Intelligenz;2020-08-13
3. The Data Complexity of Answering Instance Queries in FL0;Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18;2018
4. Description Logics;Encyclopedia of Social Network Analysis and Mining;2018
5. Comprehensive analysis of semantic web reasoners and tools: a survey;Education and Information Technologies;2017-01-27