conftrace_

monadic first-order logic

1 paper

Explore in graph

Also known as

MFO

Co-occurring keywords · papers mentioning both

ontology-mediated queries (1) ontology-based queries (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