TY  - RPRT
TI  - Revising Ontologies via Models: The ALC-formula Case
AU  - Jandson S. Ribeiro
AU  - Ricardo Guimarães
AU  - Ana Ozaki
PY  - 2022
UR  - https://arxiv.org/abs/2108.12331
ID  - 2108.12331
ER  -