conftrace_

cardinality query

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

finite model reasoning (1) alcif ontology (1) finite model (1) description logic (1) knowledge base (1)

Papers

Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025