%0 Conference Paper
%1 baader2007completing
%A Baader, Franz
%A Ganter, Bernhard
%A Sertkaya, Baris
%A Sattler, Ulrike
%B Proceedings of the 20th international joint conference on Artifical intelligence
%C San Francisco, CA, USA
%D 2007
%I Morgan Kaufmann Publishers Inc.
%K analysis base complete concept description dl fca formal knowledge logic ontology
%P 230--235
%T Completing description logic knowledge bases using formal concept analysis
%U http://dl.acm.org/citation.cfm?id=1625275.1625311
%X 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.