Résumé | De nombreux domaines d’applications nécessitent la capacité de manipuler des connaissances incertaines, ce que ne possèdent pas les techniques de Web sémantique fondées sur les logiques de la description classiques. Motivés par cette divergence, nous avons mis au point une logique de la description floue expressive, fZSI, qui confère à la logique de description classique SI la capacité de traiter de connaissances incertaines se rapportant à des concepts et à des fonctions ainsi qu’à des instances de concepts et de fonctions. La famille des logiques floues, fondée sur la sémantique de la logique de Zadeh, donne une interprétation pertinente des connaissances incertaines relatives à des concepts et des fonctions dans la forme d’ensembles flous et de relations floues et de celles relatives à des instances sous la forme d’éléments avec des degrés d'appartenance. Cet article traite de plusieurs méthodes de raisonnement touchant aux problèmes principaux de raisonnement en fZSI, y compris la vérification de la cohérence, l’entraînement de la portée des instances [instance range entailment] et les problèmes de type « f-retrieval ». |
---|