Abstract

Technology about Description Logics (DLs) plays a very important role in ontology and Semantic Web (SW). It allows reasoning about individuals, defined concepts and rules. However, with the development of the Semantic Web, more and more uncertain and incomplete knowledge needs to be resolved. In order to be able to represent and reason with such type of information, we present a fuzzy extension version of the Description Logic SHIQ, called f-SHIQ. It is baaed on the notion of Zadeh's fuzzy set theory. We present its syntax, in which the definitions of Fuzzy TBox, ABox and RBox are concluded, and its semantics with the logic satisfiability of interpretation. Then a set of new reasoning rules, which integrate classic SHIQ Tableau Algorithm and fuzzy logic, are proposed. Finally, we illustrate a fuzzy inference question in extended language and obtain a satisfactory result.

Paper Details