TY - GEN
T1 - "Reducing" CLASSIC to practice
T2 - Knowledge representation theory Meets Reality
AU - Brachman, Ronald J.
AU - Borgida, Alex
AU - McGuinness, Deborah L.
AU - Patel-Schneider, Peter F.
N1 - Funding Information:
Keywords: Knowledge representation; Description logics; KL-One; CLASSIC; AI applications; Technology transfer I This paper is based substantially on two earlier papers [10,28] on the lessons learned in transforming CLASSIC from a theoretical construct into a useful knowledge representation system. ∗Corresponding author. Email: [email protected]. 1Supported in part by the AT&T Foundation and NSF IRI 9119310 & 9619979.
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=69049099047&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=69049099047&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-02463-4_23
DO - 10.1007/978-3-642-02463-4_23
M3 - Conference contribution
AN - SCOPUS:69049099047
SN - 3642024629
SN - 9783642024627
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 436
EP - 465
BT - Conceptual Modeling
A2 - Borgida, Alexander T.
A2 - Chaudhri, Vinay K.
A2 - Giorgini, Paolo
A2 - Yu, Eric S.
ER -