%0 Conference Paper %1 elsenbroich2006abductive %A Elsenbroich, Corinna %A Kutz, Oliver %A Sattler, Ulrike %B Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions %D 2006 %E Grau, Bernardo Cuenca %E Hitzler, Pascal %E Shankey, Conor %E Wallace, Evan %K inference ontology reasoning %T A case for abductive reasoning over ontologies %U http://www.cs.man.ac.uk/~okutz/case-for-abduction.pdf %V 216 %X 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, 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.}, added-at = {2011-08-08T09:24:38.000+0200}, author = {Elsenbroich, Corinna and Kutz, Oliver and Sattler, Ulrike}, biburl = {https://www.bibsonomy.org/bibtex/215a1bdcbff44431651957f45097dc4f4/jaeschke}, booktitle = {Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions}, editor = {Grau, Bernardo Cuenca and Hitzler, Pascal and Shankey, Conor and Wallace, Evan}, interhash = {a5936835f9eeab91eb09d84948306178}, intrahash = {15a1bdcbff44431651957f45097dc4f4}, issn = {1613-0073}, keywords = {inference ontology reasoning}, month = nov, series = {CEUR-WS.org}, timestamp = {2014-07-28T15:57:31.000+0200}, title = {A case for abductive reasoning over ontologies}, url = {http://www.cs.man.ac.uk/~okutz/case-for-abduction.pdf}, volume = 216, year = 2006 }