FO Rewritability for OMQ Using Beth Definability and Interpolation

TitleFO Rewritability for OMQ Using Beth Definability and Interpolation
Publication TypeConference Paper
Year of Publication2021
AuthorsToman, D., and G. Weddell
Conference NameInternational Workshop on Description Logics (DL)
URLhttp://ceur-ws.org/Vol-2954/paper-29.pdf