https://123dok.net/document/y8g7n1p0-reducing-size-optimization-problems-fuzzy-ontology-reasoning.html