Fuzzy ALC with fuzzy concrete domains

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