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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00110922
Contributor : Jean Lieber <>
Submitted on : Thursday, November 2, 2006 - 3:17:26 PM
Last modification on : Friday, May 24, 2019 - 10:56:18 AM

Identifiers

  • 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. Rencontres francophones sur la Logique Floue et ses Applications - LFA-06, Oct 2006, Toulouse, France. ⟨inria-00110922⟩

Share

Metrics

Record views

218