We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss several applicaton scenarios in which various forms of abduction would be useful, introduce corresponding abductive reasoning tasks, give examples, and begin to develop the formal apparatus needed to employ abductive inference in expressive description logics.

@inproceedings{elsenbroich2006abductive, author = {Elsenbroich, Corinna and Kutz, Oliver and Sattler, Ulrike}, title = {A case for abductive reasoning over ontologies}, editor = {Grau, Bernardo Cuenca and Hitzler, Pascal and Shankey, Conor and Wallace, Evan}, booktitle = {Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions}, series = {CEUR-WS.org}, year = {2006}, volume = {216}, url = {http://www.cs.man.ac.uk/~okutz/case-for-abduction.pdf}, keywords = {inference, ontology, reasoning}, abstract = {We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss several applicaton scenarios in which various forms of abduction would be useful, introduce corresponding abductive reasoning tasks, give examples, and begin to develop the formal apparatus needed to employ abductive inference in expressive description logics.} }

%0 = inproceedings %A = Elsenbroich, Corinna and Kutz, Oliver and Sattler, Ulrike %B = Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions %D = 2006 %T = A case for abductive reasoning over ontologies %U = http://www.cs.man.ac.uk/~okutz/case-for-abduction.pdf

@inproceedings{HHASSLPF:05, author = {Holzer, Matthias and Hörnlein, Alexander and Atzmueller, Martin and Singer, Rainer and Schlott, Stefan and Leven, Franz-Josef and Puppe, Frank and Fischer, Martin R.}, title = {Interoperability of Case-Based Training Systems in Medicine: The CASEPORT Approach}, booktitle = {Proc. 9th Workshop of the GMDS AG}, publisher = {Quintessenz Verlags-GmbH}, address = {Berlin, Germany}, year = {2005}, keywords = {case-based, caseport, myown, reasoning, training} }

%0 = inproceedings %A = Holzer, Matthias and Hörnlein, Alexander and Atzmueller, Martin and Singer, Rainer and Schlott, Stefan and Leven, Franz-Josef and Puppe, Frank and Fischer, Martin R. %B = Proc. 9th Workshop of the GMDS AG %C = Berlin, Germany %D = 2005 %I = Quintessenz Verlags-GmbH %T = Interoperability of Case-Based Training Systems in Medicine: The CASEPORT Approach

@inproceedings{ASBPB:04, author = {Atzmueller, Martin and Shi, Wenqi and Baumeister, Joachim and Puppe, Frank and Barnden, John A.}, title = {Case-Based Approaches for Diagnosing Multiple Disorders}, editor = {Barr, Valerie and Markov, Zdravko}, booktitle = {Proc. 17th Intl. Florida Artificial Intelligence Research Society Conference 2004 (FLAIRS-2004)}, publisher = {AAAI Press}, year = {2004}, pages = {154--159}, keywords = {analytics, case-based, data, diagnosis, discovery, experience, knowledge, management, mining, myown, reasoning, refinement, semantic, vikamine, visual} }

%0 = inproceedings %A = Atzmueller, Martin and Shi, Wenqi and Baumeister, Joachim and Puppe, Frank and Barnden, John A. %B = Proc. 17th Intl. Florida Artificial Intelligence Research Society Conference 2004 (FLAIRS-2004) %D = 2004 %I = AAAI Press %T = Case-Based Approaches for Diagnosing Multiple Disorders

@inproceedings{HSSHA:04, author = {Holzer, Matthias and Singer, Rainer and Schlott, Stefan and Hörnlein, Alexander and Atzmueller, Martin}, title = {Erfahrungen mit der Entwicklung des CASEPORT-Lernportals}, booktitle = {Proc. 8th Workshop of the GMDS AG}, publisher = {Shaker Verlag}, address = {Aachen, Germany}, year = {2004}, keywords = {case-based, caseport, myown, reasoning, training} }

%0 = inproceedings %A = Holzer, Matthias and Singer, Rainer and Schlott, Stefan and Hörnlein, Alexander and Atzmueller, Martin %B = Proc. 8th Workshop of the GMDS AG %C = Aachen, Germany %D = 2004 %I = Shaker Verlag %T = Erfahrungen mit der Entwicklung des CASEPORT-Lernportals

@inproceedings{ABP:03, author = {Atzmueller, Martin and Baumeister, Joachim and Puppe, Frank}, title = {Evaluation of two Strategies for Case-Based Diagnosis handling Multiple Faults}, booktitle = {Proc. 2nd Conf. Professional Knowledge Management (WM2003)}, address = {Luzern, Switzerland}, year = {2003}, keywords = {analytics, case-based, data, diagnosis, discovery, experience, imported, knowledge, management, mining, myown, reasoning, refinement, semantic, vikamine, visual} }

%0 = inproceedings %A = Atzmueller, Martin and Baumeister, Joachim and Puppe, Frank %B = Proc. 2nd Conf. Professional Knowledge Management (WM2003) %C = Luzern, Switzerland %D = 2003 %T = Evaluation of two Strategies for Case-Based Diagnosis handling Multiple Faults

Case-based reasoning(CBR) is an artificial intelligence paradigm for reasoning and learning. Case-based reasoning solves new problems by retrieving stored records of prior problem-solving episodes (cases) and adapting their solutions to fit new circumstances. Each processing episode provides a new case that is stored for future reuse, making learning a natural side-effect of the reasoning process. Case-based reasoning is also studied within cognitive science as a model of human reasoning: studies show that people use recollections of prior problems to guide their reasoning in a wide range of tasks, such as programming, mathematical problem solving, diagnosis, decision making, and design.

@incollection{leake2000casebased, author = {Leake, David B.}, title = {Case-based reasoning}, editor = {Ralston, Anthony and Reilly, Edwin D. and Hemmendinger, David}, booktitle = {Encyclopedia of Computer Science}, publisher = {John Wiley and Sons Ltd.}, address = {Chichester, UK}, year = {2000}, pages = {196--197}, edition = {4th}, url = {http://dl.acm.org/citation.cfm?id=1074100.1074199}, isbn = {0-470-86412-5}, keywords = {based, case, cbr, learning, machine, ml, reasoning}, abstract = {Case-based reasoning(CBR) is an artificial intelligence paradigm for reasoning and learning. Case-based reasoning solves new problems by retrieving stored records of prior problem-solving episodes (cases) and adapting their solutions to fit new circumstances. Each processing episode provides a new case that is stored for future reuse, making learning a natural side-effect of the reasoning process. Case-based reasoning is also studied within cognitive science as a model of human reasoning: studies show that people use recollections of prior problems to guide their reasoning in a wide range of tasks, such as programming, mathematical problem solving, diagnosis, decision making, and design.} }

%0 = incollection %A = Leake, David B. %B = Encyclopedia of Computer Science %C = Chichester, UK %D = 2000 %I = John Wiley and Sons Ltd. %T = Case-based reasoning %U = http://dl.acm.org/citation.cfm?id=1074100.1074199

@article{Meyer2000, author = {Meyer, Bernd}, title = {A constraint-based framework for diagrammatic reasoning}, journal = {Applied Artificial Intelligence}, year = {2000}, volume = {14}, pages = {327--344}, keywords = {reasoning} }

%0 = article %A = Meyer, Bernd %D = 2000 %T = A constraint-based framework for diagrammatic reasoning