A step toward tight integration of fuzzy ontological reasoning with forward rules

Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Integrating distinct reasoning styles such as the ones exploited by description logics, rule-based systems and fuzzy logic is still an open challenge because of the differences among them. Three complementary approaches suggest possible models of integration: loose integration, tight integration and embedded integration. Loose integration couples existing tools into a hybrid system, handling their mutual interactions and keeping their knowledge aligned. Tight integration, instead, is based on a unique theory and framework supporting both reasoning styles. Embedded integration is a mixed approach aimed to the simplicity of the former and the efficiency of the latter. In this paper we present our experiences on the implementation of a basic loosely-coupled system and a more advanced embedded solution.

Original languageEnglish (US)
Title of host publicationWeb Reasoning and Rule Systems - Fourth International Conference, RR 2010, Proceedings
Pages227-230
Number of pages4
DOIs
StatePublished - Nov 8 2010
Externally publishedYes
Event4th International Conference on Web Reasoning and Rule Systems, RR 2010 - Bressanone/Brixen, Italy
Duration: Sep 22 2010Sep 24 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6333 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Conference on Web Reasoning and Rule Systems, RR 2010
CountryItaly
CityBressanone/Brixen
Period9/22/109/24/10

Keywords

  • Description Logics
  • Fuzzy Systems
  • Rule-based Systems
  • Tableau Reasoning

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A step toward tight integration of fuzzy ontological reasoning with forward rules'. Together they form a unique fingerprint.

Cite this