Ronald J. Brachman

Learn More
KL-ONE is o system for representing knowledge in Artificial Intelligence progroms. It has been developed and refined over o long period ond hos been used in both basic research and implemented knowledge-based systems in o number of places in the Al community. Here we present the kernel ideas of KL-ONE, emphasizing its ability to form complex structured(More)
CLASSIC is a data model that encourages the description of objects not only in terms of their relations to other known objects, but in terms of a level of intensional structure as well. The CLASSIC language of <italic>structured descriptions</italic> permits i) partial descriptions of individuals, under an 'open world' assumption, ii) answers to queries(More)
Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the(More)
classic is a recently-developed knowledge representation system that follows the paradigm originally set out in the kl-one system: it concentrates on the de nition of structured concepts, their organization into taxonomies, the creation and manipulation of individual instances of such concepts, and the key inferences of subsumption and classi cation. Rather(More)
A knowledge representation system provides an important service to the rest of a knowledge-based system: it computes automatically a set of inferences over the beliefs encoded within it. Given that the knowledge-based system relies on these inferences in the midst of its operation (i.e., its diagnosis, planning, or whatever), their computational(More)
Invisibility is an inherent and signiicant problem in the task of developing large software systems. There are no direct solutions to this problem; however, there are several categories of systems|relational code analyzers, reuse librarians , and project management databases{ that can be seen as addressing aspects of the invisibility problem. We argue that(More)
The cover depicts petroglyphs done by the White Mountain Ute Indians in the late 1800's on a cliff near Vernal, Utah. Cover Photo: Gary M. Smith, Windsinger Enterprises Cover Design: Jay Simpson 12 Guest Editors' Introduction: Approaches to Knowledge Representation Gordon McCalla and Nick Cercone 22 What's Important About Knowledge Representation? William(More)
This introduction presents the main motivations for the development of Description Logics (DL) as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition. In addition, we provide the reader with an overview of the entire book and some guidelines for reading it. We(More)