conftrace_

first-order rewritability

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

query rewriting (3) ontology-mediated queries (2) description logic (2) conjunctive query (2) first-order logic (2) ontology-based query (1) first-order rewritable (1) ontology-mediated query answering (1) monadic first-order logic (1) guarded existential rule (1)

Papers

First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022 On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) IJCAI 2022 Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020 Relaxing and Restraining Queries for OBDA AAAI 2019 First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018