---
title: "Completing Description Logic Knowledge Bases Using Formal Concept Analysis"
authors:
  - "Franz Baader"
  - "Bernhard Ganter"
  - "Baris Sertkaya"
  - "Ulrike Sattler"
doi: ""
url: "https://ijcai.org/proceedings/2007/35"
pdf: "https://ijcai.org/proceedings/2007/0035.pdf"
venue: "Proceedings of the Twentieth International Joint Conference on Artificial Intelligence"
year: 2007
pages: "230-234"
track: ""
keywords:
---

# Completing Description Logic Knowledge Bases Using Formal Concept Analysis

Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler

*Proceedings of the Twentieth International Joint Conference on Artificial Intelligence*, pages 230-234.

## 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.