On partitioning-based optimisations in expressive fuzzy Description Logics | IEEE Conference Publication | IEEE Xplore