Vers l'implantation d'un moteur d'inférences pour une logique de descriptions avec domaine concret flou - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2006

Vers l'implantation d'un moteur d'inférences pour une logique de descriptions avec domaine concret flou

Julien Cojan
  • Fonction : Auteur
  • PersonId : 836380
Jean Lieber
Amedeo Napoli

Résumé

Description logics are knowledge representation formalisms that are more and more used, in particular because several efficient description logic reasoners are freely available. Fuzzy description logics have been studied in various theoretical work, but few developments of reasoners for them have been realized and made freely available (if any). This paper presents the principles of the development to come of such an inference engine, reusing an inference engine for a classical description logic. This development is based on two main assumptions. The first one is that the fuzzy description logic is obtained by replacing, in a concrete domain of a classical description logic, the binary predicates by fuzzy predicates. The second one is that the inference engine used is composed by two independent reasoners: a concept reasoner and a concrete domain reasoner.
Fichier non déposé

Dates et versions

inria-00110922 , version 1 (02-11-2006)

Identifiants

  • HAL Id : inria-00110922 , version 1

Citer

Mathieu d'Aquin, Julien Cojan, Jean Lieber, Amedeo Napoli. Vers l'implantation d'un moteur d'inférences pour une logique de descriptions avec domaine concret flou. Rencontres francophones sur la Logique Floue et ses Applications - LFA-06, Oct 2006, Toulouse, France. ⟨inria-00110922⟩
115 Consultations
0 Téléchargements

Partager

More