conftrace_

craig interpolation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

beth definability (2) horn description logic (1) ontology-mediated querying (1) role inclusion (1) ontology engineering (1) first-order rewritability (1) query answering (1) description logic (1) query rewriting (1) first-order logic (1)

Papers

First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022 Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions AAAI 2021