On Partitioning-Based Optimisations in Expressive Fuzzy Description Logics
In Proceedings of the 2015 IEEE International Conference on Fuzzy Systems (FUZZ-15).
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 fuzzyDL. We (i) show that the expressive language that it supports reduces the applicability of the technique; and (ii) perform an empirical evaluation proving that it is not helpful so far.