conftrace_

query entailment

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

description logic (7) knowledge base (4) conjunctive query (3) finite entailment (2) complexity analysis (2) computational complexity (2) finite model semantics (1) finite controllability (1) knowledge base satisfiability (1) path query (1)

Papers

Revisiting Conjunctive Query Entailment for S AAAI 2026 Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024 Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022 The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard AAAI 2022 Bounded Predicates in Description Logics with Counting IJCAI 2021 On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles IJCAI 2019 Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting IJCAI 2019