@techreport{jl_2009_ideal_operator_el_tr,
	title = "Ideal Downward Refinement in the EL Description Logic",
	author = "Jens Lehmann and Christoph Haase",
	school = "Universität of Leipzig",
	year = "2009",
}

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