Jandson S. Ribeiro, Ricardo Guimarães 0001, Ana Ozaki. Revising Ontologies via Models: The ALC-formula Case. In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. Volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]
@inproceedings{Ribeiro0O21,
title = {Revising Ontologies via Models: The ALC-formula Case},
author = {Jandson S. Ribeiro and Ricardo Guimarães 0001 and Ana Ozaki},
year = {2021},
url = {http://ceur-ws.org/Vol-2954/paper-26.pdf},
researchr = {https://researchr.org/publication/Ribeiro0O21},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021},
editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt},
volume = {2954},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}