Title | FO Rewritability for OMQ Using Beth Definability and Interpolation |
Publication Type | Conference Paper |
Year of Publication | 2021 |
Authors | Toman, D., and G. Weddell |
Conference Name | International Workshop on Description Logics (DL) |
URL | http://ceur-ws.org/Vol-2954/paper-29.pdf |