Computational complexity of terminological reasoning in BACK
Artificial Intelligence
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Classification as a Query Processing Technique in the CANDIDE Semantic Data Model
Proceedings of the Fifth International Conference on Data Engineering
BACK to Consistency and Incompleteness
GWAI '85 Proceedings of the 9th German Workshop on Artificial Intelligence
Class Instances in a Terminological Framework - An Experience Report
GWAI '90 Proceedings of the 14th German Workshop on Artificial Intelligence
Towards a Theory of Frames and Rules
Towards a Theory of Frames and Rules
The BACK System Revisited
Implementation of the BACK-System Version 4
Implementation of the BACK-System Version 4
Modeling and Reasoning with Defined Roles in BACK
Modeling and Reasoning with Defined Roles in BACK
Translating description logics to information server queries
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Rewriting queries using views in description logics
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A model of multimedia information retrieval
Journal of the ACM (JACM)
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
The Generation and Use of Layer Information in Multilayered Extended Semantic Networks
TSD '02 Proceedings of the 5th International Conference on Text, Speech and Dialogue
Multilayered Extended Semantic Networks as a Language for Meaning Representation in NLP Systems
CICLing '02 Proceedings of the Third International Conference on Computational Linguistics and Intelligent Text Processing
The description logic handbook
Source integration for data warehousing
Multidimensional databases
From tableaux to automata for description logics
Fundamenta Informaticae
Semantic Discovery of the User Intended Query in a Selectable Target Query Language
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
An empirical analysis of terminological representation systems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
P-CLASSIC: a tractable probablistic description logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
The limits on combining recursive horn rules with description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Semantic web reasoners and languages
Artificial Intelligence Review
From keywords to queries: discovering the user's intended meaning
WISE'10 Proceedings of the 11th international conference on Web information systems engineering
An alternative proof method for possibilistic logicand its application to terminological logics
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Document retrieval by relevance terminological logics
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Modal description logics: modalizing roles
Fundamenta Informaticae
Hi-index | 0.01 |
The BACK project was begun at the Technical University Berlin in January 1985 as part of a larger project within the ESPRIT programme1. 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.