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

Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph

Browse the full ECAI paper archive.