Bibitem:
@inproceedings{Casini22a,
author = {Giovanni Casini and Umberto Straccia},
booktitle = {Proceedings of the Southern African Artificial Intelligence Conference (SACAIR-2021)},
doi = {https://doi.org/10.1007/978-3-030-95070-5_12},
editor = {Jembere E., Gerber A.J., Viriri S., Pillay A. Artificial Intelligence Research},
pages = {177--191},
publisher = {Springer},
series = {Communications in Computer and Information Science},
title = {A Rational Entailment for Expressive Description Logics via Description Logic Programs},
volume = {1551},
year = {2022}
}