conftrace_

closed-world semantics

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

ontology-mediated query answering (1) ontology-based query (1) existential rule (1) query answering (1) description logic (1) conjunctive query (1) automated reasoning (1) computational complexity (1)

Papers

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019 Enhancing Existential Rules by Closed-World Variables IJCAI 2018