conftrace_

ontology-mediated queries

7 papers

Explore in graph

Also known as

OMQ OMQS

Co-occurring keywords · papers mentioning both

description logic (3) data complexity (3) first-order logic (3) first-order rewritability (2) ontology-mediated query (2) query rewriting (2) finite entailment (1) regular path queries (1) guarded existential rule (1) linear datalog (1)

Papers

Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023 On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) IJCAI 2022 Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020 Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics IJCAI 2019 Compiling Model Representations for Querying Large ABoxes in Expressive DLs IJCAI 2018 First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018 Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017