A Rule-Based Implementation of Fuzzy Tableau Reasoning

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

Full description

Saved in:
Bibliographic Details
Published inSemantic Web Rules pp. 35 - 49
Main Authors Bragaglia, Stefano, Chesani, Federico, Mello, Paola, Sottara, Davide
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2010
SeriesLecture Notes in Computer Science
Subjects
Description Logic
Fuzzy Systems
Rule-Based Systems
Tableau Reasoning
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9783642162886
3642162886
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-16289-3_5