@inproceedings{jl_2009/el_ilp,
	title = "Ideal Downward Refinement in the EL Description Logic",
	author = "Jens Lehmann and Christoph Haase",
	publisher = "Springer",
	booktitle = "Proceedings of the 19th International Conference on Inductive Logic Programming",
	series = "Lecture Notes in Computer Science",
	volume = "5989",
	pages = "73--87",
	year = "2009",
}

Please send me an email if the BibTeX export is incorrect/incomplete.