Description Logics with Fuzzy Concrete Domains

TL;DR

This paper introduces a fuzzy extension to description logics incorporating fuzzy concrete domains, using t-norms, fuzzy sets, modifiers, and a hybrid reasoning algorithm combining completion rules and mixed integer programming.

Contribution

It presents a novel fuzzy description logic framework with concrete domains, integrating fuzzy set theory and advanced reasoning techniques.

Findings

Enhanced reasoning capabilities with fuzzy concrete domains

Effective reasoning algorithm combining completion rules and mixed integer programming

Framework supports fuzzy modifiers and complex concept constructors

Abstract

We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming.