"Reducing" CLASSIC to practice: Knowledge representation theory meets reality

Citation
Rj. Brachman et al., "Reducing" CLASSIC to practice: Knowledge representation theory meets reality, ARTIF INTEL, 114(1-2), 1999, pp. 203-237
Citations number
45
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
ARTIFICIAL INTELLIGENCE
ISSN journal
00043702 → ACNP
Volume
114
Issue
1-2
Year of publication
1999
Pages
203 - 237
Database
ISI
SICI code
0004-3702(199910)114:1-2<203:"CTPKR>2.0.ZU;2-O
Abstract
Most recent key developments in research on knowledge representation (KR) h ave been of the more theoretical sort, involving worst-case complexity resu lts, solutions to technical challenge problems, etc. While some of this wor k 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 a ncestry of extensive theoretical work (tracing back over twenty years to KL -ONE), and several novel contributions to KR theory. Basic research on CLAS SIC 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 pur e logic to a practical tool, many compromises and changes of perspective we re necessary. We report on this transition and articulate some of the profo und influences practice can have on relatively idealistic theoretical work. We have found that CLASSIC has been quite useful in practice, yet still st rongly retains most of its original spirit, but much of our thinking and ma ny details had to change along the way. (C) 1999 Published by Elsevier Scie nce B.V. All rights reserved.