@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}, biburl = {http://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stumme}, 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 } }