"Reducing" CLASSIC to practice: Knowledge representation theory Meets Reality

Ronald J. Brachman, Alex Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


Most recent key developments in research on knowledge representation (KR) have been of the more theoretical sort, involving worst-case complexity results, solutions to technical challenge problems, etc. While some of this work has influenced practice in Artificial Intelligence, it is rarely-if ever-made clear what is compromised when the transition is made from relatively abstract theory to the real world. classic is a description logic with an ancestry of extensive theoretical work (tracing back over twenty years to kl-one), and several novel contributions to KR theory. Basic research on classic paved the way for an implementation that has been used significantly in practice, including by users not versed in KR theory. In moving from a pure logic to a practical tool, many compromises and changes of perspective were necessary. We report on this transition and articulate some of the profound influences practice can have on relatively idealistic theoretical work. We have found that classic has been quite useful in practice, yet still strongly retains most of its original spirit, but much of our thinking and many details had to change along the way.

Original languageEnglish (US)
Title of host publicationConceptual Modeling
Subtitle of host publicationFoundations and Applications - Essays in Honor of John Mylopoulos
EditorsAlexander T. Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. Yu
Number of pages30
StatePublished - 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5600 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of '"Reducing" CLASSIC to practice: Knowledge representation theory Meets Reality'. Together they form a unique fingerprint.

Cite this