OWL-FC: an upper ontology for semantic modeling of Fuzzy Control