Telecharger Cours

Reasoning in Description Logic Ontologies for Privacy Management

x ? NAI, and ai ? NKI for all 1 ? i ? k ? 1. It holds that for all models I of O,. xI ? {aI. 1. ,...,aI k?1. } iff O |= A(x), where O := (T ,A ? {A(ai) ...



Download