@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},
        year = 2007,
        url = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf},
        ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf},
	date = {2007-03-05},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stumme},
	keywords = {description OntologyHandbook FCA analysis fca concept dl logics formal}
}

@book{rudolph2006relational,
        title = {Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification},
        author = {Sebastian Rudolph},
        month = {DEC},
        note = {Dissertation},
        publisher = {Universitätsverlag Karlsruhe},
        year = 2006,
        url = {\url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}},
        biburl = {http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stumme},
	keywords = {dl analysis fca attribute concept description formal begriffsanalyse relational logics exploration formale}
}

@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},
        year = 2007,
        url = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf},
        ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf},
	date = {2007-03-05},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/2bdd618b0b8b2ed7d952149916eaac546/stumme},
	keywords = {description analysis fca concept dl formal logics}
}

@inproceedings{stumme96concept,
        title = {The  Concept  Classification  of a Terminology Extended by Conjunction and Disjunction},
        address = {Heidelberg},
        author = {Gerd Stumme},
        booktitle = {PRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96},
        editor = {N. Foo and R. Goebel},
        pages = {121-131},
        publisher = {Springer},
        series = {LNAI},
        volume = 1114,
        year = 1996,
        url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1996/P1829-PRICAI96.pdf},
        comment = {alpha},
	biburl = {http://www.bibsonomy.org/bibtex/25986ae1e25b3848fd6c51e7bce66350f/stumme},
	keywords = {alc formal dl description concept 1996 analysis myown lattices logics classification fca}
}