@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
}