Case-based reasoning
Planning from second principles
Artificial Intelligence
Inside Case-Based Reasoning
Study and Formalization of a Case-Based Reasoning System Using a Description Logic
EWCBR '98 Proceedings of the 4th European Workshop on Advances in Case-Based Reasoning
Modelling the CBR Life Cycle Using Description Logics
ICCBR '99 Proceedings of the Third International Conference on Case-Based Reasoning and Development
The Description Logic Handbook
The Description Logic Handbook
Ontology change: Classification and survey
The Knowledge Engineering Review
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Belief Merging-Based Case Combination
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Finding all justifications of OWL DL entailments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Decentralized case-based reasoning for the semantic web
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Hi-index | 0.00 |
This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The principle is to first pretend that the source case to be adapted solves the current target case. This may raise some contradictions with the specification of the target case and with the domain knowledge. The adaptation consists then in repairing these contradictions. This adaptation algorithm is based on an extension of the classical tableau method used for deductive inferences in ALC.