Completing Description Logic Knowledge Bases using Formal Concept Analysis∗

We propose an approach for extending both the ter-minological and the assertional part of a Descrip-tion Logic knowledge base by using information provided by the knowledge base and by a domain expert. The use of techniques from Formal Con-cept 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 ex-tended knowledge base is complete in a certain, well-defined sense.