@inproceedings{baader07completing,
title = {Completing Description Logic Knowledge Bases Using Formal Concept
Analysis.},
author = {Franz Baader and Bernhard Ganter and Baris Sertkaya and Ulrike Sattler},
booktitle = {IJCAI},
crossref = {conf/ijcai/2007},
editor = {Manuela M. Veloso},
pages = {230-235},
url = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf},
year = {2007},
description = {dblp},
date = {2007-03-05}, ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf},
keywords = {FCA OntologyHandbook analysis concept description dl fca formal logics }
}
::