Franz Baader, Bartosz Bednarczyk, und Sebastian Rudolph. Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. 2019. [PUMA: imported zno]