Fuzzy ALC with Fuzzy Concrete Domains
In Proceeedings of the International Workshop on Description Logics (DL-05).
Abstract:
We present a fuzzy description logic where the representation of concept membership functions and fuzzy modifiers is allowed, together with a inference procedure based on a mixture of a tableaux and bounded mixed integer programming.