CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
An experiment in constructing an open expert system using a knowledge substrate
IBM Journal of Research and Development
A Persistent Store for Large Shared Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
The description logic handbook
From tableaux to automata for description logics
Fundamenta Informaticae
Modeling a description logic vocabulary for cancer research
Journal of Biomedical Informatics
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The equivalence of model-theoretic and structural subsumption in description logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
A non-well-founded approach to terminological cycles
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Closed terminologies in description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
| Hi-index | 0.00 |
The K-Rep system was built to explore the utility of a KL-One style knowledge representation in the development of expert systems. Beginning in about 1985, our activity in expert systems has been centered on the FAME (FinAncial Marketing Expertise) system[4]. FAME attempts to provide support to an IBM marketing representative in the financing decisions involved in the acquisition of large mainframe computer systems. Based on our experience in building a feasibility demonstration of FAME using a rule based approach, we concluded that the rule based technology would not easily scale up. Thus we abandoned the rule based approach in favor of organizing the system as a set of problem solvers around a common conceptual core. Since diverse problem solvers would be utilized in FAME, it was thought desireable that the conceptual core have a well-defined, enforceable semantics. These considerations led us to the KL-One[3] style knowledge representation.