A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules

Integrating distinct reasoning styles such as the ones exploited by description logics, rule-based systems and fuzzy logic is still an open challenge because of the differences among them. Three omplementary approaches suggest possible models of integration: loose integration, tight integration and embedded integration. Loose integration couples existing tools into a hybrid system, handling their mutual interactions and keeping their knowledge aligned. Tight integration, instead, is based on a unique theory and framework supporting both reasoning styles. Embedded integration is a mixed approach aimed to the simplicity of the former and the efficiency of the latter. In this paper we present our experiences on the implementation of a basic loosely-coupled system and a more advanced embedded solution.