Volume: Vol-4302 Datalog-2.0 2026 | Year: 2026

Paper: « paper5 | paper6 | paper7 »

Rule-Based Ontology-Mediated Queries with Negation: An Algorithmic Characterization of First-order Rewritability