conftrace_

knowledge base satisfiability

1 paper

Explore in graph

Also known as

KBSAT

Co-occurring keywords · papers mentioning both

finite model semantics (1) query entailment (1) finite controllability (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