Modelling the CBR Life Cycle Using Description Logics

Abstract. In this paper Description Logics are presented as a suitable formalism to model the CBR life cycle. We propose a general model to structure the knowledge needed in a CBR system, where adaptation knowledge is explicitly represented. Next, the CBR processes are described based on this model and the CBR system OoFRA is presented as an example of our approach.

[1]  Véronique Ventos,et al.  Study and Formalization of a Case-Based Reasoning System Using a Description Logic , 1998, EWCBR.

[2]  Vincent Aleven,et al.  A Logical Representation for Relevance Criteria , 1993, EWCBR.

[3]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[4]  Bernhard Nebel,et al.  An Empirical Analysis of Terminological Representation Systems , 1992, Artif. Intell..

[5]  Sylvie Salotti,et al.  Formalizing Partial Matching and Similarity in Case-Based Reasoning with a Description Logic , 1998, Appl. Artif. Intell..

[6]  Jana Koehler,et al.  An Application of Terminological Logics to Case-based Reasoning , 1994, KR.

[7]  Pedro A. González-Calero,et al.  Supporting Object Reuse Through Case-Based Reasoning , 1996, EWCBR.

[8]  Jana Koehler,et al.  Planning from Second Principles , 1996, Artif. Intell..

[9]  Robert Mac Gregor,et al.  THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS , 1991 .

[10]  Robert M. MacGregor,et al.  The Evolving Technology of Classification-Based Knowledge Representation Systems , 1991, Principles of Semantic Networks.

[11]  Amedeo Napoli,et al.  Classification-Based Problem-Solving in Case-Based Reasoning , 1996, EWCBR.

[12]  Michael McGill,et al.  Introduction to Modern Information Retrieval , 1983 .

[13]  Alex Borgiday.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996 .

[14]  Jean Lieber,et al.  A Classiication-based Approach to Case-based Reasoning , 1997 .

[15]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[16]  Michael M. Richter,et al.  The Knowledge Contained in Similarity Measures , 1995 .

[17]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[18]  Carsten Tautz,et al.  Using Case-Based Reasoning for Reusing Software Knowledge , 1997, ICCBR.

[19]  David C. Wilson,et al.  Acquiring Case Adaptation Knowledge: A Hybrid Approach , 1996, AAAI/IAAI, Vol. 1.

[20]  Alexander Borgida,et al.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[21]  Enric Plaza,et al.  Cases as terms: A feature term approach to the structured representation of cases , 1995, ICCBR.