Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.