A rule-based implementation of fuzzy tableau reasoning

Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara

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

6 Scopus citations

Abstract

The integration of distinct reasoning styles such as the ones exploited by description logics and rule-based systems is still an open challenge because of the differences among them. Such integration may be achieved by following two complementary approaches: loose integration vs. tight integration. Loosely integrated hybrid systems couple existing tools, so they have to handle mutual interactions and keep their models aligned. Tightly-coupled hybrid systems, instead, are based on a unified model supporting both reasoning styles. In this paper we present a basic implementation of a fuzzy tableau algorithm for description logics by means of rules. It is a step towards tight integration because it requires only one rule engine while preserving the semantics of both reasoning styles. In particular, the adoption of a fuzzy tableau in a fuzzy rule engine allowed us to extend the expressiveness of the latter while handling description logics reasoning coherently.

Original languageEnglish (US)
Title of host publicationSemantic Web Rules - International Symposium, RuleML 2010, Proceedings
Pages35-49
Number of pages15
DOIs
StatePublished - Nov 23 2010
Event4th International Web Rule Symposium, RuleML 2010 - Washington, DC, United States
Duration: Oct 21 2010Oct 23 2010

Publication series

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

Other

Other4th International Web Rule Symposium, RuleML 2010
CountryUnited States
CityWashington, DC
Period10/21/1010/23/10

Keywords

  • Description Logic
  • 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 rule-based implementation of fuzzy tableau reasoning'. Together they form a unique fingerprint.

  • Cite this

    Bragaglia, S., Chesani, F., Mello, P., & Sottara, D. (2010). A rule-based implementation of fuzzy tableau reasoning. In Semantic Web Rules - International Symposium, RuleML 2010, Proceedings (pp. 35-49). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6403 LNCS). https://doi.org/10.1007/978-3-642-16289-3-5