This work is motivated by a real-world case study where it is necessary to integrate and
relate existing ontologies through meta-modelling. For this, we introduce the Description
Logic SHIQM which is obtained from SHIQ by adding statements that equate individuals to
concepts in a knowledge base. In this new extension, concepts can be individuals of another
concept (called meta-concept) which itself can be an individual of yet another concept
(called meta–meta-concept) and so on. We define an algorithm that checks consistency of …

This work is motivated by a real-world case study where it is necessary to integrate and
relate existing ontologies through meta-modelling. For this, we introduce the Description
Logic SHIQM which is obtained from SHIQ byadding statements that equate individuals to
concepts in a knowledge base. In this new extension, concepts can be individuals of another
concept (called meta-concept) which itself can be an individual of yet another concept
(called meta meta-concept) and so on. We define an algorithm that checks consistency of …