動的ファジィ論理を用いたOWL(Web Ontology Language)の拡張