On Qualified Cardinality Restrictions in Fuzzy Description Logics under Lukasiewicz semantics

Proceedings of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-08).


Abstract:
Fuzzy Description Logics have been proposed as a family of languages to describe vague or imprecise structured knowledge. This work deals with one of the less studied constructors, qualified cardinality restrictions, showing some counter-intuitive behaviours under Lukasiewicz semantics, and proposing a new semantics and the corresponding reasoning algorithm.