Vol-2372⫷ Vol-2373 ⫸Vol-2374
urn:nbn:de:0074-2373-0


Vol-2373/paper-2⫷Vol-2373/paper-3⫸Vol-2373/paper-4

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