conftrace_

ontology-mediated querying

4 papers

Explore in graph

Also known as

OMQ

Co-occurring keywords · papers mentioning both

description logic (3) conjunctive queries (2) query rewriting (2) horn rewritability (1) ontology approximation (1) horn logic (1) instance queries (1) horn description logic (1) craig interpolation (1) beth definability (1)

Papers

First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022 A Journey into Ontology Approximation: From Non-Horn to Horn IJCAI 2020 From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying IJCAI 2018 Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying IJCAI 2018