Fuzzy Ontology and Fuzzy-OWL in the KAON Project