Completing Description Logic Knowledge Bases Using Formal Concept Analysis

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.

• Type: Conference
• Year: 2007
• Where: IJCAI
• Authors: Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
• Keywords: Artificial Intelligence, Extended Knowledge Base, IJCAI 2007, Knowledge Base, Logic Knowledge Base