5 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
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…