conftrace_

ontology-based queries

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

ontology-mediated queries (1) monadic first-order logic (1) first-order rewritability (1) temporal data (1) linear temporal logic (1) ontology-mediated query (1) query rewriting (1) first-order logic (1)

Papers

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) IJCAI 2022