Fuzzy ontologies and fuzzy integrals

Fuzzy ontologies extend classical ontologies to allow the representation of imprecise and vague knowledge. Although a relatively important amount of work has been carried out in the last years and they have been successfully used in several applications, several notions from fuzzy logic, such as fuzzy integrals, have not been considered yet in fuzzy ontologies. In this work, we show how to support fuzzy integrals in fuzzy ontologies. As a theoretical formalism, we provide the syntax and semantics of a fuzzy Description Logic with fuzzy integrals. We also provide a reasoning algorithm for a family of fuzzy integrals and show how to encode them into the language Fuzzy OWL 2.