{'fraction_non_alphanumeric': 0.019189765458422176, 'fraction_numerical': 0.0, 'mean_word_length': 5.755395683453237, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Fusing Reasoning Services with Formal Concept Analysis

Description Logic (DL)-based concept modelling formalisms provide a powerful means to ontology reasoning. However, the inevitable "trade-off" between the expressive power and the computational complexity prevents DLs from widely being applied to model problem domains featured by heterogeneous knowledge. This paper envisages a dynamic approach locating, composing and fusing DL-based inferential engines with constraint reasoning systems without modifying underlying inference algorithms form both sides. The fusion process is facilitated by a scheme driven by the Formal Concept Analysis (FCA) that based on a request, composes engines dumped in a virtual Engine Pool. A simple ontology containing both abstract and concrete knowledge is used to demonstrate the working theory of the FCA-driven reasoning engine composition and the applicability of the inference fusion framework.