Loop restricted existential rules and first-order rewritability for query answering
V Asuncion, Y Zhang, H Zhang… - Journal of Logic and …, 2024 - academic.oup.com
In ontology-based data access (OBDA), the classical database is enhanced with an ontology
in the form of logical assertions generating new intensional knowledge. A powerful form of …
in the form of logical assertions generating new intensional knowledge. A powerful form of …