Reasoning with the Fuzzy Description Logic fZSI

While applications in different areas have shown the necessity of dealing with uncertain knowledge, Semantic Web techniques based on standard Description Logics do not have such a capability. Motivated by this discrepancy, we introduce an expressive fuzzy description logic, fZSI , which extends the classic Description Logic SI to deal with uncertain knowledge about concepts and roles as well as instances of concepts and roles. In the family of Fuzzy Logics it is semantically based on Zadeh Logic, which naturally interprets uncertain knowledge about concepts and roles as fuzzy sets and fuzzy relations, and interprets uncertain knowledge about instances as elements with degrees of membership. The paper focuses on several reasoning methods for the main reasoning problems in fZSI , including consistency checking, instance range entailment, and f-retrieval problems.De nombreux domaines d\u2019applications n\ue9cessitent la capacit\ue9 de manipuler des connaissances incertaines, ce que ne poss\ue8dent pas les techniques de Web s\ue9mantique fond\ue9es sur les logiques de la description classiques. Motiv\ue9s par cette divergence, nous avons mis au point une logique de la description floue expressive, fZSI, qui conf\ue8re \ue0 la logique de description classique SI la capacit\ue9 de traiter de connaissances incertaines se rapportant \ue0 des concepts et \ue0 des fonctions ainsi qu\u2019\ue0 des instances de concepts et de fonctions. La famille des logiques floues, fond\ue9e sur la s\ue9mantique de la logique de Zadeh, donne une interpr\ue9tation pertinente des connaissances incertaines relatives \ue0 des concepts et des fonctions dans la forme d\u2019ensembles flous et de relations floues et de celles relatives \ue0 des instances sous la forme d\u2019\ue9l\ue9ments avec des degr\ue9s d'appartenance. Cet article traite de plusieurs m\ue9thodes de raisonnement touchant aux probl\ue8mes principaux de raisonnement en fZSI, y compris la v\ue9rification de la coh\ue9rence, l\u2019entra\ueenement de la port\ue9e des instances [instance range entailment] et les probl\ue8mes de type \uab f-retrieval \ubb.Peer reviewed: YesNRC publication: Ye