1 paper
Monica Martinez, Edelweis Rohrer, Paula Severi
In this paper we show that the problem of checking consistency of a knowledge base in the Description Logic ALCM is ExpTime-complete. The M stands for meta-modelling as defined by…