Anneke Bötcher, Carsten Lutz, Frank Wolter. Ontology Approximation in Horn Description Logics. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. pages 1574-1580, ijcai.org, 2019. [doi]
@inproceedings{BotcherLW19,
title = {Ontology Approximation in Horn Description Logics},
author = {Anneke Bötcher and Carsten Lutz and Frank Wolter},
year = {2019},
doi = {10.24963/ijcai.2019/218},
url = {https://doi.org/10.24963/ijcai.2019/218},
researchr = {https://researchr.org/publication/BotcherLW19},
cites = {0},
citedby = {0},
pages = {1574-1580},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019},
editor = {Sarit Kraus},
publisher = {ijcai.org},
}