research
∙
11/12/2015
Complexity of the Description Logic ALCM
In this paper we show that the problem of checking consistency of a know...
research
∙
10/29/2014