Computing the Number Restriction Deduced from the Existential Restriction in Description Logic with Primitive Negation, Existential Restriction and Number Restriction

Wei Zhang, Junming Qin, Ju Wang, Yuncheng Jiang. Computing the Number Restriction Deduced from the Existential Restriction in Description Logic with Primitive Negation, Existential Restriction and Number Restriction. In Jun Ma, Yilong Yin, Jian Yu, Shuigeng Zhou, editors, Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 5. pages 536-540, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.