%0 Report %1 BBR2019 %A Baader, Franz %A Bednarczyk, Bartosz %A Rudolph, Sebastian %D 2019 %K imported %T Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints

@techreport{BBR2019, added-at = {2024-10-02T10:38:17.000+0200}, author = {Baader, Franz and Bednarczyk, Bartosz and Rudolph, Sebastian}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/230003cf81394d6c4e0019fd2915eb73e/scadsfct}, institution = {Computational Logic Group}, interhash = {59915a5a8a0e5ead270df6935e058dd0}, intrahash = {30003cf81394d6c4e0019fd2915eb73e}, keywords = {imported}, timestamp = {2024-10-02T10:38:17.000+0200}, title = {Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints}, year = 2019 }