Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints

Open in new window