The CLASSIC knowledge representation system

ACM SIGART BulletinPublished 1 June 1991

Peter F. Patel‐Schneider, Deborah L. McGuinness, Ronald J. Brachman, Lori Alperin Resnick

Citations79

TL;DR

The CLASSIC system explores the expressiveness vs. tractability tradeoff, driven by concerns of usefulness and usability in several real applications and embodies the views of what a knowledge representation system should be.

Abstract

Our work on the CLASSIC knowledge representation system covers a broad range from theory to practice. While CLASSIC was implemented primarily to provide a simple, easy to learn and use, locally available tool for a relatively limited set of applications, it has a substantial theoretical foundation, based on a formal "terminological" logic. The logical foundation provides the semantics of a term description language, which is used to define structured concepts and make assertions about individuals in a knowledge base. These concepts and individuals are organized into a generalization hierarchy by classification and subsumption algorithms. The CLASSIC system explores the expressiveness vs. tractability tradeoff, driven by concerns of usefulness and usability in several real applications. Within this context, it embodies our views of what a knowledge representation system should

Keywords

Computer Science

ACM SIGMOD RecordCLASSIC: a structural data model for objects

504 Citations1989Alexander Borgida, Ronald J. Brachman +2 more

View PDF

Elsevier eBooksLIVING WITH CLASSIC

400 Citations1991Ronald J. Brachman, Deborah L. McGuinness +3 more

By analyzing the representational strengths and weaknesses of CLASSIC, this work considers the circumstances under which it is most appropriate to use (or not use) it and addresses some of the key difficult issues encountered by new users.

Artificial IntelligenceTerminological reasoning is inherently intractable

269 Citations1990Bernhard Nebel

Subsumption in terminologies turns out to be co-NP-complete for a minimal terminological representation language that is a subset of every useful terminological language.

CLASSIC: a structural data model for objects

216 Citations1989Alexander Borgida, Ronald J. Brachman +2 more

The kind of language of descriptions and queries presented here provides a new arena for the search for languages that are more expressive than conventional DBMS languages, but for which query processing is still tractable.

The Loom Knowledge Representation Language.

185 Citations1987Robert M. MacGregor, Raymond L. Bates

This paper describes the knowledge representation language developed for the Loom system, where the traditional single-classifier architecture is replaced by one containing a collection of classifiers which exhibit increasingly powerful inference capabilities.

Small can be beautiful in knowledge representation

115 Citations1984Peter F. Patel‐Schneider

The benefits of limiting knowledge representation systems in these ways will be discussed in the context of a frame-based knowledge-representation system, called KANDOR, that has been developed at FLAIR, and its use as the knowledge representation component of ARGON, an interactive information retrieval system.

International Conference on Software EngineeringLaSSIE—a knowledge-based software information system

77 Citations1990Prémkumar Dévanbu, R. J. Brachman +2 more

Informatik-FachberichteConfiguration as a Consistency Maintenance Task

32 Citations1988Bernd Owsnicki-Klewe

This paper describes how a configuration task may be considered a problem of main- taining global consistency within a knowledge base and the mechanism embedded in MESON, a KL-ΟNE descendant, developed at PHILIPS Research Laboratories, Hamburg.

The BACK System Revisited

32 Citations1989Christof Peltason, Albrecht Schmiedel +2 more

The redesign and the implemention of the Berlin advanced computational knowledge representation system (in Prolog) are described and the overall knowledge base language is sketched, syntax and semantics are given, and the usage is illustrated by examples.

Knowledge representation support for a software information system

20 Citations2002Peter G. Selfridge

This paper discusses in detail how the KR system supports the CODE-BASE functionality, including the representation of diverse kinds of knowledge and the support for evolution, as well as several other advantages.