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

Mathieu D'Aquin 1, 2 Julien Cojan 1 Jean Lieber 1 Amedeo Napoli 1
1 ORPAILLEUR - Knowledge representation, reasonning
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
Didier Dubois et Henri Prade. Rencontres francophones sur la Logique Floue et ses Applications - LFA-06, Oct 2006, Toulouse, France. CEPADUES, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00110922
Contributeur : Jean Lieber <>
Soumis le : jeudi 2 novembre 2006 - 15:17:26
Dernière modification le : jeudi 11 janvier 2018 - 06:19:53

Identifiants

  • HAL Id : inria-00110922, version 1

Collections

Citation

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. Didier Dubois et Henri Prade. Rencontres francophones sur la Logique Floue et ses Applications - LFA-06, Oct 2006, Toulouse, France. CEPADUES, 2006. 〈inria-00110922〉

Partager

Métriques

Consultations de la notice

178