conftrace_

ontology-based query answering

2 papers

Explore in graph

Also known as

OQA OBQA

Co-occurring keywords · papers mentioning both

horn fragment (1) loosely guarded fragment (1) concrete domain (1) horn logic (1) boolean conjunctive query (1) query answering (1) description logic (1) conjunctive query (1) query rewriting (1) automated reasoning (1)

Papers

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020 Query Rewriting for DL-Lite with n-ary Concrete Domains IJCAI 2017