@inproceedings{conf/owled/BaaderGSS07,
	title = {Completing Description Logic Knowledge Bases using Formal Concept Analysis.},
	author = {Franz Baader and Bernhard Ganter and Ulrike Sattler and Baris Sertkaya},
	booktitle = {OWLED},
	crossref = {conf/owled/2007},
	editor = {Christine Golbreich and Aditya Kalyanpur and Bijan Parsia},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/owled/owled2007.html#BaaderGSS07},
	volume = {258},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/263160c449173d55230219b5eac607e62/dblp},
	description = {dblp},
	date = {2008-05-30}, ee = {http://ceur-ws.org/Vol-258/paper16.pdf},
	keywords = {dblp }
}

@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 }
}

@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/2bdd618b0b8b2ed7d952149916eaac546/stumme},
	description = {dblp},
	ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf}, date = {2007-03-05},
	keywords = {analysis concept description dl fca formal logics }
}

@inproceedings{conf/ijcai/BaaderGSS07,
	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/sebastian},
	description = {dblp},
	ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf}, date = {2007-03-05},
	keywords = {FCA }
}

@inproceedings{conf/ijcai/BaaderGSS07,
	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://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#BaaderGSS07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/dblp},
	description = {dblp},
	ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf}, date = {2007-03-05},
	keywords = {dblp }
}