This paper has its motivation in the occurrence of uncertain knowledge in different application areas, and introduces an expressive fuzzy description logic that extends classical description logics to many-valued logics. We represent, and reason with, uncertain knowledge in the description logic ALCHIN extended to an interval-based, norm-parameterized fuzzy logic. First, the syntax and the semantics of the proposed fuzzy description logic are addressed. Then the paper presents an algorithm for consistency checking of knowledge bases in the proposed language.
展开▼
