conftrace_

disjunctive datalog

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

epistemic operator (1) query abstraction (1) monotone query (1) ontology-based data management (1) monotone queries (1) query answering (1) description logic (1) knowledge base (1) formal methods (1) computational complexity (1)

Papers

Epistemic Disjunctive Datalog for Querying Knowledge Bases AAAI 2023 Monotone Abstractions in Ontology-Based Data Management AAAI 2022