On partitioning-based optimisations in expressive fuzzy Description Logics

Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge affected by imprecision or vagueness. A key factor in the practical success of fuzzy DLs is the availability of highly implemented reasoners. This paper studies two optimisation techniques (ABox partitioning based on individual groups and optimisation problem partitioning) in the setting of the fuzzy ontology reasoner fuzzy DL. We study the applicability of these techniques in expressive fuzzy DL languages, proposing a new strategy, and perform an empirical evaluation proving that they are not helpful in practice so far.