conftrace_

finite model semantics

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

query entailment (1) finite controllability (1) knowledge base satisfiability (1) finite entailment (1) finite model (1) query answering (1) description logic (1) conjunctive query (1) knowledge base (1)

Papers

Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022