Title: Part-whole reasoning in description logics