Jens Lehmann, Christoph Haase. Ideal Downward Refinement in the ::::EL::::/mathcal{EL} Description Logic. In Luc De Raedt, editor, Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers. Volume 5989 of Lecture Notes in Computer Science, pages 73-87, Springer, 2009. [doi]
@inproceedings{LehmannH09,
title = {Ideal Downward Refinement in the ::::EL::::/mathcal{EL} Description Logic},
author = {Jens Lehmann and Christoph Haase},
year = {2009},
doi = {10.1007/978-3-642-13840-9_8},
url = {http://dx.doi.org/10.1007/978-3-642-13840-9_8},
tags = {refinement, logic},
researchr = {https://researchr.org/publication/LehmannH09},
cites = {0},
citedby = {0},
pages = {73-87},
booktitle = {Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers},
editor = {Luc De Raedt},
volume = {5989},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-13839-3},
}