Completing Description Logic Knowledge Bases using Formal Concept Analysis
Franz Baader, Bernhard Ganter, Institut of Algebra TU Dresden, Ulrike Sattler, Barış Sertkaya · 2006
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 assertional part 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 sense.