Reducing the Size of the Optimization Problems in Fuzzy Ontology Reasoning.

In Proceedings of the 11th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW-15).

Fuzzy ontologies allow the representation of imprecise structured knowledge, typical in many real-world application domains. A key factor in the practical success of fuzzy ontologies is the availability of highly optimized reasoners. This short paper discusses a novel optimization technique: a reduction of the size of the optimization problems obtained during the inference by the fuzzy ontology reasoner fuzzyDL.