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 Citations (Scopus)

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
Externally publishedYes
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

Fingerprint

Tableau
Reasoning
Description Logics
Hybrid systems
Hybrid Systems
Engine
Engines
Rule-based Systems
Knowledge based systems
Fuzzy rules
Expressiveness
Integrated System
Fuzzy Rules
Coupled System
Semantics
Distinct
Interaction
Model
Style

Keywords

  • Description Logic
  • Fuzzy Systems
  • Rule-Based Systems
  • Tableau Reasoning

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

A rule-based implementation of fuzzy tableau reasoning. / Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Sottara, Davide.

Semantic Web Rules - International Symposium, RuleML 2010, Proceedings. 2010. p. 35-49 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6403 LNCS).

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

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6403 LNCS, pp. 35-49, 4th International Web Rule Symposium, RuleML 2010, Washington, DC, United States, 10/21/10. https://doi.org/10.1007/978-3-642-16289-3-5
Bragaglia S, Chesani F, Mello P, Sottara D. A rule-based implementation of fuzzy tableau reasoning. In Semantic Web Rules - International Symposium, RuleML 2010, Proceedings. 2010. p. 35-49. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-16289-3-5
Bragaglia, Stefano ; Chesani, Federico ; Mello, Paola ; Sottara, Davide. / A rule-based implementation of fuzzy tableau reasoning. Semantic Web Rules - International Symposium, RuleML 2010, Proceedings. 2010. pp. 35-49 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{23c89ea80c784470a3a94ac271b42406,
title = "A rule-based implementation of fuzzy tableau reasoning",
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.",
keywords = "Description Logic, Fuzzy Systems, Rule-Based Systems, Tableau Reasoning",
author = "Stefano Bragaglia and Federico Chesani and Paola Mello and Davide Sottara",
year = "2010",
month = "11",
day = "23",
doi = "10.1007/978-3-642-16289-3-5",
language = "English (US)",
isbn = "3642162886",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "35--49",
booktitle = "Semantic Web Rules - International Symposium, RuleML 2010, Proceedings",

}

TY - GEN

T1 - A rule-based implementation of fuzzy tableau reasoning

AU - Bragaglia, Stefano

AU - Chesani, Federico

AU - Mello, Paola

AU - Sottara, Davide

PY - 2010/11/23

Y1 - 2010/11/23

N2 - 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.

AB - 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.

KW - Description Logic

KW - Fuzzy Systems

KW - Rule-Based Systems

KW - Tableau Reasoning

UR - http://www.scopus.com/inward/record.url?scp=78449261958&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78449261958&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-16289-3-5

DO - 10.1007/978-3-642-16289-3-5

M3 - Conference contribution

SN - 3642162886

SN - 9783642162886

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 35

EP - 49

BT - Semantic Web Rules - International Symposium, RuleML 2010, Proceedings

ER -