@inproceedings{jl_2008_alc_learning_algorithm,
	title = "A Refinement Operator Based Learning Algorithm for the ALC Description Logic",
	author = "Jens Lehmann and Pascal Hitzler",
	editor = "Hendrick Blockeel and Jude W. Shavlik and Prasad Tadepalli",
	publisher = "Springer",
	booktitle = "Proceedings of the 17th International Conference on Inductive Logic Programming (ILP)",
	series = "Lecture Notes in Computer Science",
	volume = "4894",
	pages = "147--160",
	year = "2008",
}

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