@inproceedings{baader2007completing,
  abstract = {We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert. The use of techniques from Formal Concept Analysis ensures that, on the one hand, the interaction with the expert is kept to a minimum, and, on the other hand, we can show that the extended knowledge base is complete in a certain, well-defined sense.},
  acmid = {1625311},
  address = {San Francisco, CA, USA},
  author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike},
  booktitle = {Proceedings of the 20th international joint conference on Artifical intelligence},
  interhash = {8ab382f3aa141674412ba7ad33316a9b},
  intrahash = {87f98ae486014ba78690ffa314b67da8},
  location = {Hyderabad, India},
  numpages = {6},
  pages = {230--235},
  publisher = {Morgan Kaufmann Publishers Inc.},
  title = {Completing description logic knowledge bases using formal concept analysis},
  url = {http://dl.acm.org/citation.cfm?id=1625275.1625311},
  year = 2007
}

@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.},
  author = {Elsenbroich, Corinna and Kutz, Oliver and Sattler, Ulrike},
  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},
  month = nov,
  series = {CEUR-WS.org},
  title = {A case for abductive reasoning over ontologies},
  url = {http://www.cs.man.ac.uk/~okutz/case-for-abduction.pdf},
  volume = 216,
  year = 2006
}

@inproceedings{baader07completing,
  author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike},
  booktitle = {IJCAI},
  crossref = {conf/ijcai/2007},
  date = {2007-03-05},
  editor = {Veloso, Manuela M.},
  ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf},
  interhash = {8ab382f3aa141674412ba7ad33316a9b},
  intrahash = {5820d87b8abafea6412a706e9dc4d791},
  pages = {230-235},
  title = {Completing Description Logic Knowledge Bases Using Formal Concept
    Analysis.},
  url = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf},
  year = 2007
}

@inproceedings{baader07completing,
  author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike},
  booktitle = {IJCAI},
  crossref = {conf/ijcai/2007},
  date = {2007-03-05},
  editor = {Veloso, Manuela M.},
  ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf},
  interhash = {8ab382f3aa141674412ba7ad33316a9b},
  intrahash = {bdd618b0b8b2ed7d952149916eaac546},
  pages = {230-235},
  title = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis},
  url = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf},
  year = 2007
}