CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThe 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.
| Titolo: | A rule-based implementation of fuzzy tableau reasoning |
| Autore/i: | BRAGAGLIA, STEFANO; CHESANI, FEDERICO; MELLO, PAOLA; SOTTARA, DAVIDE |
| Autore/i Unibo: | |
| Anno: | 2010 |
| Titolo del libro: | Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings |
| Pagina iniziale: | 35 |
| Pagina finale: | 49 |
| 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. |
| Data prodotto definitivo in UGOV: | 17-feb-2011 |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Copyright © 2020