Computing the number restriction deduced from the existential restriction in description logic ALεN
Wei Zhang, Junming Qin, Wang Ju, Yuncheng Jiang · 2008
In this paper we discuss the relation between the number restriction and existential restriction in description logic ALeN. We show that incompatible existential restrictions on the top conjunction of a concept description can deduce a number restriction, exactly speaking an at least restriction in ALeN. Firstly we define incompatible relation among the existential restrictions on the top conjunction of an ALeN concept description D, then we use an undirected simple graph G to describe the incompatible relation, whose vectors stand for the existential restrictions on the top conjunction of concept description D. After that we compute the maximal complete subgraph of G and the number of its vectors is our expected number in the deduced number restriction.