Completing Description Logic Knowledge Bases using Formal Concept Analysis

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya

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.

Subjects: 11.1 Description Logics; 11.2 Ontologies

Submitted: Oct 10, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.