An algorithm for adapting cases represented in an expressive description logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6176 LNAI, Issue , 2010, Pages 51-65

  Cojan, Julien ^a   Lieber, Jean ^a  

^a LORIA   (France)

Author keywords

adaptation; ALC; description logic; tableau algorithm

Indexed keywords

ADAPTATION ALGORITHMS; CASE BASED REASONING SYSTEMS; DESCRIPTION LOGIC; DOMAIN KNOWLEDGE; EXPRESSIVE DESCRIPTION LOGIC; TABLEAU ALGORITHM; TABLEAU METHOD;

ALGORITHMS; DATA DESCRIPTION; INFERENCE ENGINES;

CASE BASED REASONING;

EID: 77954966650     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14274-1_6     Document Type: Conference Paper

References (11)

1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: partial meet functions for contraction and revision. Journal of Symbolic Logic 50, 510-530 (1985)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
3. Cojan, J., Lieber, J.: Belief Merging-based Case Combination. In: McGinty, L.,Wilson, D.C. (eds.) ICCBR 2009. LNCS (LNAI), vol. 5650, pp. 105-119. Springer, Heidelberg (2009)
4. d'Aquin, M., Lieber, J., Napoli, A.: Decentralized Case-Based Reasoning for the Semantic Web. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 142-155. Springer, Heidelberg (2005)
5. Gómez-Albarrán, M., González-Calero, P.A., Díaz-Agudo, B., Fernández-Conde, C.: Modelling the CBR Life Cycle Using Description Logics. In: Althoff, K.-D., Bergmann, R., Karl Branting, L. (eds.) ICCBR 1999. LNCS (LNAI), vol. 1650, pp. 147-161. Springer, Heidelberg (1999)
6. Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. Ph.D. thesis, University of Manchester (1997)
7. Koehler, J.: Planning from Second Principles. Artificial Intelligence 87, 145-186 (1996)
8. Kolodner, J.: Case-Based Reasoning. Morgan Kaufmann, Inc., San Francisco (1993)
9. Lieber, J.: Application of the Revision Theory to Adaptation in Case-Based Reasoning: the Conservative Adaptation. In:Weber, R.O., Richter, M.M. (eds.) ICCBR 2007. LNCS (LNAI), vol. 4626, pp. 239-253. Springer, Heidelberg (2007)
10. Riesbeck, C.K., Schank, R.C.: Inside Case-Based Reasoning. Lawrence Erlbaum Associates, Inc., Hillsdale (1989)
11. Salotti, S., Ventos, V.: Study and Formalization of a Case-Based Reasoning System Using a Description Logic. In: Smyth, B., Cunningham, P. (eds.) EWCBR 1998. LNCS (LNAI), vol. 1488, pp. 286-297. Springer, Heidelberg (1998)