Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph. Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]

This author has not been identified. Look up 'Franz Baader' in GoogleThis author has not been identified. Look up 'Bartosz Bednarczyk' in GoogleThis author has not been identified. Look up 'Sebastian Rudolph' in Google

runs on WebDSL