Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints | Read Paper on Bytez