research
∙
11/19/2020
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
We study FO-rewritability of conjunctive queries in the presence of onto...
research
∙
04/18/2018