@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",
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)",
publisher = "Springer Verlag",
pages = "35--49",
booktitle = "Semantic Web Rules - International Symposium, RuleML 2010, Proceedings",
}